Abstract
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 language | English |
---|---|
Title of host publication | Runtime Verification |
Editors | Y. Falcone , C. Sanchez |
Number of pages | 8 |
Volume | 10012 |
Place of Publication | Cham |
Publisher | Springer Verlag |
Publication date | 20.09.2016 |
Pages | 454-461 |
ISBN (Print) | 978-3-319-46981-2 |
ISBN (Electronic) | 978-3-319-46982-9 |
DOIs | |
Publication status | Published - 20.09.2016 |
Event | 16th International Conference on Runtime Verification - Madrid, Spain Duration: 23.09.2016 → 30.09.2016 Conference number: 184159 |