HAZOP analysis of formal models of safety-critical interactive systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1943, Issue , 2000, Pages 371-381

  Hussey, Andrew ^a  

^a UNIVERSITY OF QUEENSLAND   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

ERRORS; HAZARDS;

FORMAL MODEL; INDUSTRIAL CASE STUDY; INTERACTIVE SYSTEM; OPERATOR ERROR; SPECIFICATION ANIMATIONS;

FORMAL METHODS;

EID: 84957010431     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-40891-6_32     Document Type: Conference Paper

References (12)

1. 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.
2. 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.
3. B. Fields, M. Harrison, and P. Wright. THEA: Human Error Analysis for Requirements Definition. Technical Report YCS-294, The University of York, 1997.
4. W. Johnston and L. Wildman. The Sum Reference Manual. Software Verification Research Centre TR99-21, The University of Queensland, November 1999.
5. B. Kirwan. Human reliability assessment. In Evaluation of Human Work, chapter 28. Taylor and Francis, 1990.
6. B. Kirwan, editor. A Guide to Practical Human Reliability Assessment. Taylor and Francis, 1994.
7. 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.
8. I. MacColl and D. Carrington. Specifying interactive systems in Object-Z and CSP. In Integrated Formal Methods (IFM’99), pages 335–352. Springer, 1999.
9. 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.
10. 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.
11. J. W. Senders and N. P. Moray, editors. Human Error: Cause, Prediction and Reduction. Lawrence Erlbaum Associates, 1991.
12. J. M. Spivey. The Z notation: a Reference Manual. Prentice-Hall, 2nd edition, 1992.