Software safety analysis of function block diagrams using fault trees.

Younju Oh Junbeom Yoo Sung Deok Cha Han Seong Son

Published in: Reliab. Eng. Syst. Saf. (2005)

Keyphrases

safety analysis
fault model
nuclear power plant
safety critical
control system
symbolic model checking
embedded systems
formal methods
software development
fault tolerant
software systems
neural network
model based diagnosis
condition monitoring
fault diagnosis
data structure
decision making