Security Assessments of Safety Critical Systems Using HAZOPs.

Rune Winther Ole-Arnt Johnsen Bjørn Axel Gran

Published in: SAFECOMP (2001)

Keyphrases

safety critical
formal methods
safety analysis
fault tolerant
embedded systems
support systems
agent architecture
real time
nuclear power plant
distributed systems
ubiquitous computing
information systems
management system
decision support system
regulatory requirements