본문 바로가기
HOME> 논문 > 논문 검색상세

논문 상세정보

Verification of Safety Critical Software

Son, Ki-Chang   (Korea Atomic Energy Research InstituteCC0186830  ); Chun, Chong-Son   (Korea Atomic Energy Research InstituteCC0186830  ); Lee, Byeong-Joo   (Korea Atomic Energy Research InstituteCC0186830  ); Lee, Soon-Sung   (Korea Atomic Energy Research InstituteCC0186830  ); Lee, Byung-Chai   (Korea Atomic Energy Research InstituteCC0186830  );
  • 초록

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

 저자의 다른 논문

  • 이병채 (1)

    1. 1996 "단일 처리기를 사용한 원자력발전소 SOE 계통의 성능개선에 관한 연구" 에너지공학 = Journal of energy engineering 5 (2): 153~159    

 활용도 분석

  • 상세보기

    amChart 영역
  • 원문보기

    amChart 영역

원문보기

무료다운로드
  • NDSL :
유료다운로드

유료 다운로드의 경우 해당 사이트의 정책에 따라 신규 회원가입, 로그인, 유료 구매 등이 필요할 수 있습니다. 해당 사이트에서 발생하는 귀하의 모든 정보활동은 NDSL의 서비스 정책과 무관합니다.

원문복사신청을 하시면, 일부 해외 인쇄학술지의 경우 외국학술지지원센터(FRIC)에서
무료 원문복사 서비스를 제공합니다.

NDSL에서는 해당 원문을 복사서비스하고 있습니다. 위의 원문복사신청 또는 장바구니 담기를 통하여 원문복사서비스 이용이 가능합니다.

이 논문과 함께 출판된 논문 + 더보기