Lessons Learned from Model-Based Safety Assessment with SysML and Component Fault Trees.
Arne NordmannPeter MunkPublished in: MoDELS (2018)
Keyphrases
- lessons learned
- safety analysis
- fault model
- nuclear power plant
- case study
- future directions
- safety critical
- fault detection
- decision trees
- formal methods
- fault diagnosis
- participatory design
- normal operation
- condition monitoring
- modeling language
- software components
- design science
- tree models
- fault tolerant
- control system
- neural network