• Proceedings of the KIEE Conference
• /
• 2005.07d
• /
• pp.2637-2639
• /
• 2005

본 논문에서는 원자로 제어봉제어계통에서의 제어 소프트웨어의 신뢰성평가 내용을 기술한다. 안전필수 플랜트의 하나인 원전에 사용되는 제어기기는 높은 수준의 신뢰성을 요구하고 있는데 지금까지 하드웨어에 대한 신뢰성은 객관적인 평가 방법이 제시되어 활용되고 있으나 소프트웨어의 타당한 신뢰성 평가는 여전히 난제로 남아 있다. 본 논문에서는 기존의 평가 모델의 하나를 적용하여 원자로 제어봉제어계통의 전력함 소프트웨어를 평가해본다. 그러나 평가방법에서 예측되는 바와 같이 평가결과의 불확실 정도의 크기로 비추어 볼 때 실제 안전필수 산업분야에서의 실적용을 판단하기 위한 객관적인 신뢰성 척도로 사용되기는 여전히 어렵다고 판단된다.

• Journal of the Korea Institute of Military Science and Technology
• /
• v.10 no.1
• /
• pp.55-69
• /
• 2007

The paper provides the approach to apply formal methods to the development and certification criteria of defense safety/security-critical software. RTCA/DO-178B is recognized as a do facto international standard for airworthiness certification but lack of concrete activities and vagueness of verification/certification criteria have been criticized. In the case of MoD Def Stan 00-55, the guidelines based on formal methods are concrete enough and structured for the defense safety-related software. Also Common Criteria Evaluation Assurance Level includes the strict requirements of formal methods for the certification of high-level security software. By analyzing the problems of DO-178B and comparing it with MoD Def Stan 00-55 and Common Criteria, we identity the important issues In safety and security space. And considering the identified issues, we carry out merging of DO-178B and CC EAL7 on the basis of formal methods. Also the actual case studies for formal methods applications are shown with respect to the verification and reuse of software components.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2004.05a
• /
• pp.228-228
• /
• 2004

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.233-238
• /
• 1997

본 논문에서는 Safety-critical 소프트웨어를 위한 V'||'&'||'V 지침서(guideline) 개발 방법론을 제시한다. 즉, 기존의 산업계 표준인 IEEE Std-1012, IEEE Std-1059에서 논의되고 있는 개념을 근간으로 "독립성(independence)", "소프트웨어 안전성 분석(software safety analysis)", "COTS 평가(evaluation) 기준", "다른 보증(assurance) 조직들간의 관련성(relationship)" 등의 필수 안전 항목들을 추가하여 원전 안전성 시스템(NPP safety system)을 위한 V'||'&'||'V 지침서 개발 방법론을 제시하였다 제시된 방법론에는 V'||'&'||'V 지침서의 범위(scope), 승인기준(acceptance criteria) 부분인 지침서 프레임(guideline framework), V'||'&'||'V activities 및 methods 부분인 타스크(task) entrance 및 exit 기준(criteria), 리뷰 및 감사(review and audit), 테스팅 그리고 V'||'&'||'V material의 QA 레코드(records) 및 형상관리, 소프트웨어 검증 및 확인 계획서(Software Verification and Validation Plan : SVVP) 생성 등의 내용을 기술하고, Safety-critical 소프트웨어 V'||'&'||'V 방법론도 함께 제시하였다.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.38 no.8
• /
• pp.813-822
• /
• 2010

Integrated data processing for display of flight critical data and mission critical data was conducted without additional display instruments using glass cockpit design. Based on a pre-designed flight critical system and a mission critical system, this paper shows an optimal design of subsystem integration. The design satisfies safety requirements of flight control systems(FCS) and requires minimized modification of pre-designed systems. By conducting integration test using System Integration laboratory(SIL), it is confirmed that the introduced design approach meets the safety requirements of the MEP system.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2008.02a
• /
• pp.21-24
• /
• 2008

