• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.49 no.6
• /
• pp.473-480
• /
• 2021

In this paper, We analyze and present improvements to problems in software quality through Static Analysis for Open Source, which is widely used as the Flight Controller software for small unmanned aerial vehicle drones. MISRA coding rules, which are widely applied based on software quality, have been selected. Static analysis tools were used by LDRA tools certified international tools used in all industries, including automobiles, railways, nuclear power and healthcare, as well as aviation. We have identified some safety-threatening problems across the quality of the software, such as structure of open source modules, analysis of usage data, compliance with coding rules, and quality indicators (complexity and testability), and have presented improvements.

• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2019.05a
• /
• pp.464-466
• /
• 2019

Controllers used in nuclear power plants require high reliability. A controller including a Field Programmable Gate Array (FPGA) and a Complex Programmable Logic Device (referred to hereinafter as FPGA) has been applied to many Nuclear Power Plants (NPP) in the past, including the APR1400 (Advanced Power Reactor 1400), a Korean digital nuclear power plant. Initially, the FPGA was considered as a general IC (Integrated Circuit) and verified only by device verification and performance testing. In the 1990s, research on FPGA verification began, and until the FPGA became a chip, it was regarded as software and the software Verification and Validation (V&V) using IEEE 1012-2004 was implemented. Currently, IEC 62566, which is a European standard, has been applied for a lot of verification. This method has been evaluated as the most sensible method to date. This is because the method of verifying the characteristics of SoC (System on Chip), which has been a problem in the existing verification method, is sufficiently applied. However, IEC 62566 is a European standard that has not yet been adopted in the United States and maintains the application of IEEE 1012 for FPGA. IEEE 1012-2004 or IEC 62566 is a technical standard. In practice, various methods are applied to meet technical standards. In this paper, we describe the procedure and important points of verification method of Nuclear Safety Class FPGA applying SoC verification method.

• Journal of Digital Convergence
• /
• v.15 no.3
• /
• pp.175-180
• /
• 2017

In accordance with the development of IT industry worldwide, software industry has also grown tremendously, and it is exerting influence on the general society starting from daily life to financial organizations and public institutions. However, various security threats that can inflict serious threat to provided services in proportion to the growing software industry, have also greatly increased. In this thesis, we suggest a smart fuzzing system combined with black box and white box testing that can effectively detectxdistinguish software vulnerability which take up a large portion of the security incidents in application programs.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04a
• /
• pp.586-588
• /
• 2001

원전보호계통(RPS: Reactor Protection System)은 사고 시 치명적 피해를 입을 수 있다는 점에서 안전에 대한 중요도가 가장 높은 Safety 1E class로 분류되며, 이러한 보호계통을 디지털 라이즈 하는데 있어서 높은 신뢰도에 대한 보장이 필요하다. 따라서 본 논문에서는 DPPS(Digital Plant Protection System) 내에서 작동하는 내장형 소프트웨어의 높은 신뢰성을 보장하기 위한 테스팅 방법론을 제시하고자 한다. DPPS에서 작동하는 내장형 소프트웨어를 테스트하기 위한 방법은 크게 두 가지로 나누어진다. 첫 번째 단계는 절차중심의 프로그램에서 객체를 추출하고 이를 이용하여 클래스를 추출하는 제공학의 단계이다. 두 번째 단계는 이러한 클래스들을 이용하여 레벨별 테스팅을 수행하기 위한 테스트 아이템을 추출하고, 추출된 테스트 아이템을 이용하여 테스트 케이스를 선정하는 단계이다. 이렇게 각 레벨별로 선정된 테스트 케이스를 이용하여 단위 테스팅, 통합 테스팅, 시스템 테스팅 이렇게 3단계의 레벨별 테스팅을 수행한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07b
• /
• pp.427-429
• /
• 2005

원자력 발전소의 제어 시스템은 safety-critical 소프트웨어로서 안정성이 중요시되는 시스템이다. 최근 기존의 시스템이 PLC 기반의 디지털 제어장치로 대체되면서 이에 사용되는 소프트웨어의 안정성과 품질을 보장하기 위한 정형검증 기법이 요구되고 있다. 특히 PLC 프로그램의 설계에 사용되는 FBD의 모델체킹을 통한 정형검증에 대한 연구는 미비한 수준이다. VIS 검증기는 위의 요구에 부합하는 도구로서 이를 사용하면 여러 종류의 정형 검증이 가능하다. 본 논문에서는 VIS를 이용한 FBD의 검증을 위해서 FBD를 Verilog로 변환 하는 기법을 제안한다. 제안하는 방법의 효율성을 검증하기 위해서 현재 KNICS 사업단에서 개발중인 APR-1400용 원자로 보호 시스템의 운전정지회로를 예로 사용하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2013.11a
• /
• pp.280-283
• /
• 2013

