Controlled experiments comparing fault-tree-based safety analysis techniques.

Adrien Mouaffo Tiadjio Davide Taibi Kavyashree Jamboti

Published in: EASE (2014)

Keyphrases

safety analysis
fault model
nuclear power plant
safety critical
symbolic model checking
control system
fault detection
model based diagnosis
fault diagnosis
condition monitoring
monitoring system
model checking
formal methods
formal verification