Proceedings of the Korea Information Processing Society Conference (한국정보처리학회:학술대회논문집)

  • 2013.05a
  • /
  • Pages.932-933
  • /
  • 2013
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지
DOI QR코드

DOI QR Code

Lesson learned: Target-based independent S/W verification and validation for CEDMCS

교훈: 목표지향 제어봉제어계통 독립 소프트웨어 확인 및 검증

  • Lee, jayoung (Nuclear Engineering, Korea Reliability Technology and System (KoRTS)) ;
  • Sohn, kwangyoung (Nuclear Engineering, Korea Reliability Technology and System (KoRTS)) ;
  • Lee, sangseok (Nuclear Engineering, Korea Reliability Technology and System (KoRTS)) ;
  • Lee, junku (MMIS, Korea Atomic Energy Research Institute (KAERI)) ;
  • Park, geunok (MMIS, Korea Atomic Energy Research Institute (KAERI))
  • 이자영 ((주)한국신뢰성기술 원자력엔지니어링) ;
  • 손광영 ((주)한국신뢰성기술 원자력엔지니어링) ;
  • 이상석 ((주)한국신뢰성기술 원자력엔지니어링) ;
  • 이준구 (한국원자력연구원 MMIS) ;
  • 박근옥 (한국원자력연구원 MMIS)
  • Published : 2013.05.10
Download PDF
⟨ Previous Next ⟩

Abstract

단순 부품부터 계통까지 기존의 아날로그 제품들이 최근 들어 펌 웨어(Firmware)와 고수준의 컴퓨터 언어로 구현된 응용 소프트웨어를 포함하는 디지털 설비로 바뀌고 있다. 따라서 어느 때 보다 소프트웨어의 확인 및 검증의 중요성이 대두되고 있으며, 이를 위해 학계뿐만 아니라 국제표준 기관에서 확인 및 검증을 위한 지침을 제시하고 있는 실정이다. 본 논문은 원자력발전소 출력을 제어하는 제어봉제어계통의 업그레이드와 관련하여 IEEE 1012 에 따라 수행된 독립 확인 및 검증 업무를 요약하고, 이를 통해 얻은 교훈을 기술한다.

Keywords