Actuator Based Hazard Analysis for Safety Critical Systems.

Per Johannessen Fredrik Törner Jan Torin

Published in: SAFECOMP (2004)

Keyphrases

safety analysis
safety critical
control system
nuclear power plant
formal methods
fault tolerant
embedded systems
support systems
symbolic model checking
fault model
knowledge representation
intelligent systems
knowledge based systems