DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Kang, Hyun Gook | - |
dc.contributor.advisor | 강현국 | - |
dc.contributor.author | Kim, Hee Eun | - |
dc.date.accessioned | 2019-08-25T02:42:19Z | - |
dc.date.available | 2019-08-25T02:42:19Z | - |
dc.date.issued | 2018 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=828274&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/265036 | - |
dc.description | 학위논문(박사) - 한국과학기술원 : 원자력및양자공학과, 2018.8,[vi, 107 p. :] | - |
dc.description.abstract | 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. | - |
dc.language | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | safety case▼asoftware failure▼aprobabilistic safety assessment | - |
dc.subject | 안전 케이스▼a소프트웨어 고장▼a확률론적 안전성 평가 | - |
dc.title | Safety case of digital protection systems focusing on safety-critical software failures in NPP | - |
dc.title.alternative | 안전 소프트웨어의 오류 평가를 중심으로 한 원전 디지털 계통 안전 케이스 개발 | - |
dc.type | Thesis(Ph.D) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :원자력및양자공학과, | - |
dc.contributor.alternativeauthor | 김희은 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.