An Internet based laboratory for control of a safety critical system.

Mariya Ishutkina Eric Feron Marco Casini Antonio Vicino

Published in: SMC (3) (2004)

Keyphrases

safety critical
fault tolerant
formal methods
nuclear power plant
control system
embedded systems
safety analysis
agent architecture
support systems
machine learning
information systems
cooperative
user interaction
software systems