Mode confusion analysis of a flight guidance system using formal methods

AIAA/IEEE Digital Avionics Systems Conference - Proceedings

Volumn 1, Issue , 2003, Pages

  Joshi, Anjali ^a   Miller, Steven P ^b   Heimdahl, Mats P E ^a  

^a University of Minnesota   (United States)

^b ROCKWELL COLLINS   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; SPECIFICATIONS; SYSTEMS ANALYSIS; THEOREM PROVING;

FLIGHT GUIDANCE SYSTEM; FORMAL METHODS; MODE CONFUSION ANALYSIS; MODEL-CHECKERS; THEOREM PROVERS;

AVIONICS;

EID: 0344119588     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (22)

1. Anonymous, February 1, 2002, Flight Guidance System Approval, Joint Advisory Circular AC/ACJ 25.1329.
2. Australian Bureau of Air Safety Investigation (BASI), June-August 1999, Advanced-technology Aircraft Safety Survey Report, Flight Safety Digest, pg. 137-216,.
3. Billings, Charles E., 1997, Aviation Automation: the Search for a Human Centered Approach, Lawrence Erlbaum Associates, Inc., Mahwah, NJ.
4. Butler, Ricky W., Steven P. Miller, James N. Potts, Victor A. Carreno, October 1998, A Formal Methods Approach to the Analysis of Mode Confusion, in Proceedings of the 17th AIAA/IEEE Digital Avionics Systems Conference, Bellevue, WA.
5. Clarke, Edmund M., Orna Grumberg, and Doron A. Peled, 2001, Model Checking, The MIT Press, Cambridge, Massachusetts.
6. Commercial Aviation Safety Team, December 15, 2000, Final Report of the Loss of Control JSAT: Results and Analysis, Paul Russell and Jay Pardee, Co-Chairs,.
7. Hughes, Dan, Michael Dornheim, January 30-February 6, 1995, Automated Cockpits Special Report, Parts I & II, Aviation Week & Space Technology.
8. Leveson, Nancy, Mats Heimdahl, Holly Hildreth, Jon Reese, September 1994, Requirements Specifications for Process-Control Systems, IEEE Transactions on Software Engineering, 20(9):684-707.
9. Leverson, Nancy, L. Denise Pinnel, Sean David Sandys, Shuichi Koga, Jon Damon Reese, March 1997, Analyzing Software Specifications for Mode Confusion Potential, in Proceedings of a Workshop on Human Error and System Development, C.W. Johnson, Editor, pg. 132-146, Glasgow, Scotland.
10. Miller, Steven P., February 2001, Taxonomy of Mode Confusion Sources Final Report, NASA Contractor Report.
11. Miller, Steven P., Alan C. Tribble, Timothy M. Carlson, Eric J. Danielson, November 2001, Flight Guidance System Requirements Specification Final Report, NASA Contractor Report.
12. Miller, Steven P., February 2002, FGS Model Visualization: Final Report, NASA Contractor Report.
13. NuSMV: A New Symbolic Model Checking, available at http://nusmv.irst.itc.it/.
14. PVS: Prototype Verification System, available at http://www.csl.sri.com/projects/pvs/.
15. Rushby, John, June 1999, Using Model Checking to Help Discover Mode Confusions and Other Automation Surprises, in the Proceedings of the 3rd Workshop on Human Error, Safety, and System Development (HESSD'99), Liege, Belgium.
16. Rushby, John, Judith Crow, Everett Palmer, October 1999. An Automated Method to Detect Potential Mode Confusion, in the Proceedings of the 18th AIAA/IEEE Digital Avionics Systems Conference (DASC), St. Louis, MO.
17. Sarter, Nadine D., David D. Woods, April 1994, Decomposing Automation: Autonomy, Authority, Observability and Perceived Animacy, First Automation Technology and Human Performance Conference.
18. Sarter, Nadine D., David D. Woods, 1995, How in the World Did I Ever Get Into That Mode?, Mode Error and Awareness in Supervisory Control, Human Factors, 37(1), pg. 5-19.
19. Sarter, Nadine D., David D. Woods, February 1995, Strong, Silent, and Out-of-the-Loop, CSEL Report 95-TR-01, Ohio State University.
20. Sarter, Nadine D., and David D. Woods, C. E. Billings, 1997, Automation Surprises, in Handbook of Human Factors/Ergonomics, 2nd Edition, G. Salvendy (editor), Wiley, New York.
21. Vakil, Sanjay S. and John R. Hansman,. Jr., 2002, "Approaches to Mitigating Complexity-Driven Issues in Commercial Autoflight Systems," Reliability Engineering and System Safety, Vol. 75, pp. 133-145.
22. -e, Master's Thesis, University of Minnesota.