Asm2C++: A tool for code generation from abstract state machines to Arduino

Autoren Silvia Bonfanti
Marco Carissoni
Angelo Gargantini
Atif Mashkoor
Editoren Clark Barrett
Misty Davies
Temesghen Kahsai
Titel Asm2C++: A tool for code generation from abstract state machines to Arduino
Buchtitel NASA Formal Methods - Proc. NFM 2017
Typ in Konferenzband
Verlag Springer
Serie ecture Notes in Computer Science
Band 10227
ISBN 978-3-319-57287-1
DOI 10.1007/978-3-319-57288-8_21
Monat April
Jahr 2017
Seiten 295-301
SCCH ID# 17011
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.