Title :
Mode confusion analysis of a flight guidance system using formal methods
Author :
Joshi, Anjali ; Miller, Steven P. ; Heimdahl, Mats P E
Abstract :
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.
Keywords :
aircraft control; avionics; formal logic; automated analysis tool; flight guidance system; formal method; mode confusion analysis; mode logic;
Conference_Titel :
Digital Avionics Systems Conference, 2003. DASC '03. The 22nd
Conference_Location :
Indianapolis, IN, USA
Print_ISBN :
0-7803-7844-X
DOI :
10.1109/DASC.2003.1245813
