Mode confusion analysis of a flight guidance system using formal methods

Anjali Joshi, Steven P. Miller, Mats Heimdahl

Research output: Contribution to conferencePaperpeer-review

31 Scopus citations

Abstract

Mode awareness was identified by several researchers, the FAA, and the aviation industry as an important safety concern. Despite this level of interest, finding ways to detect and mitigate potential sources of mode confusion remains as much an art as a science. This paper describes an approach in which requirements and design documents can be analyzed for potential sources of mode confusion through the use of automated analysis tools, such as model-checkers and theorem provers.

Original languageEnglish (US)
Pages2.D.1/1-2.D.1/12
StatePublished - Dec 2 2003
EventThe 22nd Digital Avionics Systems Conference - Proceedings - Indianapolis, IN, United States
Duration: Oct 12 2003Oct 16 2003

Other

OtherThe 22nd Digital Avionics Systems Conference - Proceedings
CountryUnited States
CityIndianapolis, IN
Period10/12/0310/16/03

Fingerprint Dive into the research topics of 'Mode confusion analysis of a flight guidance system using formal methods'. Together they form a unique fingerprint.

Cite this