서지주요정보
Safety case of digital protection systems focusing on safety-critical software failures in NPP = 안전 소프트웨어의 오류 평가를 중심으로 한 원전 디지털 계통 안전 케이스 개발
서명 / 저자 Safety case of digital protection systems focusing on safety-critical software failures in NPP = 안전 소프트웨어의 오류 평가를 중심으로 한 원전 디지털 계통 안전 케이스 개발 / Hee Eun Kim.
발행사항 [대전 : 한국과학기술원, 2018].
Online Access 원문보기 원문인쇄

소장정보

등록번호

8032772

소장위치/청구기호

학술문화관(문화관) 보존서고

DNQE 18015

휴대폰 전송

도서상태

이용가능

대출가능

반납예정일

리뷰정보

초록정보

Nuclear power plants has safety functions to prevent the release of radioactive materials to manage accidents. The safety functions consist of various components, which are monitored and controlled by the instrumentation and control (I&C) system. Analog-based I&C systems are being replaced by microprocessor-based digital systems, so the risks of digital systems that may emerge need to be analyzed and integrated into existing probabilistic safety analysis. In this study, the safety case focusing on the failure of software is developed. The causes of software failure are categorized into three types and the safety case is developed for each type. The result of the proposed test method can be utilized as the evidence of each safety case.

원전은 사고 시 방사성 물질의 유출을 막기 위한 안전 기능을 포함하고 있다. 안전 장치는 다양한 부품이나 장비들로 이루어져 있으며, 이는 계측 및 제어 계통에 의해 감시 및 제어된다. 계측 및 제어 계통은 마이크로 프로세서 기반의 디지털 시스템으로 교체되고 있으며, 이에 따라 나타날 수 있는 디지털 시스템의 리스크를 분석하여 기존의 확률론적 안전성 분석에 통합해야 한다. 본 학위 논문에서는 디지털 시스템이 가지는 고유한 특징 중 하나인 소프트웨어의 고장을 중심으로 안전 케이스를 개발하고자 한다. 여기에서는 소프트웨어의 고장 원인을 세 가지 유형으로 나누어 각 유형에 대한 안전 케이스를 개발하였다. 제시된 방법에 대한 시험을 통해 각 유형별 안전 케이스의 증거를 제공할 수 있다.

서지기타정보

서지기타정보
청구기호 {DNQE 18015
형태사항 vi, 107 p. : 삽도 ; 30 cm
언어 영어
일반주기 저자명의 한글표기 : 김희은
지도교수의 영문표기 : Hyun Gook Kang
지도교수의 한글표기 : 강현국
수록잡지명 : "Systematic development of scenarios caused by cyber-attack-induced human errors in nuclear power plants". Reliability Engineering and System Safety, v. 167, pp 290-301(2017)
수록잡지명 : "Input-Domain Software Testing for Failure Probability Estimation of Safety-Critical Applications in Consideration of Past Input Sequence". IEEE access, v. 6, pp.8440-8451(2018)
학위논문 학위논문(박사) - 한국과학기술원 : 원자력및양자공학과,
서지주기 References : p. 101-105
주제 safety case
software failure
probabilistic safety assessment
안전 케이스
소프트웨어 고장
확률론적 안전성 평가
QR CODE qr code