• Title/Summary/Keyword: 원자력 소프트웨어

Search Result 175, Processing Time 0.029 seconds

The Introduction to the Technical Standard and System Requirement Evaluation Items for the PLC-based Nuclear Power Plant Protection System (PLC 기반의 원자력발전소 보호계통을 위한 기술기준 및 계통요건 평가 항목 소개)

  • Sur, Jung-Surk;Yoon, Sang-Pil;Byun, Hyung-Hyun;Lee, Sung-Jin;Shin, Jae-Hwal
    • Proceedings of the KIEE Conference
    • /
    • 2006.07d
    • /
    • pp.1761-1762
    • /
    • 2006
  • 지금까지 원전 계측제어계통은 안전을 위한 보수적인 설계기준을 적용하여 아날로그 기기를 사용하여 설계되었다. 그러나 최근에는 아날로그 기기의 생산 중단으로 기기 및 장비의 예비품 조달에 어려움을 겪게 되었고, 점차 복잡하면서도 편리한 기능에 대한 사용자 요구로 인해 디지털 기기의 사용이 확대되고 있는 추세이다. 프로그램 가능한 논리제어기 (Programmable Logic Controller:PLC)는 기존의 산업체에서 널리 사용되고 있지만, 높은 수준의 안전성 기준 때문에 일부 극소수의 PLC만이 원자력에 적용되고 있는 실정이다. 최근 국내에서도 원전 안전등급의 보호, 제어 및 감시계통에 디지털 기기의 적용을 위해 많은 노력을 하고 있다. 원전 계측제어계통의 디지털화는 부품 단종 및 설비 노후화 문제 등을 해결할 수 있는 장점이 있는 반면에 디지털화로 인한 새로운 안전 현안이 제기될 수 있다. PLC를 기반으로 하는 원전 계측제어계통은 안전등급의 보호, 제어 및 감시 기능을 수행하게 되므로, 고신뢰도 소프트웨어 적용등의 안전계통 개발에서 요구하는 요건을 만족해야 한다. 따라서 상용 또는 신규 개발되는 PLC를 사용하여 발전소보호계통을 구현할 경우에 적용 가능한 기술기준 및 계통요건이 필요하다. 본 논문에서는 발전소보호계통에 적용하기 위한 PLC 평가 항목을 개발하고, 각 부분별 평가 항목에 대해 소개한다.

  • PDF

Development of Secure Entrance System using AOP and Design Pattern (관점지향 소프트웨어 개발 방법론과 디자인 패턴을 적용한 출입 보안 시스템 개발)

  • Kim, Tae-Ho;Cheon, Hyeon-Jae;Lee, Hong-Chul
    • Journal of the Korea Academia-Industrial cooperation Society
    • /
    • v.11 no.3
    • /
    • pp.943-950
    • /
    • 2010
  • A secure entrance system is complicated because it should have various functions like monitoring, logging, tracing, authentication, authorization, staff locating, managing staff enter-and-leave, and gate control. In this paper, we built and applied a secure entrance system for a domestic nuclear plant using Aspect Oriented Programming(AOP) and design pattern. Using AOP has an advantage of clearly distinguishing the role for each functional module because building a system separated independently from the system's business logic and security logic is possible. It can manage system alternation flexibility by frequent change of external environment, building a more flexible system based on increased code reuse, efficient functioning is possible which is an original advantage of AOP. Using design pattern enables to design by structuring the complicated problems that arise in general software development. Therefore, the safety of the system can also be guaranteed.

Hazard Analysis Process Based on STPA Using SysML (SysML을 이용한 STPA 기반의 위험원 분석 프로세스)

  • Choi, Na-yeon;Lee, Byong-gul
    • Journal of Internet Computing and Services
    • /
    • v.20 no.3
    • /
    • pp.1-11
    • /
    • 2019
  • Today's software systems are becoming larger and more complicated, and the risk of accidents and failures have also grown larger. Software failures and accidents in industrial fields such as automobiles, nuclear power plants, railroad industries, etc. may lead to severe damage of property and human life. The safety-related international standards, such as IEC 61508 have been established and applied to industries for decades. The safety life cycle specified in the standards emphasize the activities to develop safety requirements through hazard and risk analysis in the early stage of software development. In this paper, we propose 'Hazard Analysis Process based on STPA using SysML' in order to ensure the safety of software at the early stage of software development. The proposed hazard analysis can be effectively performed minimizing the loss of hazard by using the BDD and the IBD of SysML to define the control structure of a system. The proposed method also improves the specification of the safety constraints(requirement) by using SD. As a result, it is possible to identify the hazard without missing and identify the hazard scenarios in detail, and safety can be sufficiently ensured in the early stage of software development.

