Deriving Real-Time Requirements for Software from Safety Analysis.

Janusz Górski Andrzej Wardzinski

Published in: RTS (1996)

Keyphrases

safety analysis
safety critical
real time
control system
nuclear power plant
formal methods
fault tolerant
embedded systems
agent architecture
fault model
symbolic model checking
adaptive systems
software systems
low cost
information systems
support systems
decision makers
dynamic programming