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

Stefano  Schivo; Bugra Mehmet Yildiz; Enno J.J. Ruijters; Christopher Gerking; Rajesh  Kumar; Stefan Dziwok; Arend  Rensink; Mariëlle I.A. Stoelinga

doi:10.1007/978-3-319-69483-2_19

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

Stefano Schivo, Bugra Mehmet Yildiz, Enno J.J. Ruijters, Christopher Gerking, Rajesh Kumar, Stefan Dziwok, Arend Rensink, Mariëlle I.A. Stoelinga

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

7 Citations (Scopus)

614 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 language	English
Title of host publication	Dependable Software Engineering. Theories, Tools, and Applications
Subtitle of host publication	Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
Editors	Kim Larsen, Oleg Sokolsky, Ji Wang
Publisher	Springer
Pages	319-336
ISBN (Electronic)	978-3-319-69483-2
ISBN (Print)	978-3-319-69482-5
DOIs	https://doi.org/10.1007/978-3-319-69483-2_19
Publication status	Published - Oct 2017
Event	3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017 - Changsha, China Duration: 23 Oct 2017 → 25 Oct 2017 Conference number: 3 http://lcs.ios.ac.cn/setta2017/

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	10606
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Name	Lecture Notes in Programming and Software Engineering
Publisher	Springer

Conference

Conference	3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017
Abbreviated title	SETTA
Country/Territory	China
City	Changsha
Period	23/10/17 → 25/10/17
Internet address	http://lcs.ios.ac.cn/setta2017/

Access to Document

10.1007/978-3-319-69483-2_19Licence: Other

Schivo2017howAccepted author version, 1.7 MB

Cite this

Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., Rensink, A., & 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

Schivo, Stefano ; Yildiz, Bugra Mehmet ; Ruijters, Enno J.J. et al. / How to Efficiently Build a Front-End Tool for UPPAAL : A Model-Driven Approach. Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. editor / Kim Larsen ; Oleg Sokolsky ; Ji Wang. Springer, 2017. pp. 319-336 (Lecture Notes in Computer Science). (Lecture Notes in Programming and Software Engineering).

@inproceedings{0a7f1ca2ca554ddbb8be834b00258cd0,

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

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{\textquoteright}s input model, containing both timed-automata concepts and syntax-related elements for C-like expressions. We also introduce a metamodel for Uppaal{\textquoteright}s query language to specify temporal properties; as well as a metamodel for traces to interpret Uppaal{\textquoteright}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{\textquoteright}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.",

author = "Stefano Schivo and Yildiz, {Bugra Mehmet} and Ruijters, {Enno J.J.} and Christopher Gerking and Rajesh Kumar and Stefan Dziwok and Arend Rensink and Stoelinga, {Mari{\"e}lle I.A.}",

year = "2017",

month = oct,

doi = "10.1007/978-3-319-69483-2_19",

language = "English",

isbn = "978-3-319-69482-5",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "319--336",

editor = "Kim Larsen and Oleg Sokolsky and Ji Wang",

booktitle = "Dependable Software Engineering. Theories, Tools, and Applications",

note = "3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017, SETTA ; Conference date: 23-10-2017 Through 25-10-2017",

url = "http://lcs.ios.ac.cn/setta2017/",

}

Schivo, S, Yildiz, BM, Ruijters, EJJ, Gerking, C, Kumar, R, Dziwok, S, Rensink, A & Stoelinga, MIA 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. Lecture Notes in Computer Science, vol. 10606, Lecture Notes in Programming and Software Engineering, Springer, pp. 319-336, 3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017, Changsha, China, 23/10/17. https://doi.org/10.1007/978-3-319-69483-2_19

How to Efficiently Build a Front-End Tool for UPPAAL : A Model-Driven Approach. / Schivo, Stefano ; Yildiz, Bugra Mehmet; Ruijters, Enno J.J. et al.

Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. ed. / Kim Larsen; Oleg Sokolsky; Ji Wang. Springer, 2017. p. 319-336 (Lecture Notes in Computer Science; Vol. 10606), (Lecture Notes in Programming and Software Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - How to Efficiently Build a Front-End Tool for UPPAAL

T2 - 3rd International Symposium on Dependable Software Engineering: Theories, Tools and Applications, SETTA 2017

AU - Schivo, Stefano

AU - Yildiz, Bugra Mehmet

AU - Ruijters, Enno J.J.

AU - Gerking, Christopher

AU - Kumar, Rajesh

AU - Dziwok, Stefan

AU - Rensink, Arend

AU - Stoelinga, Mariëlle I.A.

N1 - Conference code: 3

PY - 2017/10

Y1 - 2017/10

N2 - 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.

AB - 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.

U2 - 10.1007/978-3-319-69483-2_19

DO - 10.1007/978-3-319-69483-2_19

M3 - Conference contribution

SN - 978-3-319-69482-5

T3 - Lecture Notes in Computer Science

SP - 319

EP - 336

BT - Dependable Software Engineering. Theories, Tools, and Applications

A2 - Larsen, Kim

A2 - Sokolsky, Oleg

A2 - Wang, Ji

PB - Springer

Y2 - 23 October 2017 through 25 October 2017

ER -

Schivo S, Yildiz BM, Ruijters EJJ, Gerking C, Kumar R, Dziwok S et al. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. In Larsen K, Sokolsky O, Wang J, editors, Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Springer. 2017. p. 319-336. (Lecture Notes in Computer Science). (Lecture Notes in Programming and Software Engineering). doi: 10.1007/978-3-319-69483-2_19

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

Abstract

Publication series

Conference

Access to Document

Fingerprint

Cite this