A Quantitative Reliability Analysis of FPGA-based Controller for applying to Nuclear Instrumentation and Control System (원전적용을 위한 FPGA 기반 제어기의 정량적 신뢰도 평가)

  • Lee, Joon-Ku;Jeong, Kwang-Il;Park, Geun-Ok;Sohn, Kwang-Young
    • The Journal of the Korea institute of electronic communication sciences
    • /
    • v.9 no.10
    • /
    • pp.1117-1123
    • /
    • 2014
  • Nuclear industries have faced unfavorable circumstances such as an obsolescence of the instrumentation and control system, and therefore nuclear society is striving to resolve this trouble fundamentally. FPGAs are currently highlighted as an alternative means for obsolete control systems. Because of the obsolescence-unaffected characteristics, FPGA should be highly reliable in order to be a replacement for PLC (Programmable Logic Controller). Therefore, it is necessary to establish a software development aspect strategy that enhances the reliability of an FPGA-based controller. The reliability analysis including the MTBF (Mean Time Between Failures) is carried out based on the MIL-HDBK-217F. MTBFs are compared with the FPGA-based controller COMMON-Q PLC. As an analysis result, it shows that the reliability of the FPGA-based controller is better than or equal to that of PLC.

A Study on the Retrofit of SOE System Using Single Processor on Nuclear Power Plant (단일 처리기를 사용한 원자력발전소 SOE 계통의 성능개선에 관한 연구)

  • Lee, Byoung-Chae;Suh, Young;Moon, Chae-Joo
    • Journal of Energy Engineering
    • /
    • v.5 no.2
    • /
    • pp.153-159
    • /
    • 1996
  • The Sequence Of Event (SOE) system used in nuclear power plants is a part of the Plant Data Acquisition System (PDAS). The SOE system of the existing nuclear power plant shares the computer H/W and S/W with PDAS, and requires more complicated structure using three processors to provide the events or trip signals. Moreover, there are high potential of collision between synchronization signals and data transmitted to the Plant Computer System (PCS) when the synchronization signals are sent from PCS to the three SOE processors. When this collision happens the SOE system will break down, thus it is not possible to analyze the trend of events or trips. This paper issues the limitations item of the existing SOE system and proposes the novel SOE system using single processor. And the test system for proposed SOE system is designed, implemented and tested.

  • PDF

Heat Transfer Modeling by the Contact Condition and the Hole Distance for A-KRS Vertical Disposal (A-KRS 수직 처분공 접촉 조건 및 처분공 간의 거리에 따른 열전달 해석)

  • Kim, Dae-Young;Kim, Seung-Hyun
    • Journal of Nuclear Fuel Cycle and Waste Technology(JNFCWT)
    • /
    • v.17 no.3
    • /
    • pp.313-319
    • /
    • 2019
  • The A-KRS (Advanced Korean Reference Disposal System) is the disposal concept for pyroprocessed waste, which has been developed by the Korea Atomic Energy Research Institute. In this disposal concept, the amount of high-level radioactive waste is minimized using pyrochemical process, called pyroprocessing. The produced pyroprocessed waste is then solidified in the form of monazite ceramic. The final product of ceramic wastes will be disposed of in a deep geological repository. By the way, the decay heat is generated due to the radioactive decay of fission products and raises the temperature of buffer materials in the near field of radioactive waste repository. However, the buffer temperature must be kept below $100^{\circ}C$ according to the safety regulation. Usually, the temperature can be controlled by variation of the canister interdistance. However, KAERI has modelled thermal analysis under the boundary condition, where the waste canisters are in direct contact with each other. Therefore, a reliable temperature analysis in the disposal system may fail because of unknown thermal resistence values caused by the spatial gap between waste canisters. In the present work, we have performed thermal analyses considering the gap between heating elements and canisters at the beginning of canister loading into the radioactive waste repository. All thermal analyses were performed using the COMSOL software package.

