Formal fault tree construction and system safety analysis.
Jianwen XiangKokichi FutatsugiYanxiang HePublished in: IASTED Conf. on Software Engineering (2004)
Keyphrases
- safety analysis
- fault tree
- reliability analysis
- safety critical
- formal methods
- nuclear power plant
- qualitative analysis
- control system
- fault model
- computer aided
- symbolic model checking
- gas turbine
- friendly interface
- failure modes
- fault diagnosis
- qualitative and quantitative analysis
- neural network
- fuzzy relational
- genetic algorithm