The paper discusses mode confusion analysis of a flight guidance system using formal methods. The paper describes the use of automated analysis tools, such as model-checkers and theorem provers, to search for potential sources of mode confusion in a representative specification of the mode logic of a Flight Guidance System.
Mode confusion analysis of a flight guidance system using formal methods
Digital Avionics Systems Conference, 2003. DASC '03. The 22nd ; 1 ; 2.D.1-21-12 vol.1
2003-01-01
950851 byte
Aufsatz (Konferenz)
Elektronische Ressource
Englisch
Mode Confusion Analysis of a Flight Guidance System Using Formal Methods
British Library Conference Proceedings | 2003
|Intent-based Abstraction for Formal Verification of Flight Deck Mode Confusion (AIAA 2016-0129)
British Library Conference Proceedings | 2016
|