Development of Safety-Critical Real-Time Systems.

Hans Rischel Jorge Cuéllar Simon Mørk Anders P. Ravn Isolde Wildgruber

Published in: SOFSEM (1995)

Keyphrases

safety critical
real time systems
embedded systems
real time
nuclear power plant
fault tolerant
formal methods
agent architecture
safety analysis
regulatory requirements
distributed systems
low cost
support systems
case study
software systems
knowledge based systems
expert systems
database systems