Mode Confusion Analysis of a Flight Guidance System Using Formal Methods
Loading...
View/Download File
Persistent link to this item
Statistics
View StatisticsJournal Title
Journal ISSN
Volume Title
Title
Mode Confusion Analysis of a Flight Guidance System Using Formal Methods
Published Date
2003
Publisher
Type
Report
Abstract
Advancements in digital avionics systems have accounted for much of the improvement in air safety seen over the last few decades. At the same time, the growing complexity of these systems places greater demands on the flight crew and increases the risk of mode confusion, a phenomenon in which pilots become confused about the status of the system and interact with it incorrectly. To fly commercial flights today, pilots must master several complex, dynamically interacting systems, often operating at different levels of automation. These systems typically have many different modes of operation, with different responses to crew actions and the other systems in each mode. Mode confusion occurs when the flight crew believes they are in a mode different than the one they are actually in and consequently make inappropriate requests or responses to the automation.
The basis premise behind detecting mode confusion through analysis of system requirements or design specifications is that certain design features or patterns are more likely to cause mode confusion than others. This 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. We describe several representative patterns indicative of mode confusion, and show how automated tools can be used to systematically search for such patterns in a requirements or design model.
Keywords
Description
Associated research group: Critical Systems Research Group
Related to
Replaces
License
Series/Report Number
Funding information
Isbn identifier
Doi identifier
Previously Published Citation
22nd IEEE Digital Avionics Systems Conference (DASC'2003)} (Awarded Best Paper of Session), Indianapolis, October 2003.
Other identifiers
Suggested citation
Joshi, Anjali; Miller, Steven; Heimdahl, Mats. (2003). Mode Confusion Analysis of a Flight Guidance System Using Formal Methods. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/217336.
Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.