Abstract
We consider methods for analysing interactive systems for operator errors leading to hazards. We model an industrial case study using formal methods and show how a HAZOP-based approach can be used to determine hazardous operator errors. The analysis can be used to motivate and guide redesign of the system to reduce the likelihood of such errors. The technique is amenable to automation, which we demonstrate using the Possum specification animation tool.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
B. Atchison, P. Lindsay, and D. Tombs. A case study in software safety assurance using formal methods. Technical Report 99-31, Software Verification Research Centre, School of Information Technology, The University of Queensland, Brisbane 4072, Australia.
M. F. Chudleigh and J. N. Clare. The benefits of SUSI: Safety Analysis of User System Interaction. In SAFECOMP’93: Proceedings of the 12th International Conference on Computer Safety, Reliability and Security. Springer-Verlag, 1993.
B. Fields, M. Harrison, and P. Wright. THEA: Human Error Analysis for Requirements Definition. Technical Report YCS-294, The University of York, 1997.
W. Johnston and L. Wildman. The Sum Reference Manual. Software Verification Research Centre TR99-21, The University of Queensland, November 1999.
B. Kirwan. Human reliability assessment. In Evaluation of Human Work, chapter 28. Taylor and Francis, 1990.
B. Kirwan, editor. A Guide to Practical Human Reliability Assessment. Taylor and Francis, 1994.
B. A. Leathley. HAZOP Approach to Allocation of Function in Safety Critical Systems. In Proc. ALLFN’97: Revisiting the Allocation of Functions Issue — New Perspectives: Vol 1, pages 331–343. IEA Press, 1997.
I. MacColl and D. Carrington. Specifying interactive systems in Object-Z and CSP. In Integrated Formal Methods (IFM’99), pages 335–352. Springer, 1999.
Ministry of Defence. Draft Interim Defence Standard 00-58/1: A Guideline for HAZOP Studies on Systems which include a Programmable Electronic System. Directorate of Standardization, 1995.
M. B. Rosson and J. M. Carroll. Extending the Task-Artifact Framework: Scenario-Based Design of Smalltalk Applications. In H. R. Hartson and D. Hix, editors, Advances in human-computer interaction, volume 9, chapter 2, pages 31–57. Norwood, 1993.
J. W. Senders and N. P. Moray, editors. Human Error: Cause, Prediction and Reduction. Lawrence Erlbaum Associates, 1991.
J. M. Spivey. The Z notation: a Reference Manual. Prentice-Hall, 2nd edition, 1992.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hussey, A. (2000). HAZOP Analysis of Formal Models of Safety-Critical Interactive Systems. In: Koornneef, F., van der Meulen, M. (eds) Computer Safety, Reliability and Security. SAFECOMP 2000. Lecture Notes in Computer Science, vol 1943. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-40891-6_32
Download citation
DOI: https://doi.org/10.1007/3-540-40891-6_32
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41186-4
Online ISBN: 978-3-540-40891-8
eBook Packages: Springer Book Archive