• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.171-174
• /
• 2000

원자력발전소에서 디지털 컴퓨터의 사용이 증가함에 따라 관련 시스템의 안전성, 신뢰성, 무결성, 가용성, 완전성 등을 충족시키기 위한 방안들이 현안으로 대두되고 있다. 특히 원자력발전소의 신경계통이라 할 수 있는 계측제어 계통의 디지털화로 인하여, 기존의 아날로그 하드웨어의 기능을 향상시킨 소프트웨어가 디지털 시스템에 사용되게 됨으로서, 디지털 시스템에 사용되는 상용 소프트웨어 제품의 신뢰도가 원자력발전소의 안전 및 안정 운영과 직결되므로 상용 소프트웨어에 대한 평가 문제가 중요한 관심사로 대두되었다. 본 논문의 서론에서는 원자력발전소에서 상용 소프트웨어제품을 사용하게 된 배경과 감시 및 제어를 위한 상용 실시간 운영체제를 사용하기 위한 고려사항을 기술하고, 본론에서는 상용 실시간 운영체제 선정시 제공하여야 할 기능에 대한 고려사항과, 상용 소프트웨어 제품 선정에 관한 규제 현황 및 규제 요건에 대한 고려사항을 해결하기 위한 선정 및 평가 절차를 수립하고, 이를 평가에 반영하는 방법과 절차를 제시한다. 결론에서는 원자력발전소 감시제어를 위한 상용 실시간 운영체제 평가시 고려사항의 해결에 대한 문제점과 해결 방안, 그리고 선정 절차 및 평가방안을 적용하는 데 따른 문제점과 해결 방안을 제시한다.

• Journal of the Korea Society for Simulation
• /
• v.3 no.1
• /
• pp.135-150
• /
• 1994

일반 산업체와 화력발전소 계측제어시스템에 널리 사용되고 있는 분산제어시스템(Distributed Control System)을 원자력발전소에 사용하기 위해서는 분산제어시스템의 안전성과 신뢰성의 입증이 선결과제이다. 따라서 새로운 시스템을 시뮬레이션에 의해 구현하고 검증하기 위한 시뮬레이터가 필요하게 되었다. 발전소 전범위 시뮬레이터(full Scope Simulator)를 제작 하기에 앞서 발전소 계통 중에서 소규모계통을 대상으로 부분범위 시뮬레이터(Compact Simulator)를 제작하였다. 개발된 DCS 검증용 시뮬레이터의 시스템은 발전소 제어반을 모의한 소프트 패널, 발전소 프로세스을 모이한 계통 모델링 소프트웨어, 그리고 현재 발전소의 아날로그 제어계통을 대신한 DCS 제어 계통등의 세 개의 계통으로 구성하였다. 개발 제작된 시뮬레이터를 이용하여 원자력 발전소 계측제어시스템에 분산제어시스템 적용을 시뮬레이션을 통햐여 구현하였으며 분산제어시스템의 적용 검증작업은 물론 적용을 위한 설계업부에도 DCS 검증용 시뮬레이터가 효과적으로 사용될 수 있음을 알았다.

• 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 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.379-381
• /
• 2002

소프트웨어 개발 프로젝트에서 소프트웨어 요구사항의 잦은 변경 또는 요구사항 확정의 지연은 소프트웨어의 품질저하, 납기지연, 개발요구자와 개발담당자 간의 의견충돌을 야기한다. 특히 원자력발전소 환경과 같은 mission-critical 영역의 경우에는 발전소 건설자체를 지연시킬 수 있는 심각한 결과를 초래한다. 본 논문에서는 원자력발전소의 감시와 제어를 담당하는 MMIS(Man Machine Interface System) 환경을 동적으로 모의하는 소프트웨어 개발 과정에서 요구사항 변경의 가능성을 최소화시킬 의도로 시도하였던 요구사항 우선순위 설정에 대한 경험과 교훈을 살펴본다. 또한, 요구사항 우선순위를 기반으로 한 소프트웨어 개발 공정 활동을 토의한다

