Software Hazard and Safety Analysis.

John Alexander McDermid

Published in: FTRTFT (2002)

Keyphrases

safety analysis
safety critical
nuclear power plant
control system
fault model
symbolic model checking
formal methods
user interface
fault tolerant
agent architecture
software development
embedded systems
reliability analysis
real time
support systems
formal verification