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 - Dec 2 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 |