Please use this identifier to cite or link to this item:
http://dspace.bits-pilani.ac.in:8080/jspui/handle/123456789/8399
Title: | How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach |
Authors: | Kumar, Rajesh |
Keywords: | Computer Science UPPAAL Front-End Tool |
Issue Date: | Oct-2017 |
Publisher: | Springer |
Abstract: | 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. |
URI: | https://link.springer.com/chapter/10.1007/978-3-319-69483-2_19 http://dspace.bits-pilani.ac.in:8080/xmlui/handle/123456789/8399 |
Appears in Collections: | Department of Computer Science and Information Systems |
Files in This Item:
There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.