Quantitative Model-Based Safety Analysis: A Case Study.

Matthias Güdemann Frank Ortmeier

Published in: Sicherheit (2010)

Keyphrases

safety analysis
nuclear power plant
control system
fault model
safety critical
symbolic model checking
information systems
reliability analysis
real time
decision making
knowledge base
dynamic programming
fault tolerant
embedded systems
agent architecture