Browse > Article

A Synthesis Method of Software Fault Tree from NuSCR Formal Specification using Templates  

Kim, Tae-Ho (한국전자통신연구원)
Yoo, Jun-Beom (한국과학기술원 전자전산학과)
Cha, Sung-Deok (한국과학기술원 전자전산학과)
Publication Information
Journal of KIISE:Software and Applications / v.32, no.12, 2005 , pp. 1178-1191 More about this Journal
Abstract
In this paper, we propose a synthesis method of software fault tree from software requirements specification written in NuSCR formal specification language. The software fault tree, proposed in this paper, reflects requirements on both structure and behavior and it is an integrated form. The software fault tree can be used for analyzing safety in the view of structure and behavior. We propose templates for each components in NuSCR specification language and a synthesis method of software fault tree using the templates. The research was applied into the main trip logic of the reactor protection system of ARP1400, the Korean next generation nuclear reactor system, developed by KNICS. And we evaluate feasibility of our approach through this case study.
Keywords
Software Fault Tree; Fault Tree; Formal Specification; Template; Safety Analysis;
Citations & Related Records
연도 인용수 순위
  • Reference
1 T. Kim, Property-based Theorem Proving and Template-based Fault Tree Analysis of NuSCR Requirements Specification, Ph.D Dissertation, KAIST, 2005
2 H. Ammar, S. Yacoub. and A. Ibrahim, 'A fault model for fault injection analysis of dynamic UML specifications,' in Proceedings of the ISSRE 2001, 2001
3 J. Christmansson and R. Chillarege, 'Generation of an error set that emulates software faults based on field data,' in Proceedings of the Twenty-Sixth International Symposium on Fault-Tolerant Computing, 1996   DOI
4 M. Hsueh, T. Tsai, and R. Iyer, 'Fault injection techniques and tools,' IEEE Computer, vol. 30, pp. 75-82, Apr. 1997   DOI   ScienceOn
5 M. Sullivan and R. Chillarege, 'Software defects and their impact on system availability - A study of field failures in operating systems,' in Proceedings of the 21st International Symposium on Fault-Tolerant Computing, pp. 2-9, 1991   DOI
6 E. Jenn, J. Arlat, M. Rimen, J. Ohlsson, and J. Karlsson, 'Fault injection into VHDL models: The MEFISTO tool,' in Proceedings of the 24th Annual International Symposium on Fault-Tolerant Computing, (Los Alamitos, CA, USA), pp. 66-75, IEEE Computer Society Press, Jun. 1994   DOI
7 E. Yourdon and L. Constantine, Structured design: fundamentals of a discipline of computer program and systems design, Prentice-Hall, 1986
8 T. Henzinger, Z. Manna, and A. Pnueli, 'Timed transition systems,' in Proceedings REX Workshop on Real-Time: Theory in Practice, vol. 600 of Lecture Notes in Computer Science, pp. 226-251, Springer-Verlag, 1992   DOI
9 AECL, Software Work Practices -Procedure for the specification of Software Requirements for Safety Critical Software, Sep. 1991
10 D. Parnas and J. Madey, 'Functional documentation for computer systems engineering,' Tech. Rep. Technical Report CRL No. 273, Telecommunications Research Institute of Ontario, McMaster University, 1991
11 Y. Papadopoulos and M. Marohn, 'Model-based synthesis of fault trees from matlab-simulink models,' in Proceedings of the 2001 International Conference on Dependable Systems and Networks (DSN '01), pp. 77-82, IEEE, Jul. 2001   DOI
12 K. Vemuri, J. Dugan, and S. Sullivan, 'Automatic synthesis of fault trees for computer-based systems,' IEEE Transactions on Reliability, vol. 48, pp. 394-402, Dec. 1999   DOI   ScienceOn
13 C. Garrett and G. Apostolakis, 'Automated hazard analysis of digital control systems,' Reliability Engineering and System Safety, vol. 77, pp. 1-17, 2002   DOI   ScienceOn
14 K. J. Sullivan, J. B. Dugan, and C. Coppit, 'The Galileo fault tree analysis tool,' in Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing, (Madison, Wisconsin), pp. 232-235, Jun. 1999
15 KNICS, 'Knics (korea nuclear instrumentation and control system research and development center),' 2001
16 M. Yau, G. Apostolakis, and S. Guarro, 'The use of prime implicants in dependability analysis of software controlled systems,' Reliability Engineering and System Scifety, vol. 62, pp. 23-32, 1998   DOI   ScienceOn
17 N. Leveson, S. Cha, and T. Shimeall, 'Safety verification of ada programs using software fault trees,' IEEE Software, vol. 8, pp. 48-60, July 1991   DOI   ScienceOn
18 Y. Papadopoulos, J. McDermid, R. Sasse, and G. Heiner, 'Analysis and synthesis of the behaviour of complex programmable electronic systems in conditions of failure,' Reliability Engineering and System Safety, vol. 71, pp. 229-247, 2001   DOI   ScienceOn
19 M. Yau, S. Guarro, and G. Apostolakis, 'Demonstration of the dynamic flowgraph methodology using the titan ii space launch vehicle digital flight control system,' Reliability Engineering and System Safety, vol. 49, pp. 335-353, 1995   DOI   ScienceOn
20 N. Leveson and P. Harvey, 'Analyzing software safety,' IEEE Transactions on Software Engineering, vol. 9, pp. 569-579, Sept. 1983
21 S. Min, Y. Jang, S. Cha, Y. Kwon, and D. Bae, 'Safety verification of ada95 programs using software fault trees,' in Proceeding of SAFECOMP 1999, pp. 226-238, 1999
22 C. Garret, S. Guarro, and G. Apostolakis, 'The dynamic flowgraph methodology for assessing the dependability of embedded software systems,' IEEE Transactions on Systems, Man and Cybernetics, vol. 25, no. 5, pp. 824-840, 1995   DOI   ScienceOn
23 J. Yoo, T. Kim, S. Cha, J. Lee, and H. Son, 'A formal software requirements specification method for digital nuclear plants protection systems,' Journal of Systems and Software, vol. 74, pp. 73-83, 2005   DOI   ScienceOn
24 W. Velseley, F. Goldberg, N. Roberts, and D. Haasl, Fault Tree Handbook, NUREG 042, US Nuclear Regulatory Comission, US, 1981
25 T. Kim, S. Cha, D. Kim, and H. Chung, 'NuSCR-software requirements specification language,' in Proceedings of the 5th Formal Methods Workshop (FMW 2001), June 2001