• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.40 no.5
• /
• pp.306-316
• /
• 2003

본 논문에서는 소프트웨어 PLC를 구현하는 방안을 제시하였다. 하드웨어는 표준적인 산업용 PC와 입출력 보드들로 구성된다. 운영체제로는 수십 마이크로초의 정밀한 단위로 태스크들의 스케줄링이 가능한 실시간 리눅스를 사용하였다. 소프트웨어 PLC를 위해 개발한 실시간 태스크들은 실시간 리눅스의 커널 모드에서 실행되며, 사용 목적에 따라 작성된 PLC 프로그램을 해석하고 실행하는 작업을 일정한 주기로 반복한다. 또한 PLC 프로그램을 편리하게 작성할 수 있도록 자체 프로그램 문법을 제안하고 이를 위한 컴파일러도 구현하였다. 이렇게 구현된 PLC는 가격 대비 성능이 우수하며 소규모의 응용분야들에 유용하게 활용할 수 있다.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.12 no.4
• /
• pp.14-19
• /
• 1998

The purpose of our study is to develop tool kits which give us inexpensive simulation method. We develop a Programmable Logic Controller (PLC) program module with which we can edit and monitor PLC program, a virtual PLC (VPLC) system and simulation equipment. The PLC and simulation equipment are interlinked each other and controlled by the PLC program in real time. So, e can get effect as actural operation. Using our new tool kits we don't have to prepare PLC and machine, because we can configure PLC system and see the response of virtual machine n monitor. For validity of the developed program, we make experiments for the PLC program of elevator and automatic materials weighting system. The experimental results show that the virtual machine (VM) operates properly by the PLC control program.

• Proceedings of the KIEE Conference
• /
• 2005.11c
• /
• pp.8-13
• /
• 2005

공장(정)자동화에 대한 산업현장의 요구가 증대되고 다양한 자동제어 기술이 발전, 적용되면서 이 분야에 대한 중요도는 날로 커져가고 있다. 산업설비 및 공정 자동화에 가장 널리 적용되고 있고 중추적인 역할을 수행하고 있는 제어기가 바로 프로그래머블 논리 제어장치, PLC이다. 그러나 PLC 프로그램을 작성하여 실제로 기계나 설비에 적용하기 위해서는 PLC 프로그램의 논리적인 오류 등을 검사하고 수정하는 등의 작업이 필요한데 자동화 시스템에서 이를 직접 적용하기에는 많은 위험부담과 비용부담이 뒤따른다. 한편, 눈부신 발전을 거듭한 PLC 제어 기술에 데한 전문지식을 보유한 인력에 대한 산업현장의 요구는 꾸준히 지속되고 있는 추세이나 지금까지 교육기관에서 실시되고 있는 PLC 제어기술에 관련된 교육은 해당 시스템에 대한 거시적 이해 위주의 이론교육 형태로 실시되어 왔다. 이러한 산업적 측면과 교육적 측면의 문제점을 해결하고 자동화, 자동제어 교육에 대한 학생들의 흥미와 실무능력 향상을 위하여 본 논문에서는 현장에서 활용되고 있는 기기와 시스템을 모의할 수 있는 자동화 설비의 가상 플랜트 시뮬레이터와 PLC 프로그램을 편집하고 모니터할 수 있는 도구를 개발하여 종합적이고 현장감 있는 교육을 가능하게 하는 방법을 제안하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2015.07a
• /
• pp.161-163
• /
• 2015

본 논문은 교통 혼잡도가 높은 월계 2교 4거리 교차로에 센서를 이용하기 위한 교차로 PLC 프로그램을 개발하는 것을 목적으로 한다. 이를 위해 교차로에서 발생하는 차량사고와 혼잡을 방지하지 위한 소프트웨어 요구사항 명세서(SRS)를 정의하고, 이를 바탕으로 소프트웨어 설계서를 작성한다. 또한 XP-Builder 시뮬레이터를 사용하여 센서기반 교차로 신호등 PLC 프로그램을 구현한다.

