ESTEREL: A formal method applied to avionic software development - Mines Paris Accéder directement au contenu
Article Dans Une Revue Science of Computer Programming Année : 2000

ESTEREL: A formal method applied to avionic software development

Résumé

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.

Domaines

Automatique

Dates et versions

hal-00579632 , version 1 (24-03-2011)

Identifiants

Citer

Gérard Berry, Amar Bouali, Xavier Fornari, Emmanuel Ledinot, Eric Nassor, et al.. ESTEREL: A formal method applied to avionic software development. Science of Computer Programming, 2000, 36 (1), pp.5-25. ⟨10.1016/S0167-6423(99)00015-5⟩. ⟨hal-00579632⟩
326 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More