Journal of KIISE:Software and Applications (한국정보과학회논문지:소프트웨어및응용)

Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

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

템플릿에 기반한 NuSCR 정형 명세의 소프트웨어 고장 수목 생성 방법

  • 김태호 (한국전자통신연구원) ;
  • 유준범 (한국과학기술원 전자전산학과) ;
  • 차성덕 (한국과학기술원 전자전산학과)
  • Published : 2005.12.01
Download PDF
⟨ Previous Next ⟩

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.

본 논문은 NuSCR 정형 명세 언어로 작성된 소프트웨어 요구 명세로부터 소프트웨어 고장 수목을 생성하는 방법에 대하여 제안하였다 본 연구에서 제안하는 소프트웨어 고장 수목은 소프트웨어의 구조와 동작에 대한 요구 사항을 반영하는 통합된 형태의 고장 수목으로, 안전성에 대한 복합적인 분석이 가능하다. 이러한 소프트웨어 고장 수목을 생성하기 위하여 NuSCR 정형 명세언어의 구성 요소 각각에 대한 템플릿을 정의하고, 이들 템플릿을 사용하여 소프트웨어 고장 수목을 생성하는 방법을 제안하였다. 그리고, 제안된 방법의 유용성을 평가하기 위해 현재 국내 원전계측제어시스템 개발사업단에서 개발 중인 차세대 원자력 시스템 APR1400에 사용될 원자로 보호 시스템의 핵심 트립 논리에 대하여 고장 수목을 생성하고 분석 하였다.

Keywords

References

  1. W. Velseley, F. Goldberg, N. Roberts, and D. Haasl, Fault Tree Handbook, NUREG 042, US Nuclear Regulatory Comission, US, 1981
  2. 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
  3. 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 https://doi.org/10.1016/j.jss.2003.10.018
  4. N. Leveson and P. Harvey, 'Analyzing software safety,' IEEE Transactions on Software Engineering, vol. 9, pp. 569-579, Sept. 1983
  5. 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 https://doi.org/10.1109/52.300036
  6. 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
  7. 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 https://doi.org/10.1109/21.376495
  8. 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 https://doi.org/10.1016/0951-8320(95)00050-C
  9. 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 https://doi.org/10.1016/S0951-8320(98)00002-7
  10. C. Garrett and G. Apostolakis, 'Automated hazard analysis of digital control systems,' Reliability Engineering and System Safety, vol. 77, pp. 1-17, 2002 https://doi.org/10.1016/S0951-8320(02)00007-8
  11. 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 https://doi.org/10.1016/S0951-8320(00)00076-4
  12. 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 https://doi.org/10.1109/DSN.2001.941393
  13. 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 https://doi.org/10.1109/24.814522
  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. 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
  17. E. Yourdon and L. Constantine, Structured design: fundamentals of a discipline of computer program and systems design, Prentice-Hall, 1986
  18. 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 https://doi.org/10.1007/BFb0031995
  19. AECL, Software Work Practices -Procedure for the specification of Software Requirements for Safety Critical Software, Sep. 1991
  20. T. Kim, Property-based Theorem Proving and Template-based Fault Tree Analysis of NuSCR Requirements Specification, Ph.D Dissertation, KAIST, 2005
  21. M. Hsueh, T. Tsai, and R. Iyer, 'Fault injection techniques and tools,' IEEE Computer, vol. 30, pp. 75-82, Apr. 1997 https://doi.org/10.1109/2.585157
  22. 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 https://doi.org/10.1109/FTCS.1991.146625
  23. 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 https://doi.org/10.1109/FTCS.1994.315656
  24. 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
  25. 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 https://doi.org/10.1109/FTCS.1996.534615