• The Transactions of the Korean Institute of Electrical Engineers A
• /
• v.48 no.12
• /
• pp.1554-1563
• /
• 1999

This paper presents the design of high speed processor for a sequence logic control using field programmable gate array(FPGA). The sequence logic controller is widely used for automating a variety of industrial plants. The FPGA designed by VHDL consists of program and data memory interface block, input and output block, instruction fetch and decoder block, register and ALU block, program counter block, debug control block respectively. Dedicated clock inputs in the FPGA were used for high speed execution, and also the program memory was separated from the data memory for high speed execution of the sequence instructions at 40 MHz clock. Therefore it was possible that sequence instructions could be operated at the same time during the instruction fetch cycle. In order to reduce the instruction decoding time and the interface time of the data memory interface, an instruction code size was implemented by 16 bits or 32 bits respectively. And the real time debug operation was implemented for easy debugging the designed processor. This FPGA was synthesized by pASIC 2 SpDE and Synplify-Lite synthesis tool of Quick Logic company. The final simulation for worst cases was successfully performed under a Verilog HDL simulation environment. And the FPGA programmed for an 84 pin PLCC package was applied to sequence control system with inputs and outputs of 256 points. The designed processor for the sequence logic was compared with the control system using the DSP(TM320C32-40MHz) and conventional PLC system. The designed processor for the sequence logic showed good performance.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.3
• /
• pp.211-215
• /
• 2009

As Programmable Logic Controllers (PLCs) are increasingly used to implement safety critical systems such as nuclear instrumentation & control system, formal verification for PLC based programs is becoming essential. This paper proposes a formal verification technique for PLC program implemented with function block diagram (FBD). In order to verify an FBD program, we translate an FBD program into a Verilog model and perform model checking using SMV model checker We developed a tool, FBD Verifier, which translates FBD programs into Verilog models automatically and supports efficient and intuitive visual analysis of a counterexample. With the proposed approach and the tool, we verified large FBD programs implementing reactor protection system of Korea Nuclear Instrumentation and Control System R&D Center (KNICS) successfully.

• Proceedings of the KIEE Conference
• /
• 1998.07b
• /
• pp.772-774
• /
• 1998

MMIS System of KNGR is composed of systems by using of digital equipment in general, and also interface function among systems is completed by a network. According to this, KNGR PCS also got rid of many kinds of interface cards which have been used for hardwired interface to outside system, and most of function in these cards is to be programmed by PLC. This paper defines the function and method which is to be programmed to PLC. And this paper presents new function which is to be added for operator's interface by using network. It is expected that PCS logic cabinet will be more simplified, satisfy KNGR design concept, and operation convenience will be increased.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.22 no.4
• /
• pp.153-158
• /
• 2008

When we design the control system used Programmable Logic Controller(PLC), we program the main algorithm by Ladder Diagram(LD) in many standard language. But if we use an Sequential Function Chart(SFC), we is easy to know the sequential flow of control, to maintenance the controller and to describe a program. Even though a SFC have many merits, A SFC have some problems like a condition and a function of self test. Therefore this thesis show an efficient function of self test and we confirmed its feasibility through actual example.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.3
• /
• pp.176-185
• /
• 2009

Modern manufacturing systems consist of highly automated manufacturing devices, and they are controlled by complicated PLC programs. To make sure the achievement of the control objectives of a manufacturing system, it is very important to monitor the dynamic system behaviors of the manufacturing system. In this paper, we propose a monitoring methodology of a PLC program based on the Software In the Loop Simulation(SILS), which makes use of the time gap information between PLC signals. The errors relevant with PLC signals can be found using the proposed methodology, comparing a normal PLC signal trajectory with a target PLC signal trajectory. The proposed methodology has been implemented and tested with simple examples.

• Journal of the Korea Society for Simulation
• /
• v.18 no.3
• /
• pp.1-11
• /
• 2009

