• DocumentCode
    2002923
  • 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
  • fYear
    2009
  • fDate
    16-24 May 2009
  • Firstpage
    18
  • Lastpage
    27
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • 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
  • Type

    conf

  • DOI
    10.1109/ICSE-COMPANION.2009.5070960
  • Filename
    5070960
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2002923