• 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 Korean Nuclear Society Conference
• /
• 1997.05a
• /
• pp.172-177
• /
• 1997

검증 및 확인(V&V)의 속성상 Independent V&V는 반드시 필요 한 것으로 인식되고 실제로 규제 기준이나 여러 표준(Standard)들에서 그 요구사항들이 기술되고 있으나 그 기술 내용이 너무 단순, 추상적인 경우가 많아 구체적인 실현 방법에 있어서는 합의된 해결책이 제시되지 못하고 있는 실정이다. 이러한 문제점들을 해결하기 위해 본 논문에서는 원자력분야는 물론 프로세스와 군사 분야의 표준들과 기타 기술기준 자료들을 조사 분석하고 이를 기반으로 하여 원자력 분야, 특히 계측제어 계통의 Safety-critical 소프트웨어 개발에 따른 안전성과 경제성 문제가 고려되고 기술적, 관리적 측면에서 균형을 갖춘 V&V의 독립성 구현 방안에 대한 가이드를 제시하였다.

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

원자력 산업계에서는 원전 MMIS(Man-Machine Interface System)의 디지털 기술 적용을 위해 많은 노력을 기울이고 있고, 특히 원자력 산업의 특수성인 안전성 확보에 필요한 개발기준과 규제방법 정립에 많은 연구가 수행되고 있다. 또한 디지털 MMIS의 핵심기반기술인 고 신뢰도 소프트웨어 개발 방법론이 확립되지 못하여 소프트웨어 공통모드고장 문제, 정량적인 소프트웨어 신뢰도 보장 문제 등이 현안으로 제기되고 있다. 이와 같이 원전 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.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.477-483
• /
• 1996

원전 디지털컴퓨터기반 계측제어계통에서는 고신뢰도의 소프트웨어 개발 환경 구축이 현안 사항으로 부각되고 있다. CASE(Computer Aided Software Engineering)는 소프트웨어의 생산성과 신뢰성 문제를 해결할 수 있는 소프트웨어 개발 지원 도구이다. 그러나 CASE를 원전에 적용하기 위해서는 먼저 상품화된 많은 CASE 도구 가운데 원전 소프트웨어 개발 특성에 맞는 것을 선정하여야 한다. 따라서 본 논문에서는 원전 소프트웨어의 특성을 고찰하여 평가 기준을 설정하고, IEEE 표준 P1209를 바탕으로 기존의 여러 평가 방법론을 통합한 종합적인 평가 과정을 수행한 후 AHP(Analytic Hierarchy Process) 선정 방법론을 원전 소프트웨어 특성에 가장 적합하게 구체화하여 원전 소프트웨어 개발을 위한 CASE 도구를 선정하는 방법론을 제시하였다.

• Proceedings of the Korean Radioactive Waste Society Conference
• /
• 2016.05a
• /
• pp.369-370
• /
• 2016

• Nuclear industry
• /
• v.20 no.1 s.203
• /
• pp.48-50
• /
• 2000

• Nuclear industry
• /
• v.4 no.1 s.17
• /
• pp.46-47
• /
• 1984

• Nuclear industry
• /
• v.36 no.9
• /
• pp.69-76
• /
• 2016

다른 모든 안전 재난도 그렇지만 원자력 안전 재난은 특히 보다 신속하고 정확한 대응 조치가 필요하다. 이를 위해서는 무엇보다 IT 등 최신의 기술을 잘 활용할 필요가 있다. 미국의 경우 원자력 시설에서 비상 상황이 발생했을 경우 전용 위기 정보 시스템을 통해 상황 보고 등 신속한 대응이 이루어진다. 원자력 안전 재난이 발생했을 경우에 활용할 수 있는 소프트웨어 툴의 이용현황과 전망에 대해 알아본다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 2001.05a
• /
• pp.104.2-104
• /
• 2001