Architectural principles for safety-critical real-time applications.

Jaynarayan H. Lala Richard E. Harper

Published in: Proc. IEEE (1994)

Keyphrases

safety critical
real time
fault tolerant
formal methods
safety analysis
agent architecture
nuclear power plant
embedded systems
support systems
regulatory requirements
low cost
databases
cooperative
software engineering
adaptive systems