ETD

Digital archive of theses discussed at the University of Pisa

 

Thesis etd-10292020-180740


Thesis type
Tesi di laurea magistrale
Author
PALADINO, FRANCESCO
URN
etd-10292020-180740
Thesis title
A code generator for state machine models in automotive applications
Department
INGEGNERIA DELL'INFORMAZIONE
Course of study
EMBEDDED COMPUTING SYSTEMS
Supervisors
relatore Prof. Di Natale, Marco
correlatore Dott. Gai, Paolo
Keywords
  • state machine
  • code generation
  • automotive
Graduation session start date
20/11/2020
Availability
Partial
Release date
20/11/2090
Summary
Model-based development of automotive embedded systems allows to improve the productivity and quality of applications by allowing a higher level of abstraction for control engineers, early verification and validation by simulation or model checking and the automatic generation of a code implementation.
Extended finite state machines are a fundamental component of every modelling language and tool, since they allow to describe behaviour that depends on states or operational modes.
The objective of this thesis is to implement a code generator for state machine models to be used in automotive applications, that is complying with the AUTOSAR standard when applicable. The framework developed in this thesis is built on the Eclipse Modeling Framework and leverages the open source Acceleo model-to-text transformation engine. The input models are obtained from the open source Ptolemy modeller from the University of California at Berkeley.
The code generator is capable of generating production-level code with a performance comparable to that of commercial generators.
File