최근 원자력 발전소, 의료 시스템, 항공 시스템 등과 같이 사람의 생명과 밀접하게 관련되어 있는 소프트웨어로 제어하는 시스템들이 점차 늘어나고 있다. 차량에서 또한 차량 제어 소프트웨어의 오작동으로 인한 잦은 사고로 인하여 운전자와 탑승자의 생명을 위협 받고 있다. 이러한 문제로 인하여 차량시스템 제어 소프트웨어도 안전성 확보를 위한 기술로 차량에 통신 기술을 접목한 차량 통신 기술에 대한 관심이 높아지고 있다. 차량 운전자 뿐 아니라 탑승자의 안전과 밀접하기 때문에 많은 연구가 진행되고 있다. 이러한 많은 연구 중 긴급메시지전송 시스템은 차량 간 통신(V2V)을 통한 운전자의 안전성 확보에 대한 연구다. 본 논문에서는 차량 긴급메시지 전송에 필요한 모듈을 구조적으로 나누고 이를 통하여 긴급메시지 전송시스템 구조의 안전성을 평가한다. 긴급메시지 전송시스템의 안정성을 검증하기 위하여 오토마타 모델링을 통한 시스템 구조를 설계하고 검증을 위해 CTL 논리식 정의, SMV(Symbolic Model Verifier)검증도구를 통한 시스템 안전성 모델 검사를 하였다.

• Journal of the KSME
• /
• v.31 no.3
• /
• pp.244-250
• /
• 1991

본 글에서는 EPFM을 이용한 구조물의 건전성 평가법을 소개하였다. 이러한 방법을 원자력발 전소 NSSS평가에 적용하면 좀 더 정확한 해석결과를 얻을 수 있으며 불필요한 가동중단이나 보수작업을 피할 수 있다. 한편 ASME XI에서 현재 제정중인 EPFM 관련법규도 소개하였는데, 가까운 장래에 결정될 최종안에는 약간의 내용변화가 있으리라 생각된다. 근래에는 건전성평 가를 위한 컴퓨터 소프트웨어가 많이 개발되어 이용되고 있다. 필자들이 아는 바로는 B & W 사에서 개발한 DPFAD, Structural Integrity Associate 사에서 개발한 PC-CRACK, 그리고 LBB 설계용으로 EPRI에서 개발한 FLET등이 있다. 국내에서는 필자들에 의해 개발된 EPIES가 있 는데 자세한 내용은 관련문헌(10,11)을 참고하기 바란다. 본 글에서 소개한 EPEM 평가법은 원 자력 발전소뿐만 아니라 가동온도가 높고 연성재료가 널리 사용되는 화력 발전설비, 석유, 화 학설비 및 제철설비 등에도 공통적으로 적용될 수 있다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1995.10a
• /
• pp.179-184
• /
• 1995

PIPS (Plant Information Processing System)은 발전소 입력신호를 이용하여 운전원에게 체계적인 정보를 제공하여 발전소를 안전하고 효율적으로 운전하도록 지원하는 발전소 감시 및 운전원 지원 시스템이다. UNIX 운영체제 및 workstation 상에 설계된 PIPS는 실시간 처리를 위한 kernel로 RTAP/Plus를 사용하였으며, SL-GMS를 이용하여 GUI (Graphical User Interface)를 개발하였다. 본 논문에서는 계층적 구조를 갖는 데이타베이스 관리 시스템을 이용하여 개발된 PIPS 데이타베이스의 특성 및 구조에 관하여 설명한다. 또한, point name을 이용하여 계층적 구조를 구축하는 소프트웨어를 개발하여 울진 3&4호기 설계 자료로부터 데이타베이스를 구축하였다. 이 시스템은 HP 715/100 workstation과 HP-UX 9.05 운영체제 개발환경에서 개발되었다.

• Proceedings of the KIEE Conference
• /
• 2006.07d
• /
• pp.2007-2008
• /
• 2006

일반적으로 플랜트와 같은 대규모 설비의 공정제어를 실현하기 위해서는 분산제어시스템(DCS: Distributed Control System)을 사용하게 된다. 이 분산제어시스템은 여러 종류의 제어 및 감시 장비가 네트워크를 통하여 연결되고 맡은 기능을 포함하게 된다. 이러한 분산제어시스템을 사용하거나 개발하기 위해서는 계통을 구성하는 하드웨어 및 소프트웨어의 세부 기술특성 및 제원을 평가하는 것이 필요하다. 한국원자력연구소와 두산중공업은 원자력발전소의 공정제어계통에 사용한 상용 분산제어시스템의 기술적 평가항목과 권장되는 성능지표를 개발하였다. 이 논문은 개발된 평가항목과 제원을 분산제어시스템의 구성 요소별로 분리하여 서술한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1997.10a
• /
• pp.265-270
• /
• 1997

차세대원자로(II)에서 개발중인 I&C 계통은 기존 아나로그 신호 체계를 가진 한국 표준형이나 웨스팅하우스형의 원전에 비해, 완전 디지탈화 및 소프트웨어에 의한 제어와 보호 기능 수행, 정보 계통의 클라이언트/서버 개념의 도입등 개선된 성능과 신뢰성을 바탕으로한 운전 지원 향상을 주요한 설계 목표로 추진중에 있다. 정보 흐름의 통로 역할을 수행하는 I&C 분야의 Data Communication Network (DCN)의 성능과 신뢰도는 정보 계통의 전체적인 성능과 신뢰도에 매우 중요하며, 특히 Network Architecture가 핵심 기술로써 개발 중에 있다. 본 논문에서는 차세대 원전의 비안전성 정보 계통에 대해 기술하고, Information Network 의 성능 요건을 설정하였다. 또한 Information Network 설계를 위한 Traffic Load 를 간략히 분석한후, 이 결과로부터 Network Performance 증가를 통한 전송 신뢰도 향상을 위한 Information Network Topology 와 Architecture를 개발하였다.