Empowering Multilevel DSMLs with Integrated Runtime Verification [article]

Fernando Macías, Adrian Rutle, Volker Stolz, Torben Scheffel, Malte Schmitz
2020 arXiv   pre-print
Within Model-Driven Software Engineering, Domain-Specific Modelling has proven to be a powerful technique to specify systems and systems' behaviour in a formal, yet understandable way. Runtime verification (RV) has been successfully used to verify the correctness of such behaviour. Specifying behaviour requires managing various levels of abstractions, making multilevel modelling (MLM) a suitable approach for this task. In this paper, we present an approach to combine MLM and RV with an example
more » ... rom the domain of distributed real-time systems. The semantics of the specified behaviour as well as the evaluation of correctness properties are given by model transformation rules. This facilitates simulation of the system and checking against real-time temporal logic correctness properties.
arXiv:2005.11366v1 fatcat:nzvj3cgvpncrlgfcwlltka53ra