Login / Signup
Automated compositional safety analysis using component fault trees.
Felix Möhrle
Marc Zeller
Kai Höfig
Martin Rothfelder
Peter Liggesmeyer
Published in:
ISSRE Workshops (2015)
Keyphrases
</>
safety analysis
fault model
nuclear power plant
control system
safety critical
fault diagnosis
fault detection
condition monitoring
model based diagnosis
symbolic model checking
neural network
real time
cooperative
software engineering
reliability analysis