Nuclear Engineering and Technology

Korean Nuclear Society (한국원자력학회)
권호 표지

Verification of Safety Critical Software

  • Published : 1996.12.01
Download PDF
⟨ Previous Next ⟩

Abstract

To assure quality of safety critical software, software should be developed in accordance with software development procedures and rigorous software verification and validation should be performed. Software verification is the formal act of reviewing, testing or checking, and documenting whether software components comply with the specified requirements for a particular stage of the development phase [1]. New software verification methodology was developed and was applied to the Shutdown System No. 1 and 2(SDS1,2) for Wolsong 2, 3 and 4 nuclear power plants by Korea Atomic Energy Research Institute(KAERI) and Atomic Energy of Canada Limited(AECL) in order to satisfy new regulation requirements of Atomic Energy Control Board(AECB). Software verification methodology applied to SDS1 for Wolsong 2, 3 and 4 project will be described in this paper. Some errors were found by this methodology during the software development for SDS1 and were corrected by software designer. Output from Wolsong 2, 3 and 4 project have demonstrated that the use of this methodology results in a high quality, cost-effective product.

Keywords

References

  1. Quality Assurance Program for the Development of Software Used in Critical Application
  2. Standard for Software Engineering of Safety Critical Software
  3. Software for Computers in Safety Systems of Nuclear Power Station
  4. 00-68000-SWP-012,(Rev. 01) Procedure for the Specification of Software Requirements Using the Integrated Approach
  5. 86-68200-PFS-000,(Rev. 02) SDSI PDC Functional Specification
  6. 86-68250-SRR-001,(Rev. 01) Requirements Review SDSI Programmable Digital Comparators
  7. 00-68000-SWP-013,(Rev. 00) Procedure for Software Design Using the Integrated Approach
  8. 86-68250-SDD-001,(Rev. 01) Software Design Description for SDSI PDC
  9. 86-68250-SRS-001,(Rev.01) Software Requirements Specification for SDSIPDC
  10. 00-68000-SWP-016,(Rev. 00) Procedure for Systematic Code Verification Using the Integrated Approach
  11. 00-68000-SWP-006,(Rev. 00) Procedure for Software Hazards Analysis of Safety Critical Software
  12. 00-68000-SWP-017,(Rev.00) Method for Unit and Subsystem Testing Using the Integrated Approach
  13. 86-68200-DM-007,(Rev. 00) SDSI Part7-PDC Hardware
  14. The Art of Softwate Testing Glenford J. Myers
  15. 00-68000-MAN-007, (Rev. 0) P10 DISASSEMBLER softwate user's and design manual