Skip to Main content Skip to Navigation
Conference papers

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

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 test- based verification methodologies are very costly, Gene-Auto develops and aims to qualify some parts of the toolset using novel formal technologies.
Document type :
Conference papers
Complete list of metadata

Cited literature [23 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02270306
Contributor : Axelle Pagnier <>
Submitted on : Saturday, August 24, 2019 - 5:59:19 PM
Last modification on : Wednesday, June 9, 2021 - 10:00:26 AM
Long-term archiving on: : Friday, January 10, 2020 - 10:54:13 PM

File

ERTS2008_0102_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02270306, version 1

Citation

A Toom, T Naks, Marc Pantel, M Gandriau, I Wati. Gene-Auto: an Automatic Code Generator for a safe subset of Simulink/Stateflow and Scicos. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France. ⟨hal-02270306⟩

Share

Metrics

Record views

134

Files downloads

99