Sistema ETD

banca dati delle tesi e dissertazioni accademiche elettroniche

 

Tesi etd-06242016-154317


Tipo di tesi
Tesi di laurea magistrale
Autore
MAURO, GIOACCHINO
URN
etd-06242016-154317
Titolo
Design and development of a MISRA C code generator for safety critical devices
Struttura
INGEGNERIA DELL'INFORMAZIONE
Corso di studi
INGEGNERIA INFORMATICA
Commissione
relatore Prof.ssa Bernardeschi, Cinzia
correlatore Ing. Domenici, Andrea
Parole chiave
  • Prototyping
  • Model Driven Architecture
  • Code Generation
  • MISRA C
  • Software engineering
Data inizio appello
22/07/2016;
Disponibilità
parziale
Riassunto analitico
The responsibilities of embedded software in safety-critical applications increase continuously. Taking this into account, together with requirements to reduce time and overall production costs, automatic code generation plays an essential role. Automatic code generation guarantees also a smooth conversion from model to software code and reduces debugging and testing required at code level.

This work reports on implementing a MISRA C code generator for systems described using the PVSio-web prototyping toolkit. PVSio-web allows developers to rapidly generate realistic prototypes for verifying usability and safety requirements in human-machine interactive systems. The code can be generated automatically from diagrams drawn with the Emucharts Editor, a graphical tool provided with PVSio-web, which builds state machines in a subset of the Statechart language and translate them into a few formal specification languages.

PVSio-web is used for rapid prototyping of medical devices and the code generator is compliant with guidelines of the field.

An application has been developed in order to simulate medical devices on Android systems where the user directly interacts with the virtual interface and the code is executed on the mobile device.
File