초록 ▼

원전 안전 소프트웨어의 위해도 분석에 대한 규제기관 입장과 기술표준 동향을 정리한 것을 바탕으로 원전 안전 소프트웨어 생명주기별로 적용할 위해도 기법을 도출하였으며, 그에 따른 위해도 분석기법 Coverage 정립과 위해도 분석기법 템플릿을 개발하였다. 원전 디지털 안전계통에 적용되는 안전 소프트웨어 위해도 분석에 기존의 프레임웍에서 설계단계의 FTA를 제거하고, 대신에 계획단계와 소프트웨어 요구사항단계 중간에서 STPA를 수행하도록 하는 새로운 프레임웍을 제안하였다. STPA의 목적이 시스템 개발 초기에 안전한 소프트웨어 요구사항

원전 안전 소프트웨어의 위해도 분석에 대한 규제기관 입장과 기술표준 동향을 정리한 것을 바탕으로 원전 안전 소프트웨어 생명주기별로 적용할 위해도 기법을 도출하였으며, 그에 따른 위해도 분석기법 Coverage 정립과 위해도 분석기법 템플릿을 개발하였다. 원전 디지털 안전계통에 적용되는 안전 소프트웨어 위해도 분석에 기존의 프레임웍에서 설계단계의 FTA를 제거하고, 대신에 계획단계와 소프트웨어 요구사항단계 중간에서 STPA를 수행하도록 하는 새로운 프레임웍을 제안하였다. STPA의 목적이 시스템 개발 초기에 안전한 소프트웨어 요구사항단계를 도출하는 것이기 때문이다. 소프트웨어 확인 및 검증과 위해도 분석만으로 안전보증(Safety assurance)을 달성하는 기존의 프레임웍에 안전진술을 적용한 새로운 프레임웍을 도입하여 소프트웨어 결함이 허용가능한 수준인지 판단하도록 체계적인 평가 기술을 제공하였다. 기 수행한 디지털 원자로보호계통 비교논리/동시논리 프로세서의 검증 문서를 기반으로 안전진술을 적용한다. 시스템이 만족해야할 상위 목표인 주장(Claim), 주장과 증거를 연결하는 논증(Argument)과 확인 및 검증과 위해도 분석 결과는 주장을 뒷받침하는 증거(Evidence)로 하여 안전진술을 적용하여 Adelard 도구를 이용하여 구현하였다. 그리고 안전진술 작성 및 평가 지침을 개발하였다. 최종 결과물은 규제기관에 입력되어 규제자가 현안 사항인 원전 디지털 안전계통 소프트웨어에 대한 정밀 판단 및 인허가에 활용되도록 할 것이다. 사이버물리시스템과 사물인터넷으로 상징되는 지능정보화 사회인 제4차 산업혁명시대를 맞이하여 소프트웨어 안전 현안은 사이버보안과 더불어 더욱 더 크게 부각되고 있다. 가상세계의 안전이 무너지면 현실세계의 안전도 심각한 피해를 입게 되는 것이다. 따라서 이러한 사이버물리시스템의 소프트웨어 안전보증을 위한 기반 기술로 활용이 가능하다.

(출처 : 서지정보양식 190p)

Abstract ▼

Based on the summary of the trends of regulatory body and technical standards for hazard analysis of nuclear safety software, the hazard method to be applied to each period of life cycle of safety software in nuclear power plant was derived, and we developed hazard analysis methodology coverage and

