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

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

원자력 발전소 디지털 계측제어계통 고신뢰도 고소트웨어 검증기술

  • Published : 2001.11.01
Download PDF
⟨ Previous Next ⟩

Abstract

Keywords

References

  1. 94 춘계학술발표회 논문집 원전 계측제어 고신뢰도 소프트웨어 개발 및 확인검증의 기술적 고찰 이장수(외)
  2. IEEE Std 603-1991 IEEE Standard Criteria for Safety Systems for Nuclear Power Generating Stations
  3. Regulatory Guide 1.152, Rev. 1 Criteria for Digital Computers in Sagety Systems of Nuclear Power Plants
  4. IEEE Std 7-4.3.2-1993 IEEE Standard for Digtial Computers in Safety Systems of Nuclear Power Generating Stations
  5. Regulatory Guide 1.153 Criteria of Power, Instrumentation, and Control Portions of Safety Systems.
  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
  8. IEEE Std 1058.1-1987 Srandard for Software Project Management Plans
  9. IEEE Std 828-1983 Srandard for Software Configuration Management Plants
  10. IEEE Std 1042-1987 Guide to Software Configuration Management
  11. IEEE Std 1012-1992 Standard for Software Verification and Validation Plants
  12. IEEE Std 1228-1994 Standard for Software Safety Plants
  13. Regulatory Guide 1.169 Configuration Management Plans for Didital Computer Software Used in Safety Systems of Nuclear Power Plants
  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
  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
  22. IEEE Std 730-1990 IEEE Standard for Software Quality Assurance Plants
  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 Plants
  26. NUREG/CR-5930 High Integrity Software Standards and Guidelines
  27. NUREG-0800 Standards Revies Plan