The Z notation: a reference manual
The Z notation: a reference manual
Specifying Interactive Systems in Object-Z and CSP
IFM '99 Proceedings of the 1st International Conference on Integrated Formal Methods
Security as a safety issue in rail communications
SCS '03 Proceedings of the 8th Australian workshop on Safety critical systems and software - Volume 33
Model-Based Development of Medical Devices
SAFECOMP '09 Proceedings of the 28th International Conference on Computer Safety, Reliability, and Security
Hi-index | 0.01 |
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.