• Journal of KIISE:Software and Applications
• /
• v.31 no.6
• /
• pp.750-759
• /
• 2004

The software of the nuclear power plant digital control system is a safety-critical system where many techniques must be applied to it in order to preserve safety in the whole system. Formal specifications especially allow the system to be clearly and completely specified in the early requirements specification phase therefore making it a trusted method for increasing safety. In this paper, we discuss the NuSCR, which is a qualified formal specification method for specifying nuclear power plant digital control system software requirements. To investigate the application of NuSCR, we introduce the experience of using NuSCR in formally specifying the plant protection system's software requirements, which is presently being developed at KNICS. Case study that shows that the formal specification approach NuSCR is very much qualified and specialized for the nuclear domain is also shown.

• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.305-306
• /
• 2007

본 논문은 차세대 원전 신고리 #3, 4호기 NSSS(Nuclear Steam Supply System) 제어계통의 검증시스템을 개발하기 위한 설계개념에 관한 것이다. 차세대 원전 신고리 #3, 4호기는 KHNP(Korea Hydro & Nuclear Power Co., Ltd.)가 개발한 APR1400(Advanced Power Reactor 1400 [MWe])을 적용하는 최초의 원자력 발전소이다. APR1400은 3세대 원자력발전소로 인정받고 있으며, APR1400 원자력발전소의 안전한 운영을 위하여 I&C(Instrumentation and Control)시스템이 디지털 표준 플랫폼으로 설계되었다[2]. 특히, 차세대 원전 신고리 #3, 4호기의 비안전계통(제어 감시 및 경보계통)은 WEC (Westinghouse Electric Company)의 DCS(Distributed Control System) 상용 단일 플랫폼으로 구성될 예정이다. 우리는 신고리 #3, 4호기의 제어계통 중에서 NSSS(Nuclear Steam Supply System) 제어계통의 검증시스템을 개발하기 위하여 Stimulated Simulator의 방법론을 적용하여 "Simulator"라는 설계 개념을 정립하였다. 현재 원자력발전소 NSSS 제어계통의 DCS Stimulator 개발을 위하여 차세대 원전 신고리 #3, 4호기에 시설될 WEC의 DCS와 Simulation 서버 그리고 I/O 설비를 구축 중에 있으며, 원자력발전소 현장 기기 모델링 소프트웨어와 I/O 설비간의 인터페이스를 위한 동신 소프트웨어도 개발하고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04b
• /
• pp.439-441
• /
• 2004

소프트웨어 시험은 소프트웨어 제품의 고 품질을 보장하기 위한 중요한 요소들 중의 하나이고, 특히 신뢰도가 원자력 발전소외 안전에 직결되는 디지털 기반의 원전 계측제어계통 소프트웨어는 고품질과 고신뢰도를 제공하여야 한다. 그러므로 원자력발전소에 사용되는 소프트웨어는 안전성과 신뢰성을 제공하기 위해 체계적인 시험을 통하여 설계의 정당성을 확인하고, 요건명세서나 설계사양서에 나타난 계통 및 구성요소의 기능과 요건들이 만족하게 실행됨을 확인하여야 한다. 규제기관에서도 소프트웨어의 안정성, 기능의 완전한 수행, 소프트웨어 자체가 계통의 기능을 저하 시키는지와 계통에게 예정되지 않은 기능을 수행하도록 영향을 주는지외 확인 등을 소프트웨어 시험을 통해 확인하도록 요구하고 있다. 이와 같이 원자력발전소에 사용되는 소프트웨어의 시험을 위해서는 보다 엄격하고 명확한 시험 프레임웍을 개발하고 적용키는 것이 필요하다. 본 논문에서는 소프트웨어 시험과 관련된 인허가 규제요건을 분석하고, 이에 따라 현재 설계를 진행중인 SMART MMIS 소프트웨어 시험에 적용될 소프트웨어 개발생명주기 시험활동, 시험 조직, 시험문서, 소프트웨어 등급별 시험방법 등 시험 프레임웍을 제시한다.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2002.05a
• /
• pp.97-101
• /
• 2002

