Hazard Analysis of Interactive Systems

This report discusses approaches to analysis of safety-critical systems for operator error. The report summarises the existing literature in the area as well as the guidance provided by existing safety-critical system development standards.

[1]  Morris F. Chudleigh,et al.  The Benefits of SUSI: Safety Analysis of User System Interaction , 1993, SAFECOMP.

[2]  Peter Johnson,et al.  A framework for integrating UIMS and user task models in the design of user interfaces , 1991 .

[3]  Lisanne Bainbridge,et al.  Ironies of automation , 1982, Autom..

[4]  S. P. Whalley,et al.  Minimising the Cause of Human Error , 1988 .

[5]  Jens Rasmussen,et al.  Human errors. a taxonomy for describing human malfunction in industrial installations , 1982 .

[6]  Mary Beth Rosson,et al.  Human-computer interaction scenarios as a design representation , 1990, Twenty-Third Annual Hawaii International Conference on System Sciences.

[7]  D A Norman,et al.  The 'problem' with automation: inappropriate feedback and interaction, not 'over-automation'. , 1990, Philosophical transactions of the Royal Society of London. Series B, Biological sciences.

[8]  Allen Newell,et al.  The psychology of human-computer interaction , 1983 .

[9]  Heather Alexander,et al.  Structuring dialogues using CSP , 1990 .

[10]  Fabio Paternò,et al.  ConcurTaskTrees: A Diagrammatic Notation for Specifying Task Models , 1997, INTERACT.

[11]  Heinz Ulrich Hoppe,et al.  A grammer-based approach to unifying task-oriented and system-oriented interface descriptions , 1987, Informatics and Psychology Workshop.

[12]  M. Lynn.  Hawaii International Conference on System Sciences , 1996 .

[13]  Colin Potts,et al.  Design of Everyday Things , 1988 .

[14]  Philippe A. Palanque,et al.  Validating interactive system design through the verification of formal task and system models , 1995, EHCI.

[15]  Michael D. Harrison,et al.  Mapping user requirements to implementations , 1995, Softw. Eng. J..

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

[17]  A. D. Swain,et al.  Handbook of human-reliability analysis with emphasis on nuclear power plant applications. Final report , 1983 .

[18]  Ana Pasztor,et al.  LUIS—A logic for task‐oriented user interface specification , 1995, Int. J. Intell. Syst..

[19]  Rémi Bastide,et al.  Task Models - System Models: a Formal Bridge over the Gap , 1996 .

[20]  Working Group on Formal Methods in HCI and Software Engineering , 1994, ICSE Workshop on SE-HCI.

[21]  Barry Kirwan,et al.  A Guide To Task Analysis: The Task Analysis Working Group , 1992 .

[22]  John W. Senders,et al.  Human Error: Cause, Prediction, and Reduction , 1991 .

[23]  Jens Rasmussen,et al.  Skills, rules, and knowledge; signals, signs, and symbols, and other distinctions in human performance models , 1983, IEEE Transactions on Systems, Man, and Cybernetics.

[24]  Felix Redmill,et al.  A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System , 1995, SAFECOMP.

[25]  Philippe A. Palanque,et al.  Formal Methods in Human-Computer Interaction , 1997, Formal Approaches to Computing and Information Technology (FACIT).

[26]  R Green,et al.  HUMAN FACTORS IN SAFETY CRITICAL SYSTEMS , 1990 .