• 제어로봇시스템학회:학술대회논문집
• /
• 1987.10b
• /
• pp.422-425
• /
• 1987

Auto-programming of sequencer was implemented by PLC-.mu.C system, to transform the PLC program in the relay ladder diagram.

• Proceedings of the IEEK Conference
• /
• 2004.08c
• /
• pp.486-490
• /
• 2004

Programmable logic controller (PLC) is widely used in manufacturing system or process control. This paper presents the design of a 32-bit microprocessor for a sequence control using an Application Specification Integrated Circuit (ASIC). The 32-bit microprocessor was designed by a VHDL with top down method; the program memory was separated from the data memory for high speed execution of 274 specified sequence instructions. Therefore it was possible that sequence instructions could be operated at the same time during the instruction fetch cycle. And in order to reduce the instruction decoding time and the interface time of the data memory interface, an instruction code size was implemented by 32-bits. And the real time debugging as single step run, break point run was implemented. Pulse instruction, step controller, master controllers, BIN and BCD type arithmetic instructions, barrel shit instructions were implemented for many used in PLC system. The designed microprocessor was synthesized by the S1L50000 series which contains 70,000 gates with 0.65um technology of SEIKO EPSON. Finally, the benchmark was performed to show that designed 32-bit microprocessor has better performance than Q4A PLC of Mitsubishi Corporation.

• 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.25 no.4
• /
• pp.21-30
• /
• 2016

Recently manufacturing companies have used PLC control programs popularly for their automated production systems. Since the life cycle of production process is not so long, the change of the production lines occur frequently. Most of changes happen with modification of the position information and control process of the equipment. PLC control program is also modified based on the fundamental process. Therefore, to verify new PLC program by configuring virtual space according to real environment is needed. In this paper we show a logical modeling method, based on Timed-FSA useful for sequence control and dead-lock prevention. There is a problem wasting user's labor and time when defining a variety of states in a device. To overcome this problem, we propose an extended I-O model based on existing methods by adding a token concept of Petri Nets. Also we will show the usability of the extended I-O modeling through user study.

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

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

• Journal of the Korea Safety Management & Science
• /
• v.12 no.2
• /
• pp.65-73
• /
• 2010

In an automated industry PLC plays a central role to control the manufacturing system. Therefore, fault free operation of PLC controlled manufacturing system is essential in order to maximize a firm's productivity. On the contrary, distributed nature of manufacturing system and growing complexity of the PLC programs presented a challenging task of designing a rapid fault finding system for an uninterrupted process operation. Hence, designing an intelligent monitoring, and diagnosis system is needed for smooth functioning of the operation process. In this paper, we propose a method to continuously acquire a stream of PLC signal data from the normal operational PLC-based manufacturing system and to generate diagnosis model from the observed PLC signal data. Consequently, the generated diagnosis model is used for distinguish the possible abnormalities of manufacturing system. To verify the proposed method, we provided a suitable case study of an assembly line.

• Journal of the Korean Institute of Illuminating and Electrical Installation Engineers
• /
• v.20 no.4
• /
• pp.49-55
• /
• 2006

In industrial control system used by Programmable Logic Controller(PLC), ladder Diagram(LD) is the must 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, and we often make mistakes. In this paper, we propose the method that we compose each sub-system after we design each sub-system and confirm his feasibility through an actual examples.

• 제어로봇시스템학회:학술대회논문집
• /
• 1996.10b
• /
• pp.706-709
• /
• 1996

In this paper, an algorithm for PLC(Programmable Logic Controller) fault diagnosis system is proposed and experimentation is conducted with a PLC and a virtual plant. Wrong output backward tracking algorithm is proposed in order to find the external faults of PLC. And query with keywords of the fault systems and specially designed test sequence programs are used. We lay emphasis on the backward tracking algorithm to diagnose the faults of PLC. It is shown experimentally that the proposed algorithm can find the faults which a typical self diagnostics in the-commercially available PLC cannot.

• Korean Journal of Computational Design and Engineering
• /
• v.14 no.5
• /
• pp.323-329
• /
• 2009

Auto-makers can only remain competitive by producing high quality vehicles in an efficient way. In designing a production line, one of the most important objectives of digital manufacturing is to verify design errors as early as possible. In terms of the cost and time saving, it is very essential to start the construction of a production line with a proven design which is error-free. Likewise, this paper aims to implement PLC verification using an example. The verification in automobile manufacturing means verifying PLC program, which control automatic devices. In this paper, we built a virtual factory to implement PLC simulation and introduced verification procedure using PLC Studio. Finally, we can prove the availability for the PLC verification.

• Proceedings of the Korean Institute of Electrical and Electronic Material Engineers Conference
• /
• 2002.11a
• /
• pp.596-602
• /
• 2002

An easy elevator for learning originated is opened to compare the existed learning equipment, and it had a high studying efficient that the sequence control circuit can opens and closes with the wire. The structure of equipment to be controlled from the first floor to the fifth floors is demonstrated a constructive apparatus by a lamp atc to express the function of the open-close of the door according to the cage moving with a mechanical actuation of the forward-reverse breaker and the motor of load and a mechanical actuation of hand-operation control components of push-button S/W and L/S and relay etc. These components let connects each other in order to control of the elevator function with the auto program and the designed sequence control circuit. Consequent1y the process of these functions of 1~5steps could operates the cage with an auto program of the elevator and the sequence control circuit. The sequence control circuit is controlled by the step of forward and reverse to follow as that the sensor function of the L/S1~L/S5 let posit with the control switchs of S/W1~S/W5 of PLC testing panel and switchs of S/W1~S/W5 installed on the transparent acryl plate of the frame. In here, improved apparatus is a hand-auto operation combined learning equipment to study the principle and a technique of the originated sequence control circuit and the auto program of PLC.