• state machine
• code generation
• automotive

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.