• Nuclear Engineering and Technology
• /
• 제45권4호
• /
• pp.477-488
• /
• 2013

The PLC (Programmable Logic Controller) has been widely used to implement real-time controllers in nuclear RPSs (Reactor Protection Systems). Increasing complexity and maintenance cost, however, are now demanding more powerful and cost-effective implementation such as FPGA (Field-Programmable Gate Array). Abandoning all experience and knowledge accumulated over the decades and starting an all-new development approach is too risky for such safety-critical systems. This paper proposes an RPS software development process with a platform change from PLC to FPGA, while retaining all outputs from the established development. This paper transforms FBD designs of the PLC-based software development into a behaviorally-equivalent Verilog program, which is a starting point of a typical FPGA-based hardware development. We expect that the proposed software development process can bridge the gap between two software developing approaches with different platforms, such as PLC and FPGA. This paper also demonstrates its effectiveness using an example of a prototype version of a real-world RPS in Korea.

• 조명전기설비학회논문지
• /
• 제20권4호
• /
• pp.49-55
• /
• 2006

PLC를 사용한 공정제어에서 일반적으로 LD 언어로 가장 많이 프로그램한다. 그러나 최근에는 SFC 언어에 대한 연구가 활발히 이루어지고 있다. PLC를 사용한 공정제어에서 SFC 언어로 프로그램할 때는 처음부터 마지막까지 하나의 루틴으로 설계하는 것이 일반적이다. 이러한 방법은 설계하기가 무척 힘들고, 흔히 실수하는 경우가 많다. 본 논문에서는 개별 서브시스템을 설계하고, 각 서브시스템을 결합하는 방법을 제안하였고, 실례를 통해 그의 타당성을 확인하였다.

• Nuclear Engineering and Technology
• /
• 제45권4호
• /
• pp.489-504
• /
• 2013

Software safety for nuclear reactor protection systems (RPSs) is the most important requirement for the obtainment of permission for operation and export from government authorities, which is why it should be managed with well-experienced software development processes. The RPS software is typically modeled with function block diagrams (FBDs) in the design phase, and then mechanically translated into C programs in the implementation phase, which is finally compiled into executable machine codes and loaded on RPS hardware - PLC (Programmable Logic Controller). Whereas C Compilers are fully-verified COTS (Commercial Off-The-Shelf) software, translators from FBDs to C programs are provided by PLC vendors. Long-term experience, experiments and simulations have validated their correctness and function safety. This paper proposes a behavior-preserving translation from FBD design to C implementation for RPS software. It includes two sets of translation algorithms and rules as well as a prototype translator. We used an example of RPS software in a Korean nuclear power plant to demonstrate the correctness and effectiveness of the proposed translation.

• 한국조명전기설비학회:학술대회논문집
• /
• 한국조명전기설비학회 2008년도 춘계학술대회 논문집
• /
• pp.249-251
• /
• 2008

In Factory Automation(FA) used by Programmable Logic Controller(PLC), Ladder Diagram(LD) is the most widely utilized and plays an important role in industrial control system. But recently, the study about Sequential Function Chart(SFC) is performed actively. When we program by SFC, generally, we design one routine from start to end. This method is difficult to design block control system, and we often make mistakes. In this paper, we propose the method that we design block control system and we analysis the difference of the method used this paper from conventional method.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1998년도 하계학술대회 논문집 G
• /
• pp.2327-2329
• /
• 1998

In this paper, an algorithm to make a configuration system for managing the I/O device of programmable logic controller(PLC) is proposed. Parallel processing architecture is used to deal with a number of I/O devices. From that architecture, a contention problem between processors can arise. To resolve this problem, the configuration system that contains informations about I/O devices is introduced. This configuration system is used to check the contention between processors in the I/O device and also used in program execution.

• 조명전기설비학회논문지
• /
• 제28권2호
• /
• pp.92-99
• /
• 2014

The paper is related to smart maximum power system based on program logic. Especially, this system compares the total demand power with the target power by using the signal from the digital kilo watt meter. Based on the power information by the maximum power control equipment the consumed future power is anticipated. In addition, through consumed future power the controllable target power is set, and it applies on the maximum power control equipment. User or manager would control the load efficiently through the simple programming which could control load based on the control sequence and relay. To begin with the conventional maximum power control algorithm is surveyed, and the smart maximum power control system based on program logic is used, and the new algorithm from full load to proportion shut down is proposed by using PLC program. the validity of the proposed control scheme is investigated by both simulation results.