This paper illustrates a case study of PLC logic simulation in a car manufacturing system. It was developed to simulate and verify PLC control program for automobile panel AS/RS. Because car models become varied, the complexity of supply problem is increasing in the car manufacturing system. To cope with this problem, companies use the AS (automated storage) and RS (retrieval system) but it has logical complexity. Industrial automated process uses PLC code to control the AS/RS, however control information and control codes (PLC code) are difficult to understand. This paper suggests a PLC simulation environment, using 3D models and PLC code with realistic data. Data used in this simulation is based on realistic 3D model and I/O model, using actual size and PLC signals, respectively. The environment is similar to a real factory; users can verify and test the PLC code using this simulation before the implementation of AS/RS. Proposed simulation environment can be used for test run of AS/RS to reduce implementation time and cost.

• Proceedings of the KIEE Conference
• /
• 1995.07b
• /
• pp.880-882
• /
• 1995

The systematic function of the PLC (Programmable - Logic Controller) has been enhanced immensely due to the various special modules that consist of the conventional I/O control contants plus special function, which enables the flexible application to highly advanced systems. Position control module is one of the various PLC special module. In this paper, we proposed new synchronized operating method and implemented 8 - axis servo control system. The validity of proposed method is verified througth experimental results and it will be possible to expand 32 - axis servo control system by RS - 485 communication spec.

• Nuclear Engineering and Technology
• /
• v.51 no.7
• /
• pp.1791-1798
• /
• 2019

Instrumentation and Control (I&C) systems of nuclear power plants (NPPs) have been continuously digitalized. These systems have a critical role in the operation of nuclear facilities by functioning as the brain of NPPs. In recent years, as cyber security threats to NPP systems have increased, regulatory and policy-related organizations around the world, including the International Atomic Energy Agency (IAEA), Nuclear Regulatory Commission (NRC) and Korea Institute of Nuclear Nonproliferation and Control (KINAC), have emphasized the importance of nuclear cyber security by publishing cyber security guidelines and recommending cyber security requirements for NPP facilities. As described in NRC Regulatory Guide (Reg) 5.71 and KINAC RS015, challenge response authentication should be applied to the critical digital I&C system of NPPs to satisfy the cyber security requirements. There have been no cases in which the most robust response authentication technology like challenge response has been developed and applied to nuclear I&C systems. This paper presents a challenge response authentication mechanism for a Programmable Logic Controller (PLC) system used as a control system in the safety system of the Advanced Power Reactor (APR) 1400 NPP.

• Proceedings of the Korean Society of Precision Engineering Conference
• /
• 2000.11a
• /
• pp.233-238
• /
• 2000

CNC machine tool is assembled by central processor, PLC(Programmable Logic Controller), and actuator. The sequential control of machine generally controlled by a PLC. The main fault occured at PLC in 3 control parts. In LC faults, operational fault is charged over 70%. This paper describes diagnosis model and data processing for remote monitoring and diagnosis system in machine tools with open architecture controller. Two diagnostic models based on the ladder diagram. Logical Diagnosis Model(LDM), Sequential Diagnosis Model(SDM), are proposed. Data processing structure is proposed ST(Structured Text) based on IEC1131-3. The faults from CNC are received message form open architecture controller and faults from PLC are gathered by sequential data.. To do this, CNC and PLC's logical and sequential data is constructed database.

• The Journal of Korea Institute of Information, Electronics, and Communication Technology
• /
• v.5 no.2
• /
• pp.96-100
• /
• 2012

Existing, widely used industrial controller programmable logic controller (PLC) using the high cost and maintenance was a difficult problem. In addition, the network configuration was not easy. Thus, the filter press by remote control and management to improve productivity and shorten maintenance time. Variety of smart devices (smart phones, iPad, tablet PC, etc.) Remote control is possible by utilizing the existing controlled by the PLC addresses maintenance and improved performance compared to that of possible filter press control and management system was developed.