• Journal of the Korean Institute of Intelligent Systems
• /
• v.14 no.2
• /
• pp.207-215
• /
• 2004

The PLC programming by IEC1131-3 is hard to handle to ordinary users as well as professionals. Also it has not a generality, so that it couldn't be debugging some logic errors easily. In order to be adapted for such environment, In this paper, I have developed the ISPLC(Intelligent Agent System based Software Programmable Logic Controller). In ISPLC system, LD programmed by a user is converted to the C code which can be used in a commercial editor such as Visual C++. The detection of logical errors in C code is more effective than PLC programming itself. ISPLC provides the GUI-based interface in web environment and an easy programming platform to such beginners as well as professionals. The study of code conversion of LD to IL as well as IL to C is firstly tried in the world as well as KOREA. To show the effectiveness of the developed system, I applied it to a practical case, a real time traffic control system. ISPLC is minimized the error debugging and programming time owing to be supported by windows application programs.

• Journal of Korea Society of Industrial Information Systems
• /
• v.11 no.5
• /
• pp.78-85
• /
• 2006

Thanks to the spacial and timely flexibility of laboratory's environment, the distance learning based real time PLC education system has been brought into relief as a next generation laboratory alternative. The developed system was installed using a relatively cheap PLC and PC camera. Providing image feedback through the PC camera, the system provides the student's interests of the lab as well as an opportunity to monitor the lab's activities and results.

• Journal of KIISE:Software and Applications
• /
• v.37 no.1
• /
• pp.54-59
• /
• 2010

Special-purpose microcontrollers PLCs have been widely used in the area of industrial automation. For the research of analysis and verification for PLC programs, first of all we have to specify formal sematics of PLC programming languages. This paper defines formally the operational semantics of LD language. After we transform the graphical language LD into its textual representation Symbolic LD, we give semantics of Symbolic LD since LD language is a graphical language. This paper defines the natural sematics of Symbolic LD and formalizes it in Coq proof assistant.

• 제어로봇시스템학회:학술대회논문집
• /
• 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.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.19 no.37
• /
• pp.171-178
• /
• 1996

The programmable logic controller(PLC) programming has been manually carried out, which might cause the productivity decrease by omission and repetition of instruction. Recently, the knowledge-based automatic programming system is introduced. In the system, input/output(I/O) addresses are input by user. In this study, we developed the prototype system for automatic I/O addressing using knowledge-based technology, With the developed system, the PLC addressing task can he consistently and effectively performed.

• 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:Software and Applications
• /
• v.32 no.12
• /
• pp.1271-1282
• /
• 2005

Recently, PC-based control is incredibly developed in the industrial control field, but it is difficult for PLC programming in PC. Therefore, I need to develop the softeware PLC, which support the international PLC programming standard(IECl131-3) and can be applied to diverse control system by using C language. In this paper, I have developed the ISPLC(Intelligent Agent System based Software Programmable Logic Controller). In ISPLC system, LD programmed by a user which is used over $90\%$ among the 5 PLC languages, is converted to IL, which is one of intermediate codes, and IL is converted to the standard C rode which can be used in a commercial editor such as Visual C++. In ISPLC, the detection of logical error in high level programming(C) is more eaier than PLC programming itself The study of code conversion of LD->IL->C is firstly tried in the world as well as KOREA. I developed an execution engine with a good practical application. To show the effectiveness of the developed system, 1 applied it to a practical case, a real time traffic control(RT-TC) system. ISPLC is minimized the error debugging and programming time owing to be supported by windows application program.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.10 no.12
• /
• pp.3574-3580
• /
• 2009

An embedded motion controller supporting the PLC programming environment based on the IEC 61131-3 International Standard Language was developed in this paper. In this developed motion controller, the CoDeSys, one of the IEC61131-3 development tools, was embedded in order to support that of PLC as well as the development environment of the PC, and the various function blocks based on PLCopen standard for motion control such as the linear and circular interpolation control were implemented. Moreover, the ethernet based remote control on real-time operating system and the motion simulator for a motion programmer were implemented.

• Electric Engineers Magazine
• /
• s.119
• /
• pp.44-50
• /
• 1992

• Electric Engineers Magazine
• /
• s.130
• /
• pp.52-56
• /
• 1993