A Highly Dependable Computing Architecture for Safety-Critical Control Applications.

Bernd J. Krämer Norbert Völker

Published in: Real Time Syst. (1997)

Keyphrases

safety critical
fault tolerant
formal methods
nuclear power plant
safety analysis
real time
embedded systems
agent architecture
control system
regulatory requirements
management system
support systems
distributed systems
software systems