asm2cpp_nasafm17 Bonfanti, Silvia Carissoni, Marco Gargantini, Angelo Mashkoor, Atif

Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino

in NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings (Eds. Barrett, Clark and Davies, Misty and Kahsai, Temesghen) Springer International Publishing (2017): 295--301 ISBN 978-3-319-57288-8

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.

[download the pdf file] [DOI] [url] [presentation]

My sw links