Paper Info
Title
Esterel: a formal method applied to avionic software development
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 E STEREL and its toolset, in collaboration with the public research team that develops E STEREL 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.
Year
DOI
Venue
2000
10.1016/S0167-6423(99)00015-5
Sci. Comput. Program.
Keywords
Field
DocType
safety-critical systems,formal method,synchronous reactive systems,avionic software,software development,verification,automatic code generation,e sterel,optimization,modularity,data flow,reactive system,embedded systems,avionics,safety critical systems,formal languages
Embedded software,Programming language,Life-critical system,Computer science,Avionics,Aviation,Software,Formal methods,Esterel,Software development
Journal
Volume
Issue
ISSN
36
1
Science of Computer Programming
Citations 
PageRank 
References 
20
1.98
29
Authors
6
Name
Order
Citations
PageRank
Gérard Berry11402153.04
Amar Bouali215412.50
Xavier Fornari3222.37
Emmanuel Ledinot4383.15
Eric Nassor5425.18
Robert de Simone61237104.97