• 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

논문 상세정보


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. 이 논문을 인용한 문헌 없음


원문 PDF 다운로드

  • ScienceON :

원문 URL 링크

원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다. (원문복사서비스 안내 바로 가기)

상세조회 0건 원문조회 0건

DOI 인용 스타일