Title of article
ESTEREL: a formal method applied to avionic software development
Author/Authors
Gérard Berry، نويسنده , , Amar Bouali، نويسنده , , Xavier Fornari، نويسنده , , Emmanuel Ledinot، نويسنده , , Eric Nassor، نويسنده , , Robert de Simone، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2000
Pages
21
From page
5
To page
25
Abstract
Dassault Aviation is a French aircraft manufacturer building civil business jets (the Falcon family) and military jet fighters (the Mirage and Rafale families). It has been concerned with formal methods inside the development process of avionic software since 1989. In this paper, we give a comprehensive account of three industrial-size studies carried out at Dassault Aviation using the reactive synchronous language ESTEREL and its toolset, in collaboration with the public research team that develops ESTEREL at Ecole des Mines de Paris and INRIA Sophia-Antipolis. We deal with software engineering issues related to compilation, optimization and verification of safety-critical embedded software. The goal is to ensure production of efficient and reliable code.
Keywords
Avionic software , Synchronous reactive systems , Safety-critical systems , ESTEREL , Automatic code generation , Optimization , Modularity , Verification
Journal title
Science of Computer Programming
Serial Year
2000
Journal title
Science of Computer Programming
Record number
1079557
Link To Document