컴퓨터가 대중화 되면서 다양한 소프트웨어에 대한 수요가 증가하게 되었고, 많은 소프트웨어들이 단시간에 개발되어지고 있다. 이런 이유로 많은 소프트웨어들에 대한 취약점들이 생겨나게 되었고, 이를 해결하기 위해서 소프트웨어 벤더들은 패치를 만들고 배포를 하고 있다. 하지만, 다양한 시스템과 소프트웨어를 관리하는 곳에서 일일이 패치를 벤더로부터 받아 대상시스템에 설치하고 관리하기에는 어려움이 많으며, 일괄적이고 통합적인 방법이 필요하다. 이런 문제와 요구를 해결하기 위해 패치관리시스템에 관한 많은 연구들이 진행되어 왔으며 상용제품들도 하나둘씩 개발되고 있다. 하지만, 안타깝게도 많은 패치관련연구들이 안전한 패치관리시스템 설계나 구성에 관해서만 연구되고 진행되어 왔다. 안전한 패치관리시스템을 설계하거나 구성하기 전에 무엇보다도 우선시 되어야 하는 것이 필수적인 패치관리시스템 구성요소들을 정의하는 것이며, 이와 관련된 표준이나 연구가 많이 부족하다. 따라서 본 논문은 패치관리시스템을 구성하기 위한 기본적이면서 필수적인 구성요소들을 고려하고 정의했으며, 이를 바탕으로 기본 패치관리시스템 프레임워크를 설계했다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11a
• /
• pp.85-87
• /
• 2005

프로그래밍 기술과 인터넷 통신의 발달로 인하여 보안성이 검증되지 않은 다양한 프로그램들이 생성되고 쉽게 유포되어 보안 취약성으로 인해 야기되는 다양한 문제의 심각성이 더해가고 있다. 따라서 사용자가 보안상 안전하게 사용할 수 있는 소프트웨어 인증절차가 필수적으로 요구되고 있는데, 이를 해결하기 위해 소프트웨어 안전성 평가에 대한 연구가 진행 중이지만, 기존의 방법들은 특정 영역에 한정적이어서 일반적인 소프트웨어의 보안성 평가(security evaluation) 방법으로써 부적합하다. 뿐만 아니라 기존의 시스템들은 단순 패턴매칭에 기반을 두고 있어 오용탐지가 크고 정확성이 떨어진다는 문제점을 가지고 있다. 따라서 본 논문에서는 이러한 문제점들을 해결하기 위해 악성프로그램 코드의 구조와 흐름을 분석하여 규칙으로 정의하고 그 규칙에 따라 검사 대상 프로그램 코드에서 악성코드와 취약점 흐름을 탐지하는 규칙 기반의 소프트웨어 보안성 검증 시스템 프로토타입을 제안한다. 제안한 검증 시스템의 프로토타입은 악성코드와 소프트웨어 취약성을 동시에 탐지하여 보안성을 평가함으로써 범용적인 소프트웨어 평가에 활용 가능할 것이다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2016.10a
• /
• pp.2-3
• /
• 2016

본 논문은 기능 안전에 대한 관심이 고조되고 있는 전력 전자 응용 분야에서 소프트웨어 FMEA로 안정성 분석을 수행한 사례 연구를 설명한다. 우선, 기존 연구들이 제안한 소프트웨어 FMEA의 방법론을 고찰하여 전력 전자 응용에 적합하게 다시 모델링을 한다. 전력 전자 소프트웨어의 안전 필수 컴포넌트를 선정하여 소프트웨어 FMEA를 수행하고, 본 연구에서 사용한 워크시트를 소개한다. 마지막으로 소프트웨어 FMEA를 전체 소프트웨어로 확대 적용하기 위한 방법을 고찰한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.05a
• /
• pp.289-292
• /
• 2004

원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.

• Journal of the Korea Society for Simulation
• /
• v.24 no.4
• /
• pp.1-9
• /
• 2015

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.