• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.317-322
• /
• 1997

앞으로 건설되는 원전의 계측제어계통은 디지털 기술로 설계될 전망이다. 그러나 디지털 기술을 원전 계측제어계통에 적용하는데 있어서 디지털 기술이 원전의 안전성이나 신뢰도에 영향을 미치지 않는다는 사실을 보증하여야 하며, 디지털계통의 기능과 성능에 대한 확인/검증은 원전에 설치되기 전에 수행되어야 한다. 계측제어 시험검증설비의 목적은 새롭게 개발되는 디지털 제어 및 보호 알고리즘, 경보축약 알고리즘 또는 운전지원계통등의 성능을 검증하기 위함이다. 시험검증설비의 소프트웨어는 웨스팅하우스형 993 MWe 가압경수로를 모델링한 수학적 모델링과 시험검증설비를 운용하기 위하여 필요한 종합운용프로그램으로 구성된다. 하드웨어는 공학용 워크스테이션, 시험용 패널, 개발되는 계통과의 인터페이스를 위한 VXI 인터페이스 모듈, 그리고 공유메모리의 값을 시험대상 시작품으로 전송하는 Ethernet 모듈 등으로 구성된다. 사용자 인터페이스로 할덴 원자로 프로젝트에서 개발된 Picasso 그래픽 도구를 이용한 화면과 60개의 주요변수의 값을 CRT에 표시하는 기능을 제공한다. 계측제어 시험검증설비를 응용한 계측제어계통 시작품은 정상운전 및 과도상태에서 적절한 시험결과를 제공하였다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.386-392
• /
• 1996

기존의 아날로그로 구성된 제어봉구동장치 제어계통을 디지탈로 설계개선하기 위한 선행 작업의 일환으로 제어봉구동장치의 출력 신호를 모사하기 위한 제어봉구동장치 시뮬레이터가 개발 되었다. 개발된 시뮬레이터는 제어봉구동장치의 인출 및 삽입시에 마그네틱 코일로부터 검출되는 전류파형을 모사 할뿐만 아니라 제어봉구동장치가 비정상적으로 움직이는 기계적인 이상 상태를 모사 할 수 있도록 모델링 하였다. 시뮬레이터의 성능 검증을 위하여 영광 3,4호기 현장에서 수집한 제어봉구동장치 출력 신호 와 비교해 본 결과 제어봉구동장치의 거동을 잘 모사 함을 알 수 있었다. 이 시뮬레이터는 디지탈 제어봉구동장치 제어계통 개발시에 소프트웨어의 기능을 검증할 수 있고, 제어봉구동장치 제어계통을 설계개선할 경우 설계 도구로 사용할 수 있다.

• KIISE Transactions on Computing Practices
• /
• v.23 no.6
• /
• pp.335-342
• /
• 2017

In the verification and validation procedures regarding the safety-critical software of nuclear power plants for the attainment of the requisite license from the regulatory body, it is difficult to judge the safety and dependability of the development, implementation, and validation activities through a simple reading and review of the documentation. Therefore, these activities, especially safety assurance activities, require systematic evaluation techniques to determine that software faults are acceptable level. In this study, a safety case methodology is applied in an assessment of the level and depth of the results of the development and validation of a manufacturer in its targeting of the bistable processor of a digital reactor protection system, and the evaluation results are analyzed. This study confirms the possibility of an effective supplementation of the existing safety demonstration method through the application of the employed safety case methodology.

• Journal of KIISE:Computing Practices and Letters
• /
• v.8 no.1
• /
• pp.46-61
• /
• 2002

Among the many phases involved in software development, requirements analysis phase in generally considered to play a crucial role in determining the overall software quality. Therefore, many software development companies manages the phase as one of the important phase. Especially, safety assurance through requirements analysis for safety-critical systems is quite demanding, and national and international bodies routinely require safety demonstration. Among various approaches, inspection and formal methods are generally shown to be effective. In this paper, we propose a formal verification procedure for SCR(Software Cost Reduction)-style SRS(Software Requirements Specification) using the PVS specification and verification procedure and applied this procedure to an industrial system such that a shutdown system for Wolsung nuclear power plant. This system had been verified through inspection not formal verification. The application of formal methods is rare in Korea, so it is very important to experiment about formal verification to industrial systems.

