Safety-relevant mode confusions - Modelling and reducing them

Reliability Engineering and System Safety

Volumn 88, Issue 3, 2005, Pages 229-245

  Bredereke, Jan ^a   Lankenau, Axel ^a  

^a UNIVERSITY OF BREMEN   (Germany)

Author keywords

Human factors; Mode confusion; Safety critical systems; Shared control systems

Indexed keywords

AIRCRAFT; ALGORITHMS; BEHAVIORAL RESEARCH; CONTROL SYSTEMS; ERROR ANALYSIS; FAILURE ANALYSIS; HUMAN COMPUTER INTERACTION; MAN MACHINE SYSTEMS; MATHEMATICAL MODELS; PROBLEM SOLVING; SECURITY SYSTEMS;

HUMAN FACTORS; MODE CONFUSION; SAFETY-CRITICAL SYSTEMS; SHARED-CONTROL SYSTEMS;

ACCIDENT PREVENTION;

EID: 15744364699     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2004.07.020     Document Type: Article

References (41)

1. C.E. Billings Aviation automation: the search for a human-centered approach. Human factors in transportation 1997 Lawrence Erlbaum Mahwah, NJ
2. Palmer E. Oops, it didn't arm. A case study of two automation surprises. In: Proceedings of the eighth international symposium on aviation psychology; 1995.
3. D.A. Norman Some observations on mental models D. Gentner A.L. Stevens Mental models 1983 Lawrence Erlbaum Hillsdale, NJ 7 14
4. J.J. Cañas, A. Antolí, and J.F. Quesada The role of working memory on measuring mental models of physical systems Psicologíca 22 2001 25 42
5. J. Rushby Modeling the human in human factors U. Voges Computer safety, reliability and security - Proceedings of the 20th international conference, SafeComp 2001, Budapest, Hungary LNCS vol. 2187 2001 Springer Berlin 86 91
6. J. Crow, D. Javaux, and J. Rushby Models and mechanized methods that integrate human factors into automation design K. Abbott J.-J. Speyer G. Boy Proceedings of the international conference on human-computer interaction in aeronautics: HCI-Aero 2000, Toulouse, France 2000
7. Butler RW, Miller SP, Potts JN, Carreño VA. A formal methods approach to the analysis of mode confusion. In: Proceedings of the 17th digital avionics systems conference, Bellevue, Washington, USA; 1998.
8. J.C. Campos, and M.D. Harrison Model checking interactor specifications Automated Softw Eng 8 2001 275 310
9. J. Rushby Analyzing cockpit interfaces using formal methods H. Bowman Proceedings of the FM-elsewhere Electronic notes in theoretical computer science vol. 43 2001 Elsevier Amsterdam (invited paper presented at Pisa, Italy, in October 2000)
10. Hourizi R, Johnson P. Beyond mode error: supporting strategic knowledge structures to enhance cockpit safety. In: HCI 2001, People and computers XIV, Lille, France. Springer; 10-14 September 2001.
11. N.B. Sarter, and D.D. Woods How in the world did we ever get into that mode? Mode error and awareness in supervisory control Hum Factors 37 1 1995 5 19
12. A. Degani, M. Shafto, and A. Kirlik Modes in human-machine systems: constructs, representation and classification Int J Aviat Psychol 9 2 1999 125 138
13. Buth B. Formal and semi-formal methods for the analysis of industrial control systems. Habilitation thesis, University of Bremen, Germany; 2001.
14. Leveson NG, Pinnel LD, Sandys SD, Koga S, Reese JD. Analyzing software specifications for mode confusion potential. In: Workshop on human error and system development, Glasgow, UK; 1997.
15. Doherty G. A pragmatic approach to the formal specification of interactive systems. PhD thesis, Department of Computer Science, University of York; October 1998.
16. H. Thimbleby User interface design 1990 ACM Press New York
17. Wright P, Fields B, Harrison M. Deriving human-error tolerance requirements from tasks. In: Proceedings of the ICRE'94 - IEEE international conference on requirements engineering, Colorado, USA; 1994.
18. Heymann M, Degani A. Constructing human-automation interfaces: a formal approach. In: Proceedings of the international conference on human-computer interaction in aeronautics: HCI-Aero 2002, Cambridge, MA, USA; October 2002. p. 119-25.
19. Rodriguez M, Zimmermann M, Katahira M, de Villepin M, Ingram B, Leveson N. Identifying mode confusion potential in software design. In: Proceedings of the 19th digital avionics systems conference [41].
20. Zimmermann M, Rodriguez M, Ingram B, Katahira M, de Villepin M, Leveson N. Making formal methods practical. In: Proceedings of the 19th digital avionics systems conference [41].
21. M. Sage, and C.W. Johnson Formally verified, rapid prototyping for air traffic control Reliab Eng Syst Saf 75 2 2002 121 132
22. S.S. Vakil, and R.J. Hansman Jr. Approaches to mitigating complexity-driven issues in commercial autoflight systems Reliab Eng Syst Saf 75 2 2002 133 145
23. Rushby J, Crow J, Palmer E. An automated method to detect potential mode confusions. In: Proceedings of the 18th digital avionics systems conference, St. Louis, Montana, USA. IEEE; 1999.
24. G. Lüttgen, and V. Carreño Analyzing mode confusion via model checking D. Dams R. Gerth S. Leue M. Massink SPIN'99 LNCS vol. 1680 1999 Springer Berlin 120 135
25. A. Lankenau Avoiding mode confusion in service-robots M. Mokhtari Integration of assistive technology in the information age, Proceedings of the seventh international conference on rehabilitation robotics, Evry, France 2001 IOS Press 162 167
26. J. Rushby Using model checking to help discover mode confusions and other automation surprises Reliab Eng Syst Saf 75 2 2002 167 177
27. J. Reason Human error 1990 Cambridge University Press
28. D.A. Norman The psychology of everyday things 1988 Basic Books New York
29. Bachelder E, Leveson N. Describing and probing complex system behavior: a graphical approach. In: Proceedings of the aviation safety conference, Seattle, USA. Society of Automotive Engineers, Inc.; September 2001 (Paper number 01D-22).
30. A. Degani, and M. Heymann Formal verification of human-automation interaction Hum Factors 44 1 2002 28 43
31. M. Heymann, and A. Degani On the construction of human-automation interfaces by formal abstraction S. Koenig R. Holte SARA 2002 LNAI vol. 2371 2002 Springer Berlin 99 115
32. Javaux D. Explaining Sarter & Woods' classical results. The cognitive complexity of pilot-autopilot interaction on the Boeing 737-EFIS. In: Proceedings of HESSD'98; 1998. p. 62-77.
33. Hourizi R, Johnson P. Unmasking mode error: a new application of task knowledge principles to the knowledge gaps in cockpit design. In: Interact'01, The 18th IFIP conference on human computer interaction, Tokyo, Japan. Springer; 9-14 July 2001.
34. C.A.R. Hoare Communicating sequential processes 1985 Prentice-Hall Englewood Cliffs, NJ
35. A.W. Roscoe The theory and practice of concurrency 1997 Prentice-Hall Englewood Cliffs, NJ
36. J. Bredereke, and A. Lankenau A rigorous view of mode confusion S. Anderson S. Bologna M. Felici Computer safety, reliability and security - Proceedings of the 21st international conference, SafeComp 2002, Catania, Italy LNCS vol. 2434 2002 Springer Berlin 19 31
37. J. Bredereke On preventing telephony feature interactions which are shared-control mode confusions D. Amyot L. Logrippo Feature interactions in telecommunications and software systems VII 2003 IOS Press Amsterdam 159 176
38. Bredereke J. Maintaining families of rigorous requirements for embedded software systems. Habilitation thesis, University of Bremen, Germany; 2004 (in press).
39. T. Röfer, and A. Lankenau Architecture and applications of the Bremen Autonomous Wheelchair Inf Sci 126 1-4 2000 1 20
40. A. Lankenau, and T. Röfer The Bremen Autonomous Wheelchair - a versatile and safe mobility assistant IEEE Robot Automation Mag, Reinventing the Wheelchair 7 1 2001 29 37
41. IEEE. Proceedings of the 19th digital avionics systems conference, Philadelphia, PA, USA; 7-13 October 2000.