• Proceedings of the KIPE Conference
• /
• 2013.07a
• /
• pp.49-50
• /
• 2013

여러 대의 인버터를 비례 동기 위치제어를 하기 위하여 PLC(Program Logic Contoller)가 사용되는데, 대부분의 기능이 PLC에서 구현이 되기 때문에 프로그램이 복잡하고 많은 통신 데이터가 필요하다. 본 논문에서는 PLC의 연산부하를 줄이기 위하여 비례 동기 위치 제어 연산 과정을 인버터로 구현하는 방법 대하여 연구하였고, 두 대의 인버터로 시스템을 구현하여 제안된 방법의 타당성을 검증하였다. 이를 통하여 PLC 사용자가 프로그램을 구현하는 데 들어가는 시간을 줄이고, 직접 프로그램을 작성하는 데에 발생할 수 있는 오류를 저감시킬 수 있다.

• Journal of the Korea Society for Simulation
• /
• v.17 no.4
• /
• pp.1-9
• /
• 2008

Proposed in the paper is an automated procedure to construct a plant model for PLC simulation. Since PLC programs only contain the control logic without the information on the plant model, it is necessary to build the corresponding plant model to perform simulation. Conventionally, a plant model for PLC simulation has been constructed manually, and it requires much efforts as well as the in-depth knowledge of simulation. As a remedy for the problem, we propose an automated procedure to generate a plant model from the symbol table of a PLC program. To do so, we propose a naming rule for PLC symbols so that the symbol names include enough information on the plant model. By analyzing such symbol names, we extract a plant model automatically. The proposed methodology has been implemented, and test runs were made.

• Journal of the Institute of Electronics Engineers of Korea CI
• /
• v.42 no.4 s.304
• /
• pp.1-10
• /
• 2005

Recently, most of PLC has been using widely in automation equipment that is needed for field of industry automation. HMI is essential system for effective Control of many numbers of PLC. Even though early HMI system was consists of simple analog devices, however, HMI system could control or supervise PLC through display screen since it embeds various digital parts by development of technology in these days. HMI system consists of three parts as HMI hardware, an operating program for HMI equipment and a HMI screen editor. Among these elements, a Program for editing screen of HMI should provide various screen elements that helps users to edit each screens displayed on HMI. In this study, we design and implement screen edit program by object-oriented method for small HMI equipment and propose Prototype of embedded HMI system.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.4
• /
• pp.425-434
• /
• 2001

In this paper, a series of processes to configure a feedback control system by using a PID controller in a programmable logic controller (PLC). The PLC (SIMATIC S7-400) with a PID module (FM455C) is connected by online to an IBM PC with the Windows environment, which serves as a PLC programmer. PID controllers including P/PD/PI controllers have been designed in order to show design procedures, and finally, a PID controller for the plant of cart system. Performances of the control system have been investigated by the MATLAB simulation, the simulation in the PLC programmer. Physical performances have been recorded and examined for the real cart system.

• 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.

• Journal of the Korea Society for Simulation
• /
• v.15 no.1
• /
• pp.11-17
• /
• 2006

This paper shows a case study of designing a PLC logic simulator that was developed to simulate and verify PLC control programs for nuclear plant systems. The nuclear control system requires strict restrictions rather than normal process control system does, as it works with a high-risky and dangerous nuclear plant. One is that it should assure the safeness of the control programs by exploiting severe testing. The other restriction is that the control programs should be executed fast enough such that they could control multi devices concurrently in real-time. To cope with these restrictions, we devised a logic compiler which generates C-code programs from given PLC logic programs. Once the logic program was translated into C-code, the program could be analyzed by conventional software analysis tools and could be used to construct a fast logic simulator after cross-compiling, in fact, that is a kind of compiled-code simulator.