Gene-Auto: an Automatic Code Generator for a safe subset of Simulink/Stateflow and Scicos (paper)

Abstract: Model Driven Engineering (MDE) and
Automatic Code Generation (ACG) have been very
successful in the systems engineering domain. An
important aspect, however, is that the required
lifetime of critical embedded systems can be very
long. For instance, avionic software must be
maintainable for up to 80 years. Secondly, the
reliability of high criticality software must be qualified
according to high industry standards (e.g. DO-178 in
the avionics). The Gene-Auto project addresses
these issues by developing an open-source toolset
for code generation from high level modelling
languages like Simulink/Stateflow and Scicos to
executable code for real-time embedded systems. It
is the goal of the project to prepare the ACG for full
qualification according to the requirements of safety
critical industries. However, since the traditional testbased
verification methodologies are very costly,
Gene-Auto develops and aims to qualify some parts
of the toolset using novel formal technologies.