Based on the summary of the trends of regulatory body and technical standards for hazard analysis of nuclear safety software, the hazard method to be applied to each period of life cycle of safety software in nuclear power plant was derived, and we developed hazard analysis methodology coverage and hazard analysis technique template. We have proposed a new framework to remove the design phase FTA from the existing framework and to perform the STPA in the middle of the planning phase and the software requirement phase in the safety software hazard analysis applied to the safety system of nuclear power plant. This is because the purpose of STPA is to derive safe software requirements at the beginning stage of the system development. We have introduced a new framework that applies safety case to existing frameworks to achieve safety assurance with software verification and validation and hazard analysis to provide systematic evaluation techniques to determine if software defects are acceptable. The safety case is applied based on the qualified document of the Digital Reactor Protection System bi-stable logic/coincidence logic processor. The claim, which is a high-level objective that the system should satisfy, the argument that connects the claim and the evidence, and the verification and validation and the result of the hazard analysis are the evidence. Guidelines for the preparation and evaluation of safety case were developed. In the era of the Fourth Industrial Revolution, an intelligent information society symbolized by the cyber physical system and internet of things, software safety issues are becoming more and more important with cyber security. If the safety of the virtual world collapses, the safety of the real world will be seriously damaged. Therefore, it can be utilized as a base technology for software safety assurance of cyber physical system.

(출처 : BIBLIOGRAPHIC INFORMATION SHEET 191p)

목차 Contents

• 표지 ... 1
• 제 출 문 ... 2
• 보고서 요약서 ... 3
• 요 약 문 ... 4
• SUMMARY ... 5
• Contents ... 6
• 목차 ... 7
• 표목차 ... 8
• 그림목차 ... 9
• 제 1장. 연구개발과제의 개요 ... 11
• 1-1. 연구개발 목적 ... 11
• 1-2. 연구개발의 필요성 ... 11
• 1-3. 연구개발 범위 ... 11
• 제 2장. 국내외 기술개발 현황 ... 12
• 제 3장. 연구수행 내용 및 결과 ... 16
• 제 1절 서론 ... 23
• 제 2절 안전 소프트웨어 분석 평가기술 개발 ... 25
• 1. 개요 ... 25
• 2. 안전 소프트웨어 위해도 분석 규제기관 동향 ... 26
• 3. 안전 소프트웨어 위해도 분석 기술표준 동향 ... 42
• 4. 원전 안전 소프트웨어의 위해도 분석 기법 Coverage 정립 ... 47
• 5. 평가 지원 위해도 분석 기법 템플릿 개발 ... 53
• 제 3절 안전 확보 및 주요 속성 평가기술 개발 ... 86
• 1. 안전 확보 조합 평가기술 개발 ... 86
• 2. 안전진술 적용 소프트웨어 도구 ... 93
• 3. 디지털 원자로보호계통 안전진술 적용 및 검토 ... 97
• 4. 취약성 및 신뢰도 평가 방법 개발 ... 118
• 제 4절 개발단계별 적정 위해도 분석 기법 수립 ... 122
• 1. 개발단계별 적용 위해도 분석 기법 ... 122
• 2. 위해도 분석 기법 수립과 새로운 프레임웍 ... 123
• 3. 정량적 위해도 안전 측정자 개발 ... 124
• 제 5절 안전보증 평가 기술 개발 ... 132
• 1. 안전 정당화(Safety justification) ... 132
• 2. 안전진술 작성 및 평가 참고 가이드라인 ... 133
• 3. 종합 안전보증 평가체계 개발 ... 166
• 4. 안전한 코드 평가 방법 및 신뢰성 확보 방안 개발 ... 167
• 제 6절 결론 ... 173
• 제 4장. 목표달성도 및 관련분야 기여도 ... 174
• 4-1. 목표달성도 ... 174
• 4-2. 관련분야 기여도 ... 175
• 제 5장. 연구결과의 활용계획 ... 176
• 제 6장. 연구과정에서 수집한 해외과학기술정보 ... 177
• 제 7장. 연구개발결과의 보안등급 ... 179
• 제 8장. 국가과학기술종합정보시스템에 등록한 연구시설·장비현황 ... 180
• 제 9장. 연구개발과제 수행에 따른 연구실 등의 안전조치 이행실적 ... 181
• 제 10장. 연구개발과제의 대표적 연구실적 ... 182
• 제 11장. 기타사항 ... 183
• 제 12장. 참고문헌 ... 184
• 서지정보양식 ... 190
• BIBLIOGRAPHIC INFORMATION SHEET ... 191
• 끝페이지 ... 192