Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

How to efficiently build a front-end tool for UPPAAL: A model-driven approach

: Schivo, S.; Yildiz, B.M.; Ruijters, E.; Gerking, C.; Kumar, R.; Dziwok, S.; Rensink, A.; Stoelinga, M.


Larsen, K.G.:
Dependable Software Engineering. Theories, Tools, and Applications. Third International Symposium, SETTA 2017 : Changsha, China, October 23-25, 2017, Proceedings
Cham: Springer International Publishing, 2017 (Lecture Notes in Computer Science 10606)
ISBN: 978-3-319-69482-5 (Print)
ISBN: 978-3-319-69483-2 (Online)
ISBN: 3-319-69482-0
International Symposium on Dependable Software Engineering - Theories, Tools, and Applications (SETTA) <3, 2017, Changsha>
Conference Paper
Fraunhofer IEM ()

We propose a model-driven engineering approach that facilitates the production of tool chains that use the popular model checker Uppaal as a back-end analysis tool. In this approach, we introduce a metamodel for Uppaal’s input model, containing both timed-automata concepts and syntax-related elements for C-like expressions. We also introduce a metamodel for Uppaal ’s query language to specify temporal properties; as well as a metamodel for traces to interpret Uppaal’s counterexamples and witnesses. The approach provides a systematic way to build software bridging tools (i.e., tools that translate from a domain-specific language to Uppaal’s input language) such that these tools become easier to debug, extend, reuse and maintain. We demonstrate our approach on five different domains: cyber-physical systems, hardware-software co-design, cyber-security, reliability engineering and software timing analysis.