Software safety analysis of function block diagrams using fault trees

Reliability Engineering and System Safety

Volumn 88, Issue 3, 2005, Pages 215-228

  Oh, Younju ^a   Yoo, Junbeom ^b   Cha, Sungdeok ^b   Seong Son, Han ^c  

^a LG Electronics Inc   (South Korea)

^b Korea Advanced Institute of Science and Technology (KAIST)   (South Korea)

^c Korea Atomic Energy Research Institute   (South Korea)

Author keywords

Fault tree analysis; Function block diagram; Programmable logic controller; Safety analysis

Indexed keywords

DATA ACQUISITION; EMBEDDED SYSTEMS; FAULT TREE ANALYSIS; FLOWCHARTING; FORMAL LOGIC; FUNCTIONS; PROGRAMMABLE LOGIC CONTROLLERS; TREES (MATHEMATICS);

FUNCTION BLOCK DIAGRAM (EBD); REACTOR PROTECTION SYSTEMS (RPS); SOFTWARE SAFETY ANALYSIS;

COMPUTER SOFTWARE;

EID: 15744367147     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2004.07.019     Document Type: Article

References (21)

1. N. Leveson SAFEWARE: system safety and computers 1995 Addison-Wesley Reading, MA
2. International Electrotechnical Commission. IE International Standard 1131-3, Programmable Controllers, Part 3, Programming Languages; 1993.
3. Mader A. A classification of PLC models and applications. In: Proceedings of WODES 2000: fifth workshop on discrete event systems, Gent, Belgium; August 21-23 2000.
4. KNICS. Korea Nuclear Instrumentation and Control System Research and Development Center. http://www.knices.re.kr/english/eindex.html
5. Maier T. FMEA and FTA to support safe design of embedded software in safety critical systems. In: Proceedings of CRS 12th annual workshop on safety and reliability of software based systems; 1997, p. 351-67.
6. Mauri G. Integrating safety analysis techniques, supporting identification of common cause failures. PhD Theses; 2000.
7. Vesely W, Goldberg F, Roberts N,Hasel D. Fault tree handbook. System and Reliability Research Office of Nuclear Regulatory Research, US Nuclear Regulatory Commission; January 1981.
8. J.D. Andrews, and G. Brennan Application of the Digraph method of fault-tree construction to a complex control configuration Reliab Eng Syst Safety 28 3 1990 357 384
9. Kocza G, Bossche A. Automatic fault-tree synthesis and real-time trimming, based on computer models. In: Proceedings of reliability and maintainability symposium; January 1997, p. 13-6.
10. C. Garret, S. Guarro, and G. Apostolakis The dynamic flowgraph methodology for assessing the dependability of embedded software systems IEEE Trans Syst, Man Cybernetics 25 5 1995 824 840
11. M. Yau, S. Guarro, and G. Apostolakis Demonstration of the dynamic flowgraph methodology using the Titan II space launch vehicle digital flight control system Reliab Eng Syst Safety 49 3 1995 335 353
12. M. Yau, G. Apostolakis, and S. Guarro The use of prime implicants in dependability analysis of software controlled systems Reliab Eng Syst Safety 62 1 1998 23 32
13. C. Garrett, and G. Apostolakis Automated hazard analysis of digital control systems Reliab Eng Syst Safety 77 1 2002 1 17
14. Cha S, Leveson N, Shimeall T. Safety verification in murphy using fault tree analysis. In: Proceedings 10th international conference on software engineering, Singapore; April 1988, p. 377-86.
15. N. Leveson, S. Cha, and T. Shimall Safety verification of Ada programs using software fault trees IEEE Software 8 4 1991 48 59
16. Min SY, Jang YK, Cha S, Kwon YR, Bae DH. Safety verification of Ada95 programs using software fault trees. In: Proceedings of computer safety, reliability and security: 18th international conference, SAFECOMP'99, Toulouse, France; September 1999, p. 226-38.
17. Y. Papadopoulos, J. McDermid, R. Sasse, and G. Heiner Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure Reliab Eng Syst Safety 71 3 2001 229 247
18. PapadopoulosY, Maruhn M. Model-based synthesis of fault trees from Matlab-Simulink models. In: Proceedings of DSN 2001; 2001, p. 77-82.
19. K. Vemuri, J. Dugan, and K. Sullivan Automatic synthesis of fault tees for computer-based systems IEEE Trans Reliab 48 4 1999 394 402
20. Sullivan K, Dugan J, Coppit D. The Galileo fault tree analysis tool. In: Proceedings of the 29th annual international symposium on fault-tolerant computing; June 1999, p. 232-35.
21. Li B, Li M, Ghose S, Smidts C. Integrating software into PRA. In: Proceedings of 14th international symposium on software reliability engineering, ISSRE 2003; November 2003, p. 17-20.