< retour aux publications

Observer-based verification using introspection: a system-level verification implementation

Auteur(s) : M. Metzger, F. Bastien, F. Rousseau, J. Vachon, E.M. Aboulhamid

Doc. Source: Advances in Design and Specification Languages for Embedded Systems – Selected Contributions from FDL’06

Publisher : Springer

Pages : 209-224

Doi : DOI 10.1007/978-1-4020-6149-3_13

Verification tools are part of a new generation of CAD tools, mandatory to cope with the growing complexity of Systems-On-Chip. We believe that all these tools should be built on top of a modern and standard framework. ESys.NET is a design environment based on the .NET Framework. It takes advantage of advanced programming features which facilitate the integration of external tools, such as verification tools. This work presents the implementation of an observer-based verification tool for ESys.NET. We show that our tool’s verification capabilities, relying on introspection mechanisms, does modify neither the model nor the simulator while retrieving the state of the model during simulation or checking a set of userdefined rules.