Communication Dans Un Congrès Année : 2008

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

Résumé

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.

Fichier principal
Vignette du fichier
ERTS2008_0102_paper.pdf (138.39 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

hal-02270306 , version 1 (24-08-2019)

Licence

Identifiants

  • HAL Id : hal-02270306 , version 1

Citer

Andres Toom, Tonu Naks, Marc Pantel, Marcel Gandriau, Indra Wati. Gene-Auto: an Automatic Code Generator for a safe subset of Simulink/Stateflow and Scicos. 4th European Congress on Embedded Real Time Software and Systems (ERTS 2008), 3AF association; SEE Midi-Pyrénées, Jan 2008, Toulouse, France. pp.1--10. ⟨hal-02270306⟩
420 Consultations
459 Téléchargements

Partager

  • More