• 제어로봇시스템학회:학술대회논문집
• /
• 제어로봇시스템학회 1992년도 한국자동제어학술회의논문집(국제학술편); KOEX, Seoul; 19-21 Oct. 1992
• /
• pp.463-467
• /
• 1992

This paper describes the automatic generation of sequence control programs for DCS(Distributed Control System), PLC(Programable Logic Controller) and so on. Since there is no same manufacturing process, it is difficult to standardize sequence programs. We propose the automatic sequence control program generator which is CAD software using knowledge engineering technique.

• 풍력에너지저널
• /
• 제15권1호
• /
• pp.60-68
• /
• 2024

In this study, a hardware-in-the-loop simulation (HILS) environment was established using MATLAB/Simulink to simulate and verify the power performance of a wind turbine. The target wind turbine was selected as the NREL 5 MW model, and modeling was performed based on the disclosed specifications. The HILS environment consists of a PC equipped with a MATLAB/Simulink program, a programmable logic controller (PLC) for uploading and linking control algorithms, and data acquisition (DAQ) equipment to manage wind turbine data input and output. The operation of the HILS environment was carried out as a procedure of operation (PC) of the target wind turbine modeled based on MATLAB/Simulink, data acquisition (PLC) of control algorithms, control command calculation (PLC), and control command input (PC). The simulation was performed using the HILS environment under turbulent wind conditions and compared with the simulation results performed under the same conditions in the HILS environment using the commercial program Bladed for performance verification. From the comparison, it was found that the dynamic simulation results of the Bladed HILS and the MATLAB HILS were close in power performances and the errors in the average values of rotor rotation speed and power generation between the two simulations were about 0.44 % and 3.3 %, respectively.

• 한국컴퓨터정보학회논문지
• /
• 제14권3호
• /
• pp.13-26
• /
• 2009

본 논문에서는 현재 많은 산업 현장에서 자동 제어를 위한 시스템으로 사용하는 PLC를 대체하기 위한 시스템으로 RTOS 기반 시스템을 제안하였다. RTOS 기반 시스템은 PLC의 한계를 극복하고 시스템의 안정성곽 신뢰성을 보장하기 위한 방법으로 PC와 RTOS를 사용하는 시스템이다. 그리고 PLC 기반 시스템을 RTOS 기반 시스템으로 변환하기 위한 방법으로 시스템 모델을 통한 변환 방법을 제안하였고 변환 절차와 변환 방법을 설명하였다. 시스템 모델은 PLC 기반 시스템을 RTOS 기반 시스템으로 변환하기에 앞서 시스템을 상위 레벨에서 하위레벨로 태스크 단위로 분석한 것으로 시스템을 모듈 별로 정의하고 정의된 모듈의 동작을 태스크로 세분화하여 정의한 것이다. 모듈 별로 시스템을 제어하는 것은 PLC를 통한 제어에 비해 성능뿐만 아니라 기능적으로도 향상을 가져오고 추후 시스템의 수정이나 변화 시에도 더 유연하게 대처할 수 있다.

• 한국시뮬레이션학회논문지
• /
• 제25권4호
• /
• pp.21-30
• /
• 2016

최근 자동 생산 시스템은 PLC (Programmable Logic Controller) 제어 프로그램을 일반적으로 사용하고 있다. 생산제품의 수명 주기가 길지 않기 때문에 공법과 라인 및 설비 변경이 자주 일어난다. 대부분, 기존 공정을 바탕으로 이루어지고 설비의 위치 및 제어정보를 수정한다. PLC 제어 프로그램 또한 기존 공정을 바탕으로 수정이 이루어진다. 새로운 제어 프로그램을 검증하기 위해서는 실제 생산 시스템을 구축하기 전에 가상의 공간에서 실제 공정과 같이 구성하여 순차적으로 공정이 진행되는 지 확인할 수 있는 방법이 필요하다. 본 연구는 순차제어(sequential control)와 병목현상 처리에 유용한 Timed-FSA를 기반으로 하는 논리적인 모델링 방법을 사용한다. 기존에 연구되었던 I-O 모델링과 I-O 모델링에서 요구되었던 하나의 설비에 다양한 상태의 정의를 통해 사용자의 시간과 공수를 절감하기 위한 기존 모델링에 페트리네트의 토큰(Petri Nets Coloured Token) 개념을 추가한 확장된 I-O 모델링 방법을 제안한다. 예제 설비를 통하여 사용자의 모델링 시간을 절감하는 실험과 사용자 평가를 통해 제안하는 확장된 I-O 모델링의 편의성을 검증한다.