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
Conference paper
Electronic Resource
English
Mode Confusion Analysis of a Flight Guidance System Using Formal Methods
British Library Conference Proceedings | 2003
|