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.

저자의 다른 논문

참고문헌 (15)

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

이 논문을 인용한 문헌 (0)

1. 이 논문을 인용한 문헌 없음