Asm2C++: A tool for code generation from abstract state machines to Arduino
S. Bonfanti, M. Carissoni, A. Gargantini, A. Mashkoor. Asm2C++: A tool for code generation from abstract state machines to Arduino. volume 10227, pages 295-301, DOI 10.1007/978-3-319-57288-8_21, 4, 2017. | |
Autoren | |
Editoren |
|
Buch | NASA Formal Methods - Proc. NFM 2017 |
Typ | In Konferenzband |
Verlag | Springer |
Serie | ecture Notes in Computer Science |
Band | 10227 |
DOI | 10.1007/978-3-319-57288-8_21 |
ISBN | 978-3-319-57287-1 |
Monat | 4 |
Jahr | 2017 |
Seiten | 295-301 |
Abstract | This paper presents Asm2C++, a tool that automatically generates executable C++ code for Arduino from a formal specification given as Abstract State Machines (ASMs). The code generation process follows the model-driven engineering approach, where the code is obtained from a formal abstract model by applying certain transformation rules. The translation process is highly configurable in order to correctly integrate the underlying hardware. The advantage of the Asm2C++ tool is that it is part of the Asmeta framework that allows to analyze, verify, and validate the correctness of a formal model. |