Resolving Safety-Critical Incidents in a Rally Control Center.

Mikael Wahlström Antti Salovaara Leena Salo Antti Oulasvirta

Published in: Hum. Comput. Interact. (2011)

Keyphrases

safety critical
control center
fault tolerant
formal methods
control system
nuclear power plant
agent architecture
support systems
embedded systems
safety analysis
adaptive systems
regulatory requirements
working environment
model checking
anomaly detection
data warehouse
detect anomalies
decision making