Replay Attack based Neutralization Method for DJI UAV Detection/Identification Systems (DJI UAV 탐지·식별 시스템 대상 재전송 공격 기반 무력화 방식)

  • Seungoh Seo;Yonggu Lee;Sehoon Lee;Seongyeol Oh;Junyoung Son
    • Journal of Aerospace System Engineering
    • /
    • v.17 no.4
    • /
    • pp.133-143
    • /
    • 2023
  • As drones (also known as UAV) become popular with advanced information and communication technology (ICT), they have been utilized for various fields (agriculture, architecture, and so on). However, malicious attackers with advanced drones may pose a threat to critical national infrastructures. Thus, anti-drone systems have been developed to respond to drone threats. In particular, remote identification data (R-ID)-based UAV detection and identification systems that detect and identify illegal drones with R-ID broadcasted by drones have been developed, and are widely employed worldwide. However, this R-ID-based UAV detection/identification system is vulnerable to security due to wireless broadcast characteristics. In this paper, we analyze the security vulnerabilities of DJI Aeroscope, a representative example of the R-ID-based UAV detection and identification system, and propose a replay-attack-based neutralization method using the analyzed vulnerabilities. To validate the proposed method, it is implemented as a software program, and verified against four types of attacks in real test environments. The results demonstrate that the proposed neutralization method is an effective neutralization method for R-ID-based UAV detection and identification systems.

제어시스템용 테스트베드 구축 방안

  • Kim, Ji-Hong;Yu, Choun-Young;Kim, Sung-Yong
    • Review of KIISC
    • /
    • v.22 no.5
    • /
    • pp.14-21
    • /
    • 2012
  • 국가기반산업분야에 사용되고 있는 제어시스템은 원자력 화학 등의 에너지산업과 수자원, 교통 신호등의 다양한 제어분야에서 사용되고 있다. 지금까지 폐쇄적으로 운용되었던 제어시스템은 최근에는 경영시스템과의 상호연동성 및 제어시스템 간의 상호운용성등으로 인하여 점차 외부로 노출되고 있기 때문에 사이버 테러리스트의 공격 목표가 되고 있다. 실제로 사이버전쟁 발생 시에는 제일 처음의 목표가 국가기반의 산업용 제어시스템이 될 수 있으며, 해커나 공격자 등에 의한 공격으로 엄청난 재앙이 발생될 수 있다. 본 논문에서는 제어시스템에 대한 보안취약점으로 일반 IT 정보 시스템에서의 보안이슈와 함께, 제어시스템에서 사용되는 제어용 소프트웨어에 대한 보안이슈를 다루고, 이러한 보안 취약성을 분석 평가하기 위한 제어시스템용 테스트베드 구축방안을 제시하고자 한다.

Formal Verification of Structural Decision Table Specification Using SMV (SMV를 이용한 Structural Decision Table 명세의 정형검증)

  • Jeon Seung-Jae;Jee Eun-Kyoung;Cha Sung-Deok
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2006.06c
    • /
    • pp.190-192
    • /
    • 2006
  • 원자력 발전소의 제어 소프트웨어는 안전성이 중요시 되는 시스템이다. KNICS 컨소시엄의 APR-1400 RPS 개발 프로젝트에서는 시스템의 안전성과 품질을 높이기 위하여 요구사항을 NuSCR 정형명세로 기술하였다. 명세에 대한 분석을 위하여 SMV를 이용한 자동화된 정형검증 기법이 사용되는데, 본 논문에서는 테이블 형태의 명세인 SDT까지 그 범위를 확장하는 방법을 제안한다. 제안하는 방법의 효율성을 입증하기 위하여 실제 프로젝트에서 개발중인 시스템의 일부를 예제로 사용하였다.

  • PDF

An Insulation Resistance Measurement of IT network using LabVIEW (LabVIEW를 사용한 IT접지방식 배전계통의 활선절연저항 측정)

  • Kim, Yong-Jung;Kim, Doohwan;Kim, Hyosung
    • Proceedings of the KIPE Conference
    • /
    • 2013.07a
    • /
    • pp.228-229
    • /
    • 2013
  • 원자력발전소, 병원 및 철도와 같이 지속적인 전력공급이 필요한 시설에서는 IT접지시스템의 적용이 활발해지고 있다. 또한 자가발전을 통한 DC배전계통에서 IT접지시스템이 사용될 것으로 예측되고 있다. 이러한 IT접지시스템은 전력선의 어느 쪽도 접지하지 않으며, 장비의 외함 만을 접지함으로써 전력선의 어느 한쪽이 접지되는 사고를 당하더라도 계통의 운전을 정지시키지 않고 고장부위를 찾을 수 있는 시간적 여유가 있으므로, 계통의 연속적인 운전을 확보할 수 있다. 그러나 이러한 접지의 장점을 얻기 위해서는 계통의 운전 중에 전력선의 상태를 지속적으로 감시할 필요가 있다. 본 연구에서는 사용자의 활용도가 높은 LabVIEW 소프트웨어를 이용하여 절연저항을 모니터링 함으로써 전력선의 절연상태를 지속적으로 감시하는 활선절연저항측정기를 개발한다.

  • PDF