How to Efficiently Build a Front-End Tool for UPPAAL
| Autor: | Schivo, Stefano, Yildiz, Bugra Mehmet, Ruijters, Enno J.J., Gerking, Christopher, Kumar, Rajesh, Dziwok, Stefan, Rensink, Arend, Stoelinga, Mariëlle I.A., Larsen, Kim, Sokolsky, Oleg, Wang, Ji |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2017 |
| Předmět: |
0301 basic medicine
Model checking business.industry Programming language Computer science media_common.quotation_subject Real-time computing 020207 software engineering 02 engineering and technology Reuse Query language computer.software_genre Metamodeling Bridging (programming) Front and back ends 03 medical and health sciences 030104 developmental biology Software Debugging 0202 electrical engineering electronic engineering information engineering business computer media_common |
| Zdroj: | Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings, 319-336 STARTPAGE=319;ENDPAGE=336;TITLE=Dependable Software Engineering. Theories, Tools, and Applications Dependable Software Engineering. Theories, Tools, and Applications ISBN: 9783319694825 SETTA |
| ISSN: | 0302-9743 |
| DOI: | 10.1007/978-3-319-69483-2_19 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|