A conceptual model for the analysis of mishaps in human-operated safety-critical systems

Safety Science

Volumn 46, Issue 1, 2008, Pages 22-37

  Hall, Jon G ^a   Silva, Andrés ^b  

^a OPEN UNIVERSITY   (United Kingdom)

^b UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

Accident models; Control; Hazard analysis; HCI; Human factors; Risk analysis; Software safety

Indexed keywords

BEHAVIORAL RESEARCH; COMPUTER SYSTEMS; MODEL CHECKING; REQUIREMENTS ENGINEERING; RISK ANALYSIS; SOFTWARE DESIGN;

ACCIDENT MODELS; HAZARD ANALYSIS; HUMAN FACTORS; SOFTWARE SAFETY;

SECURITY SYSTEMS;

ARTICLE; COMPUTER MODEL; COMPUTER SYSTEM; DYNAMICS; HUMAN; HUMAN COMPUTER INTERACTION; HUMAN FACTORS RESEARCH; OPERATOR; PRIORITY JOURNAL; RISK ASSESSMENT; SAFETY;

EID: 36749103112     PISSN: 09257535     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ssci.2006.11.001     Document Type: Article

References (34)

1. Broomfield E.J., and Chung P.W.H. Safety assessment and the software requirements specification. Reliability Engineering & System Safety 55 3 (1997) 295-309
2. Bush, D., 2005. Modelling support for early identification of safety requirements. In: Iee, E. (Ed.), 4th International Workshop on Requirements for High Assurance Systems (RHAS'05, Paris), August 2005.
3. Cacciabue P.C. Human factors impact on risk analysis of complex systems. Journal of Hazardous Materials 71 1-3 (2000) 101-116
4. Cacciabue P.C. Guide to Applying Human Factors Methods (2004), Springer
5. Edwards W. Dynamic decision theory and probabilistic information processing. Human Factors 4 (1962) 59-73
6. Fenelon P., McDermid J., Nicholson M., and Pumfrey D. Towards integrated safety analysis and design. Applied Computing Review 2 1 (1994) 21-32
7. Fields R., Paternó F., Santoro C., and Tahmassebi S. Comparing design options for allocating communication media in cooperative safety-critical contexts: a method and a case study. ACM Transactions on Computer-Human Interactions 6 4 (1999) 370-398
8. Galliers J., Sutcliffe A., and Minocha S. An impact analysis method for safety-critical user interface design. ACM Transactions on Computer-Human Interactions 6 4 (1999) 341-369
9. Garrett C.J., and Apostolakis G.E. Automated hazard analysis of digital control systems. Reliability Engineering & System Safety 77 1 (2002) 1-17
10. Gunter C.A., Gunter E.L., Jackson M., and Zave P. A reference model for requirements and specifications. Software, IEEE 17 3 (2000) 37-43
11. Hall J.G., and Rapanotti L. A reference model for requirements engineering. Proceedings of the 11th IEEE International Conference on Requirements Engineering (RE 2003) (2003), IEEE Computer Society Press 181-187
12. Hall, J.G., Rapanotti, L., Jackson, M., 2006. Problem Oriented Software Engineering. Technical Report 2006/10, Centre for Research in Computing, The Open University.
13. Jackson M. Problem Frames: Analyzing and Structuring Software Development Problems (2001), Addison-Wesley
14. Johnson C. Representing the impact of time on human error and systems failure. Interacting with Computers 11 1 (1998) 53-86
15. Johnson C. A case study in the integration of accident reports and constructive design documents. Reliability Engineering & System Safety 71 3 (2001) 311-326
16. Johnson C. Forensic software engineering: are software failures symptomatic of systemic problems?. Safety Science 40 9 (2002) 835-847
17. Johnson C. Software tools to support incident reporting in safety-critical systems. Safety Science 40 9 (2002) 765-780
18. Johnson, C., 2003. A brief overview of causal analysis techniques for electrical, electronic or programmable electronic systems. Technical report, Department of Computing Science, University of Glasgow, Glasgow, Scotland.
19. Leveson N. Safeware: System Safety and Computers (1995), Addison-Wesley Professional
20. Leveson, N., Pinnell, L.D., Sandys, S.D., Koga, S., Reese, J.D., 1997. Analyzing software specifications for mode confusion potential, In: Proceedings of the Workshop on Human Error and System Development. Glasgow, March.
21. Leveson N. A new accident model for engineering safer systems. Safety Science 42 4 (2004) 237-270
22. Neumann P.G. Computer-Related Risks (1994), Addison-Wesley Professional
23. Norman D.A. Cognitive engineering. In: Norman D.A., and Draper S.W. (Eds). User Centered System Design: New Perspectives on Human-Computer Interaction (1986), Erlbaum, Hillsdale, NJ 31-61
24. Norman D.A. The problem of automation: inappropriate feedback and interaction, not over-automation. In: Broadbent D.E., Baddeley A., and Reason J.T. (Eds). Human Factors in Hazardous Situations (1990), Oxford University Press 585-593
25. Norman D.A. The Design of Everyday Things (2002), Basic Books
26. Papadopoulos Y., McDermid J., Sasse R., and Heiner G. Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure. Reliability Engineering & System Safety 71 3 (2001) 229-247
27. Perrow C. Normal Accidents (1999), Princeton University Press
28. Reason J. The psychology of mistakes: a brief review of planning failures. In: Rasmussen J., Duncan K., and Leplat J. (Eds). New Technology and Human Error (1987), John Wiley & Sons, New York
29. Silva, A., 2002. Requirements, domain and specifications: a viewpoint-based approach to requirements engineering. In: Proceedings of the International Conference on Software Engineering 2002 (ICSE 2002).
30. Storey N. Safety Critical Computer Systems (1996), Addison Wesley
31. Taylor J.R. Developing safety cases for command and control systems. In: Redmill F., and Anderson T. (Eds). Technology and Assessment of Safety-Critical Systems (1994), Springer-Verlag 69-781
32. Wilson S.P., and McDermid J.A. Integrated analysis of complex safety critical systems. Comput. J. 38 10 (1995) 765-776
33. Yu, E.S., 1997. Towards modelling and reasoning support for early-phase requirements engineering. In: International Symposium on Requirements Engineering, Annapolis, MD, pp. 226-235.
34. Zave P., and Jackson M. Four dark corners of requirements engineering. ACM Transactions on Software Engineering and Methodology 6 1 (1997) 1-30