• Nuclear Engineering and Technology
• /
• v.26 no.4
• /
• pp.502-506
• /
• 1994

The design of safety computer system is described along with the case of software design and testing in the Core Protection Calculator System (CPCS). The application of computer system in safety system requires not only hardware qualification but thorough testing on software to verify its correctness and completeness. The testing on software for CPCS is performed by comparing the outputs of two versions of code. One is implemented in assembly language and the other is in Fortran. The testing is performed in sequencial and overlapping manner. Phase I test verifies that each software module is implemented correctly by executing every branch. Phase II test verifies that the integrated software is complete, meeting its requirements specification and also the integrated system meet its requirement and timing constraints. Through these testing, the Yonggwang Nuclear Power Plant Units (YGN) 3 and 4 CPCS software is verified to be correct and complete, and the integrated system is designed as in its requirements specification.

• Journal of the Korean Society for Nondestructive Testing
• /
• v.30 no.4
• /
• pp.317-323
• /
• 2010

The manual ultrasonic examination for the nuclear power plant piping welds has been demonstrated by using KPD(Korean Performance Demonstration) generic procedure. For automated ultrasonic examination, there is no generic procedure and it should be qualified by using applicable automated equipment. Until now, most of qualified procedures used pulse-echo technique and there is no qualified procedure using phased array technique. In this study, data acquisition and analysis software were developed and phased-array transducer and wedge were designed to implement phased array technique for nuclear power plant in-service inspection. The developed procedure are qualified for performance demonstration for the flaw detection, length sizing and depth sizing. The qualified procedure will be applied for the field examination in the nuclear power plant piping weld inspection.

• Proceedings of the IEEK Conference
• /
• 2003.07c
• /
• pp.2601-2604
• /
• 2003

원전 안전계통에 적용될 PLC는 엄격한 내진, 전자파, 내환경 시험기준을 만족해야 하며, 원전 안전등급에 부합되는 안전성 및 신뢰성을 만족해야 한다. 전 세계에서 안전계통에 적용될 PLC는 Siemens 의 Teleperm XS, Invensys 의 Triconex, WestingHouse 의 AC-160 이 있으며, 국내에서는 원전 안전계통 개발시 전적으로 이들 PLC 수입에 의존하고 있다. 현재 한국원자력연구소와 국내 PLC 제조회사간에 공동과제를 통해 안전등급 PLC 개발을 수행하고 있으며, 본 논문에서는 개발될 PLC 의 설계기준과 개발된 하드웨어 및 소프트웨어 사양 등 개발현황에 대해 기술한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.04c
• /
• pp.34-36
• /
• 2003

원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통할 설계에 유리한 언어를 제시한다. 그리고 그 언어의 특징을 보일 수 있는 프로토콜 예제를 제시하고 기존의 잘 알려진 언어와 비교 분석함으로 실시간 명세 능력을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.268-270
• /
• 2003

원자력 발전소 안전계통이나 의료 시스템과 같은 실시간 내장형 시스템의 설계는 그 안전성을 분석하기 위한 정형 명세가 요구된다. 이러한 실시간 내장형 시스템이 명세를 위해 본 논문에서는 Statecharts를 확장하여 시간적 명세 및 분석에 용이하고 하드웨어/소프트웨어 통합 설계에 유리한 언어를 제시한다. 그리고 그 언어의 의미론을 기술하고, SyncCharts라는 정형명세 언어로 그 행위의 의미론을 부여한다. 이렇게 하여 기존의 Statecharts를 실시간 내장형 시스템에 적합하도록 수정하고 그 의미론을 부여한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2020.05a
• /
• pp.258-259
• /
• 2020

한국인터넷진흥원에서는 2020년 사이버 공격에 대한 7대 전망을 일상 속 보안 취약점, 공공기관·기업 대상 랜섬웨어, 가상동화 거래소를 통한 해킹 사고, 문자 메시지·이메일을 통한 악성코드 감염, 지능형 표적 공격, 소프트웨어 공급망 공격, 융합 서비스 보안 위협으로 제시하였다. 이에 본 논문에서는 신규 사이버위협에 대한 동향 분석을 통하여 기관의 정보보안을 위해 대응할 수 있는 방안에 대해 살펴보고자 한다.