Analyzing Safety-Critical Systems Using Extended Fault Trees.

Kerstin Buchacker

Published in: ARCS Workshops (1999)

Keyphrases

safety critical
nuclear power plant
formal methods
safety analysis
embedded systems
agent architecture
fault tolerant
support systems
adaptive systems
distributed systems
fault diagnosis
expert systems
low cost
real time
decision making