Runtime safety analysis for safe reconfiguration.

Claudia Priesterjahn Christian Heinzemann Wilhelm Schäfer Matthias Tichy

Published in: INDIN (2012)

Keyphrases

safety analysis
safety critical
nuclear power plant
control system
symbolic model checking
fault model
real time
formal methods
partial observability
software engineering
fault tolerant
agent architecture
support systems