Safety-relevant mode confusions - modelling and reducing them

2-Pentanoylaminoacetic acid and pharmaceutically suitable salts thereof are claimed for use as pharmaceuticals. The compounds are useful in producing an effect on the central nervous system, especially in the treatment of various forms of epilepsy, of disninesiae, of parkinsonism, of memory troubles, of psychic troubles and of cerebral anoxia.

[1]  Peter Johnson,et al.  Beyond Mode Error: Supporting Strategic Knowledge Structures to Enhance Cockpit Safety , 2001, BCS HCI/IHM.

[2]  Asaf Degani,et al.  Formal Verification of Human-Automation Interaction , 2002, Hum. Factors.

[3]  Jan Bredereke,et al.  On Preventing Telephony Feature Interactions which are Shared-Control Mode Confusions , 2003, FIW.

[4]  Michael Heymann,et al.  Constructing Human-Automation Interfaces: A Formal Approach , 2002 .

[5]  Mounir Mokhtari.  Integration of assistive technology in the information age : ICORR'2001 : 7th International Conference on Rehabilitation Robotics , 2001 .

[6]  E. Palmer,et al.  An automated method to detect potential mode confusions , 1999, Gateway to the New Millennium. 18th Digital Avionics Systems Conference. Proceedings (Cat. No.99CH37033).

[7]  Axel Lankenau,et al.  A Rigorous View of Mode Confusion , 2002, SAFECOMP.

[8]  Ieee Aerospace.  19th DASC : the 19th Digital Avionics Systems Conference, Philadelphia, PA, October 7-13, 2000 : proceedings , 2000 .

[9]  J. Shaoul.  Human Error , 1973, Nature.

[10]  Edward N. Bachelder,et al.  Describing and Probing Complex System Behavior: A Graphical Approach , 2001 .

[11]  Bettina Buth.  Formal and semi-formal methods for the analysis of industrial control systems , 2001, BISS monographs.

[12]  Jan Bredereke,et al.  Maintaining families of rigorous requirements for embedded software systems , 2007, BISS monographs.

[13]  Michael D. Harrison,et al.  Model Checking Interactor Specifications , 2001, Automated Software Engineering.

[14]  Charles E. Billings,et al.  Aviation Automation: The Search for A Human-centered Approach , 1996 .

[15]  Donald A. Norman,et al.  Some observations on mental models , 1987 .

[16]  Axel Lankenau,et al.  The Bremen Autonomous Wheelchair – A Versatile and Safe Mobility Assistant , 2002 .

[17]  M. Rodriguez,et al.  Making formal methods practical , 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).

[18]  John M. Rushby,et al.  Analyzing Cockpit Interfaces Using Formal Methods , 2001, FM-Everywhere@FORTE/PSTV.

[19]  R.W. Butler,et al.  A formal methods approach to the analysis of mode confusion , 1998, 17th DASC. AIAA/IEEE/SAE. Digital Avionics Systems Conference. Proceedings (Cat. No.98CH36267).

[20]  Peter Johnson,et al.  Unmasking Mode Errors: A New Application of Task Knowledge Principles to the Knowledge Gaps in Cockpit Design , 2001, INTERACT.

[21]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[22]  R. John Hansman,et al.  Approaches to mitigating complexity-driven issues in commercial autoflight systems , 2002, Reliab. Eng. Syst. Saf..

[23]  Chris W. Johnson,et al.  Formally verified, rapid prototyping for Air Traffic Control , 2002, Reliab. Eng. Syst. Saf..

[24]  John Rushby,et al.  Using model checking to help discover mode confusions and other automation surprises , 2002, Reliab. Eng. Syst. Saf..

[25]  Victor Carreño,et al.  Analyzing Mode Confusion via Model Checking , 1999, SPIN.

[26]  Bob Fields,et al.  Deriving human-error tolerance requirements from tasks , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[27]  J. Quesada,et al.  The role of working memory on measuring mental models of physical systems , 2001 .

[28]  Axel Lankenau,et al.  Architecture and applications of the Bremen Autonomous Wheelchair , 2000, Inf. Sci..

[29]  M. Rodriguez,et al.  Identifying mode confusion potential in software design , 2000, 19th DASC. 19th Digital Avionics Systems Conference. Proceedings (Cat. No.00CH37126).

[30]  Alex Kirlik,et al.  Modes in Human-Machine Systems: Constructs, Representation, and Classification , 1999 .

[31]  Harold W. Thimbleby,et al.  User interface design , 1990, ACM Press Frontier Series.

[32]  P. Johnson-Laird.  Mental models , 1989 .

[33]  Axel Lankenau,et al.  Avoiding Mode Confusion in Service Robots The Bremen Autonomous Wheelchair as an Example , 2001 .

[34]  M. Angela Sasse,et al.  Eliciting and describing users' models of computer systems , 1997 .

[35]  Gavin John Doherty.  A pragmatic approach to the formal specification of interactive systems , 1998 .

[36]  Jon Damon Reese,et al.  Analyzing Software Specifications for Mode Confusion Potential , 1998 .

[37]  John M. Rushby.  Modeling the Human in Human Factors , 2001, SAFECOMP.

[38]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[39]  Denis Javaux,et al.  Models and Mechanized Methods that Integrate Human Factors into Automation Design , 2000 .

[40]  Axel Lankenau,et al.  A versatile and safe mobility assistant , 2001, IEEE Robotics Autom. Mag..

[41]  Asaf Degani,et al.  On the Construction of Human-Automation Interfaces by Formal Abstraction , 2002, SARA.

[42]  Nadine B. Sarter,et al.  How in the World Did We Ever Get into That Mode? Mode Error and Awareness in Supervisory Control , 1995, Hum. Factors.

[43]  Denis Javaux,et al.  HESSD ’ 98 62 Explaining Sarter & Woods ’ Classical Results . The Cognitive Complexity of Pilot-Autopilot Interaction on the Boeing 737-EFIS , 1998 .