본문 바로가기

추천 검색어

실시간 인기 검색어

학술논문

원전 안전-필수 소프트웨어의 품질향상을 위한 최적화된 확인 및 검증 방안

이용수 53

영문명
An Optimized V&V Methodology to Improve Quality for Safety-Critical Software of Nuclear Power Plant
발행기관
한국시뮬레이션학회
저자명
구서룡(Seo-Ryong Koo) 유영제(Yeong-Jae Yoo)
간행물 정보
『한국시뮬레이션학회 논문지』제24권 제4호, 1~9쪽, 전체 9쪽
주제분류
공학 > 기타공학
파일형태
PDF
발행일자
2015.12.30
4,000

구매일시로부터 72시간 이내에 다운로드 가능합니다.
이 학술논문 정보는 (주)교보문고와 각 발행기관 사이에 저작물 이용 계약이 체결된 것으로, 교보문고를 통해 제공되고 있습니다.

1:1 문의
논문 표지

국문 초록

원자력 분야에서 안전관련(safety-related) 소프트웨어의 활용이 점차 확대됨에 따라서, 그에 상응하는 소프트웨어 안전과 신뢰도 향상을 위한 방안 연구가 지난 10여년 전부터 활발히 진행되고 있다. 원전 계측제어시스템(MMIS)은 원자력 발전소의 두뇌와 신경망에 해당하는 기능을 수행하고 있고 첨단 디지털 장비들로 구성된다. 따라서 원전 계측제어시스템의 소프트웨어 오류는 원자력 발전소 운전에 지장을 초래할 수 있고, 오동작으로 인한 발전소 정지로 경제적 손실을 초래할 수 있다. 소프트웨어 확인 및 검증(verification and validation, V&V)은 소프트웨어 품질을 향상시킬 수 있는 소프트웨어 공학의 분야로 알려져 있고, 원자력 산업계에서는 소프트웨어 생명주기에 따른 철저한 V&V 활동을 이행하고 준수할 것을 법규로 규정하고 있다. V&V 활동은 소프트웨어 전 생명주기에 따라 분석과 시험 활동들의 조합으로 다른 품질관련 공학 업무를 보완하는 역할을 한다. 본 논문에서는 명세 평가, 요건 추적, 소스코드 리뷰, 및 소프트웨어 시험을 통한 최적화된 안전관련 소프트웨어 V&V 방법론에 기반한 소프트웨어 품질 향상 방안과 단계별로 적합한 도구를 활용하여 효율성을 확보할 수 있는 방안을 제시하고자 한다. 제안된 방법론은 실제 신한울 1,2호기 원자력발전소 MMIS 시스템에 적용되어 입증되었다.

영문 초록

As the use of software is more wider in the safety-critical nuclear fields, so study to improve safety and quality of the software has been actively carried out for more than the past decade. In the nuclear power plant, nuclear man-machine interface systems (MMIS) performs the function of the brain and neural networks of human and consists of fully digitalized equipments. Therefore, errors in the software for nuclear MMIS may occur an abnormal operation of nuclear power plant, can result in economic loss due to the consequential trip of the nuclear power plant. Verification and validation (V&V) is a software-engineering discipline that helps to build quality into software, and the nuclear industry has been defined by laws and regulations to implement and adhere to a through verification and validation activities along the software lifecycle. V&V is a collection of analysis and testing activities across the full lifecycle and complements the efforts of other quality-engineering functions. This study propose a methodology based on V&V activities and related tool-chain to improve quality for software in the nuclear power plant. The optimized methodology consists of a document evaluation, requirement traceability, source code review, and software testing. The proposed methodology has been applied and approved to the real MMIS project for Shin-Hanul units 1&2.

목차

1. 서론
2. 소프트웨어 확인 및 검증 절차
3. 수명주기 단계별 상세 확인 및 검증
4. 결론 및 향후 연구
References

키워드

해당간행물 수록 논문

참고문헌

교보eBook 첫 방문을 환영 합니다!

신규가입 혜택 지급이 완료 되었습니다.

바로 사용 가능한 교보e캐시 1,000원 (유효기간 7일)
지금 바로 교보eBook의 다양한 콘텐츠를 이용해 보세요!

교보e캐시 1,000원
TOP
인용하기
APA

구서룡(Seo-Ryong Koo),유영제(Yeong-Jae Yoo). (2015).원전 안전-필수 소프트웨어의 품질향상을 위한 최적화된 확인 및 검증 방안. 한국시뮬레이션학회 논문지, 24 (4), 1-9

MLA

구서룡(Seo-Ryong Koo),유영제(Yeong-Jae Yoo). "원전 안전-필수 소프트웨어의 품질향상을 위한 최적화된 확인 및 검증 방안." 한국시뮬레이션학회 논문지, 24.4(2015): 1-9

결제완료
e캐시 원 결제 계속 하시겠습니까?
교보 e캐시 간편 결제