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.
[download the pdf file] [DOI] [url] [presentation]