최근 개발되고 있는 원자력발전소용 OTS(Operator Training Simulator) 개발은 설계 및 해석에 사용되었던 여러 가지 코드(시뮬레이션 소프트웨어)를 수정 보완하여 이들을 상호 통합하는 방식으로 수행되는 경향을 보이고 있다. 기존에 개발되었거나 현재 운영중인 대부분의 OTS는 단일의 고성능 컴퓨터 환경에 의존하므로 발전소 설계와 해석에 사용하였던 서로 다른 코드를 상호 통합하여 사용하기에는 어려움이 많았다. 그러나, 최근에는 컴퓨터의 성능과 네트워크 기술이 비약적으로 발전하여 서로 다른 속성을 갖는 시뮬레이션 소프트웨어를 각각 서로 다른 컴퓨터에 적재 실행시키고 네트워크를 통하여 연동시키는 것이 가능해졌다. 본 연구는 원자력발전소 설계와 해석에 사용하고 있는 시뮬레이션 소프트웨어(노심 모사코드, 열 수력 모사코드, 구조물 모사코드), 인간기계연계(Man Machine Interface) 소프트웨어, 각 모사 소프트웨어간의 통신과 실행을 제어하는 강사 소프트웨어를 분산된 컴퓨터 환경에서 실행시키는 OTS를 개발하였다. 본 연구를 수행함에 있어서 서로 속성이 다른 소프트웨어 모듈을 하나로 통합하는 작업이 가장 부담스러웠다. 따라서, 서로 다른 소프트웨어 모듈을 통합하기 위한 요건을 개발초기에 설정하고, 이 요건을 모든 소프트웨어 개발조직이 준수하도록 하였다. 본 논문에서는 OTS를 구성하는 이질적인 소프트웨어 모듈의 기능과 특징, 이들을 통합하기 위한 요건을 설명한다. 또한 각 요건이 OTS 개발공정에서 어떻게 적용되고 사용되었는지를 살펴본다.

• The Transactions of the Korea Information Processing Society
• /
• v.13 no.5
• /
• pp.227-235
• /
• 2024

Since nuclear power plants (NPPs) increasingly employ digital I&C systems, reliability evaluation for NPP software has become crucial for NPP probabilistic risk assessment. Several methods for estimating software reliability have been proposed, but there is no available tool support for those methods. To support NPP software manufacturers, we propose a reliability measurement tool for NPP software. We designed our tool to provide reliability estimation depending on available qualitative and quantitative information that users can offer. We applied the proposed tool to an industrial reactor protection system to evaluate the functionality of this tool. This tool can considerably facilitate the reliability assessment of NPP software.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.147-152
• /
• 1997

C++는 C의 장점을 가지고 있으면서 객체지향적 요소를 포함하고 있어 현재 객체지향적 소프트웨어 개발에 가장 많이 사용되어지는 언어 중에 하나이다. 본 고에서는 원자력 발전소 제어시스템과 같은 안전 시스템 개발에 사용될 언어가 보장해야할 속성에 대하여 정의하고 이러한 속성들을 C++는 어떻게 지원할 수 있는 가에 대하여 기술하였다. 80년 이후에 소개된 객체지향 기술이 계속적으로 발전하고 소프트웨어 개발에 많은 장점을 제공하고 있기 때문에 많은 분야의 소프트웨어 개발에 적용되어지고 있다. 따라서 safety-critical 시스템과 같이 고신뢰성과 안정성이 요구되는 시스템 개발에도 적용되어 진다면 소프트웨어 개발 생산성에 많은 도움이 될 것이다.