Mode Confusion Analysis of a Flight Guidance System Using Formal Methods

Loading...
Thumbnail Image

Persistent link to this item

Statistics
View Statistics

Journal 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.