Communications of the Korean Institute of Information Scientists and Engineers (정보과학회지)

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

원자력 임베디드 소프트웨어 시험검증 전략 및 사례

  • Published : 2014.04.16
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. 이장수외, "원전 계측제어 고신뢰도 소프트웨어 확인/검증의 기술현황", 원자력학회 논문지, Vol. 26, No. 4, pp.600-610, December 1994.
  2. IEEE Std 603-1991, IEEE Standard Criteria for Safety Systems for Nuclear Power Generating Stations.
  3. Regulatory Guide 1.152, "Criteria for Digital Computers in Safety Systems of Nuclear Power Plants," Rev. 1, U.S. Nuclear Regulatory Commission, January 1996.
  4. IEEE Std 7-4.3.2-1993, "IEEE Standard for Digital Computers in Safety Systems of Nuclear Power Generating Stations."
  5. Regulatory Guide 1.153, "Criteria for Power, Instrumentation, and Control Portions of Safety Systems," Rev. 1, U.S. Nuclear Regulatory Commission, 1996.
  6. IEEE Std 379-2000, "IEEE Std. Application of the Single-Failure Criterion to Nuclear Power Generating Station Safety Systems."
  7. Regulatory Guide 1.168, "Verification, Validation, Reviews and Audits for Digital Computer Software Used in Safety Systems of Nuclear Power Plants," U.S. Nuclear Regulatory Commission, 1997.
  8. IEEE Std 1058.1-1987, "Standard for Software Project Management Plans."
  9. IEEE Std 828-1983, "Standard for Software Configuration Management Plans."
  10. IEEE Std 1042-1987, "Guide to Software Configuration Management."
  11. IEEE Std 1012-1992, "Standard for Software Verification and Validation Plans."
  12. IEEE Std 1228-1994, "Standard for Software Safety Plans."
  13. Regulatory Guide 1.169, "Configuration Management Plans for Digital Computer Software Used in Safety Systems of Nuclear Power Plants," U.S. Nuclear Regulatory Commission, 1997.
  14. IEEE Std 830-1984, "Guide for Software Requirements Specifications."
  15. IEEE Std 1016-1987, "Recommended Practice for Software Design Descriptions."
  16. IEEE Std 1016.1-1993, "Guide to Software Design Descriptions. "
  17. Regulatory Guide 1.172, "Software Requirements Specifications for Digital Computer Software Used in Safety Systems of Nuclear Power Plants," U.S. Nuclear Regulatory Commission, 1997.
  18. IEEE Std 829-1983, "Standard for Software Test Documentation."
  19. IEEE Std 1008-1987, "Standard for Software Unit Testing."
  20. IEEE Std 1059-1993, "IEEE Guide for Software Verification and Validation."
  21. Regulatory Guide 1.171, "Software Unit Testing for Digital Computer Software Used in Safety Systems of Nuclear Power Plants," U.S. Nuclear Regulatory Commission, 1997.
  22. IEEE Std 730-1990, "IEEE Standard for Software Quality Assurance Plans."
  23. IEEE Std 1074-1995, "IEEE Standard for Developing Software Life Cycle Processes."
  24. IEEE Std 1028-1988, "Standard for Software Reviews and Audits."
  25. IEEE Std 730.1-1989, "Standard for Software Quality Assurance Plans."
  26. NUREG-0800, "Standard Review Plan," U.S. Nuclear Regulatory Commission, June 1997.