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.

(2017). Asm2C++: A tool for code generation from abstract state machines to Arduino . Retrieved from http://hdl.handle.net/10446/91705

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

Bonfanti, Silvia;Gargantini, Angelo Michele;Mashkoor, Atif
2017

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.
Bonfanti, Silvia; Carissoni, Marco; Gargantini, Angelo Michele; Mashkoor, Atif
File allegato/i alla scheda:
File Dimensione del file Formato  
asm2cpp_nasafm17.pdf

Solo gestori di archivio

Versione: publisher's version - versione editoriale
Licenza: Licenza default Aisberg
Dimensione del file 662.22 kB
Formato Adobe PDF
662.22 kB Adobe PDF   Visualizza/Apri
Pubblicazioni consigliate

Caricamento pubblicazioni consigliate

Aisberg ©2008 Servizi bibliotecari, Università degli studi di Bergamo | Terms of use/Condizioni di utilizzo

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10446/91705
Citazioni
  • Scopus 23
  • ???jsp.display-item.citation.isi??? ND
social impact