Title :
Model checking flight control systems: The Airbus experience
Author :
Bochot, Thomas ; Virelizier, Pierre ; Waeselynck, Hélène ; Wiels, Virginie
Author_Institution :
AIRBUS France, Toulouse
Abstract :
This paper presents experiments realized by Airbus on model checking a safety critical system, lessons learnt and ways forward to extend the industrial use of formal verification at design level.
Keywords :
aerospace computing; aerospace control; aerospace simulation; control system synthesis; formal verification; safety-critical software; airbus experience; formal verification; model checking flight control system; safety critical system; Aerospace control; Aerospace safety; Air safety; Aircraft; Electrical equipment industry; Embedded system; Formal languages; Formal verification; Software testing; System testing;
Conference_Titel :
Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
978-1-4244-3495-4
DOI :
10.1109/ICSE-COMPANION.2009.5070960
