Mode confusion analysis of a flight guidance system using formal methods

Anjali Joshi; Steven P. Miller; Mats Heimdahl

Mode confusion analysis of a flight guidance system using formal methods

Anjali Joshi, Steven P. Miller, Mats Heimdahl

Computer Science and Engineering

Research output: Contribution to conference › Paper › peer-review

34 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 language	English (US)
Pages	2.D.1/1-2.D.1/12
State	Published - 2003
Event	The 22nd Digital Avionics Systems Conference - Proceedings - Indianapolis, IN, United States Duration: Oct 12 2003 → Oct 16 2003

Other

Other	The 22nd Digital Avionics Systems Conference - Proceedings
Country/Territory	United States
City	Indianapolis, IN
Period	10/12/03 → 10/16/03

OpenUrl availability

Full text

Cite this

@conference{cdc3231fc3a04241a6c3bb281ec2352a,

title = "Mode confusion analysis of a flight guidance system using formal methods",

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.",

author = "Anjali Joshi and Miller, {Steven P.} and Mats Heimdahl",

year = "2003",

language = "English (US)",

pages = "2.D.1/1--2.D.1/12",

note = "The 22nd Digital Avionics Systems Conference - Proceedings ; Conference date: 12-10-2003 Through 16-10-2003",

}

TY - CONF

T1 - Mode confusion analysis of a flight guidance system using formal methods

AU - Joshi, Anjali

AU - Miller, Steven P.

AU - Heimdahl, Mats

PY - 2003

Y1 - 2003

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

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

UR - http://www.scopus.com/inward/record.url?scp=0344119588&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0344119588&partnerID=8YFLogxK

M3 - Paper

AN - SCOPUS:0344119588

SP - 2.D.1/1-2.D.1/12

T2 - The 22nd Digital Avionics Systems Conference - Proceedings

Y2 - 12 October 2003 through 16 October 2003

ER -

Mode confusion analysis of a flight guidance system using formal methods

Abstract

Other

OpenUrl availability

Other files and links

Fingerprint

Cite this