Integration of Runtime Verification into Metamodeling for Simulation and Code Generation

Fernando Macias, Torben Scheffel, Malte Schmitz, Rui Wang


Runtime verification is an approach growing in popularity to verify the correctness of complex and distributed systems by monitoring their executions. Domain Specific Modeling Languages are a technique used for specifying such systems in an abstract way, but still close to the solution domain. This paper aims at integrating runtime verification and domain specific modeling into the development process of complex systems. Such integration is achieved by linking the elements of the system model with the atomic propositions of the temporal correctness properties used to specify monitors. We provide a unified approach used for both the code generation and the simulation of the system through instance model transformations. This unification allows to check correctness properties on different abstraction levels of the modeled system.

Original languageEnglish
Title of host publicationRuntime Verification
EditorsY. Falcone , C. Sanchez
Number of pages8
Place of PublicationCham
PublisherSpringer Verlag
Publication date20.09.2016
Pages 454-461
ISBN (Print)978-3-319-46981-2
ISBN (Electronic)978-3-319-46982-9
Publication statusPublished - 20.09.2016
Event16th International Conference on Runtime Verification
- Madrid, Spain
Duration: 23.09.201630.09.2016
Conference number: 184159


Dive into the research topics of 'Integration of Runtime Verification into Metamodeling for Simulation and Code Generation'. Together they form a unique fingerprint.

Cite this