How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

Stefano Schivo, Bugra Mehmet Yildiz, Enno Jozef Johannes Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle Ida Antoinette Stoelinga

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
    200 Downloads (Pure)

    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.
    Original languageEnglish
    Title of host publicationDependable Software Engineering. Theories, Tools, and Applications
    Subtitle of host publicationThird International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
    EditorsKim Larsen, Oleg Sokolsky, Ji Wang
    PublisherSpringer
    Pages319-336
    ISBN (Electronic)978-3-319-69483-2
    ISBN (Print)978-3-319-69482-5
    DOIs
    Publication statusPublished - Oct 2017
    Event3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017 - Changsha, China
    Duration: 23 Oct 201725 Oct 2017
    Conference number: 3
    http://lcs.ios.ac.cn/setta2017/

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume10606
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349
    NameLecture Notes in Programming and Software Engineering
    PublisherSpringer

    Conference

    Conference3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017
    Abbreviated titleSETTA
    CountryChina
    CityChangsha
    Period23/10/1725/10/17
    Internet address

    Fingerprint Dive into the research topics of 'How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach'. Together they form a unique fingerprint.

  • Cite this

    Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., ... Stoelinga, M. I. A. (2017). How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In K. Larsen, O. Sokolsky, & J. Wang (Eds.), Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings (pp. 319-336). (Lecture Notes in Computer Science; Vol. 10606), (Lecture Notes in Programming and Software Engineering). Springer. https://doi.org/10.1007/978-3-319-69483-2_19