International audienceThis paper gives an overview of the most recent experimentations that Astrium and Airbus conducted with the GENE AUTO code generator during 2009. GENE-AUTO is an open source automatic and qualifiable C code generator taking as input Simulink ® /Stateflow ® and Scilab/Scicos models. It was developed in the context of an ITEA European project that ended in December 2008 (www.geneauto.org). The GENE-AUTO toolset is currently maintained by its developers and evaluated for industrial usage by several end-users. This paper presents the case studies that we used for evaluation purposes, explains the organisation between the users and technology providers with respect to the toolset maintenance and summarizes the experimentati...
Model-based design and automated code generation are increasingly used at NASA to produce actual fli...
International audienceThis article gives an overview of the simulation and validation strategy used ...
International audienceThis work presents a preliminary evaluation of the use of the CompCert formall...
International audienceThis paper presents the current status of the Gene-Auto automatic code generat...
International audienceModel Driven Engineering (MDE) and Automatic Code Generation (ACG) have been v...
International audienceThis paper reports on the study and early experiments of the available technol...
International audienceThis paper is focused on the model based design (MBD) approach, more particula...
Model-driven engineering (MDE) has become a leading methodology for the design and development of Re...
Flight computers and flight software are used for GN&C (guidance, navigation, and control), engine c...
Code can be generated manually or using code-generated software tools, but how do you interpret the ...
Depuis l'introduction au début des années 2000 du standard ARINC 661 (définissant les interfaces gra...
Dans l’industrie de l’avionique, les Générateurs Automatiques de Code (GAC) sont de plus en plus uti...
peer-reviewedSoftware has become the driving force behind innovation in the automotive industry. Ac...
Formal methods is a discipline of using a collection of mathematical techniques and formalisms to mo...
Model based program design is the most clear and direct way to develop algorithms and programs for i...
Model-based design and automated code generation are increasingly used at NASA to produce actual fli...
International audienceThis article gives an overview of the simulation and validation strategy used ...
International audienceThis work presents a preliminary evaluation of the use of the CompCert formall...
International audienceThis paper presents the current status of the Gene-Auto automatic code generat...
International audienceModel Driven Engineering (MDE) and Automatic Code Generation (ACG) have been v...
International audienceThis paper reports on the study and early experiments of the available technol...
International audienceThis paper is focused on the model based design (MBD) approach, more particula...
Model-driven engineering (MDE) has become a leading methodology for the design and development of Re...
Flight computers and flight software are used for GN&C (guidance, navigation, and control), engine c...
Code can be generated manually or using code-generated software tools, but how do you interpret the ...
Depuis l'introduction au début des années 2000 du standard ARINC 661 (définissant les interfaces gra...
Dans l’industrie de l’avionique, les Générateurs Automatiques de Code (GAC) sont de plus en plus uti...
peer-reviewedSoftware has become the driving force behind innovation in the automotive industry. Ac...
Formal methods is a discipline of using a collection of mathematical techniques and formalisms to mo...
Model based program design is the most clear and direct way to develop algorithms and programs for i...
Model-based design and automated code generation are increasingly used at NASA to produce actual fli...
International audienceThis article gives an overview of the simulation and validation strategy used ...
International audienceThis work presents a preliminary evaluation of the use of the CompCert formall...