HAZOP analysis of formal models of safety-critical interactive systems

Hussey, Andrew (2000). HAZOP analysis of formal models of safety-critical interactive systems. In: F. Koornneef and M. van der Meulen, Lecture notes in computer science: 19th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2000). SAFECOMP 2000, Rotterdam, The Netherlands, (371-381). 24-27 October, 2000. doi:10.1007/3-540-40891-6_32


Author Hussey, Andrew
Title of paper HAZOP analysis of formal models of safety-critical interactive systems
Conference name SAFECOMP 2000
Conference location Rotterdam, The Netherlands
Conference dates 24-27 October, 2000
Proceedings title Lecture notes in computer science: 19th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2000)
Journal name Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Place of Publication Berlin
Publisher Springer
Publication Year 2000
Sub-type Fully published paper
DOI 10.1007/3-540-40891-6_32
ISBN 3540411860
ISSN 1611-3349
Editor F. Koornneef
M. van der Meulen
Volume 1943
Start page 371
End page 381
Total pages 11
Language eng
Abstract/Summary 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.
Subjects E1
280104 Computer-Human Interaction
700101 Application packages
Q-Index Code E1

 
Versions
Version Filter Type
Citation counts: Scopus Citation Count Cited 0 times in Scopus Article
Google Scholar Search Google Scholar
Created: Fri, 06 Jun 2008, 23:55:05 EST