Login / Signup
A general framework for applying safety analysis to safety critical real-time applications using fault trees.
Vassilis C. Gerogiannis
Ioannis Caragiannis
Manthos A. Tsoukarellas
Published in:
RTS (1997)
Keyphrases
</>
safety critical
safety analysis
nuclear power plant
real time
formal methods
fault model
embedded systems
fault tolerant
agent architecture
control system
support systems
adaptive systems
low cost
fault diagnosis
fault detection
decision support system
information systems
reliability analysis
symbolic model checking