• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.2
• /
• pp.365-375
• /
• 2019

A PLC (Programmable Logic Controller) is a highly-reliable industrial digital computer which supports real-time embedded control applications for safety-critical control systems. Real-time operating systems such as uC/OS have been used for PLCs and must meet real-time constraints. As PLCs have been widely used for industrial control systems and connected to the Internet, they have been becoming a main target of cyberattacks. In this paper, we propose an execution code sanitizer to enhance the security of PLC systems. The proposed sanitizer analyzes PLC programs developed by an IDE before downloading the program to a target PLC, and mitigates security vulnerabilities of the program. Our sanitizer can detect vulnerable function calls and illegal memory accesses in development of PLC programs using a database of vulnerable functions as well as the other database of code patterns related to pointer misuses. Based on these DBs, it detects and removes abnormal use patterns of pointer variables and existence of vulnerable functions shown in the call graph of the target executable code. We have implemented the proposed technique and verified its effectiveness through experiments.

• 제어로봇시스템학회:학술대회논문집
• /
• 1991.10a
• /
• pp.1110-1115
• /
• 1991

Tne mathematical modeling and analysis results of a dataflow logic solving processor(DFLSP) for programmable logic controller(PLC) are proposed in this paper. The logic program language is formalized using a dataflow graph model. From this dataflow graph, the instruction precedence relationship, and deadlock problems, which are major properties of a logic program, are described.

• Journal of Institute of Control, Robotics and Systems
• /
• v.5 no.1
• /
• pp.33-38
• /
• 1999

This paper proposes a translation approach for PLCs (Programmable logic controllers) converting ladder diagrams directly to native codes, and describes detailed steps of the method followed by performance evaluation. A general-purpose DSP (Digital signal processor) based implementation validates the approach as well. A benchmark test shows that the Proposed translation framework fairly speeds up execution in comparison with the existing interpretation approach.

• Journal of the Institute of Convergence Signal Processing
• /
• v.20 no.3
• /
• pp.118-124
• /
• 2019

Recently, the industrial field has been changed to the smart factory system based on information and communication technology (ICT) in order to improve productivity, quality and customer satisfaction. The most important machine to realize the smart factory is the AGV(automatic guided vehicle) and the adoption of AGV is increasing. Generally, AGV is developed using general purpose PLC(Programmable Logic controller), but the price of AGV is expensive and its volume is large. On the other hand, the industrial field due to space constraints in the workplace is required the low cost AGV which can be minimization, expansion of function, and easily reconfiguration. Therefore, in order to solve these problems, this study is proposed a design method of AGV controller with built-in PLC, and evaluated its performance. In the results of the experimentation, it showed good performance (speed control error = 0.021[m/s], posture control error=2.1[mm]) for the speed and posture control. In this way, when applying the proposed AGV controller in this study to the industrial filed, it is possible to reduce the size and reconfigure at low cost.

• Proceedings of the IEEK Conference
• /
• 1998.10a
• /
• pp.735-738
• /
• 1998

To develop an effective virtual prototyping methodology for the PLC(Programmable Logic Controller) based real-time systems, a conversion algorithm from RLL(Relay Ladder Logic) to statechart is presented in this paper. The RLL is the main programming language to represent the operation of the PLC, and the statechart is the most widely used tool in the field of virtual prototyping in order to represent the behaviour of real-time systems. A virtual prototyping for an example case is implemened to evaluate the benefit of the proposed algorithm.

• Journal of the Korean Society of Manufacturing Technology Engineers
• /
• v.23 no.1
• /
• pp.15-20
• /
• 2014

The manufacturing equipment on most shop floors consists of numerical control machines, and the condition of each piece of equipment is monitored and controlled by an internal sensor or programmable logic controller (PLC). To control and monitor production lines that consist of an equipment or production module, a separate control and monitoring system such as a manufacturing execution system should be introduced. However, there is no standardized system, and it is costly and difficult to build a system for small or medium-sized plants. In this paper, a PLC-based supervisory system for operation control of a group of production machines is proposed, and the developed PLC-based system is evaluated by applying it to a computer numerical control machine.

• Proceedings of the KIEE Conference
• /
• 2006.10c
• /
• pp.288-290
• /
• 2006

This paper presents the real-time water tank wireless control in a ship using duplex RF modules and PLC(Programmable logic Controller). The purpose of this paper is developing HMI(Human Machine Interface) for automation equipments. The system can low a cost because long wires are no more used. Analog signals of the water gauge and flow meter are changed to discrete signals by the micro-processor. The PLC checks the volume of water and runs On or Off of the valve and pump. Duplex RF modules send and receive data between the water tank and control room. Everywhere the Internet is used, operators are able to check the status of the system by the web-server.

• Journal of KIISE:Computing Practices and Letters
• /
• v.15 no.4
• /
• pp.265-269
• /
• 2009

Formal specification plays important roles in guaranteeing software safety of safety-critical systems such as nuclear power plant's digital control systems. We had developed a technique [1] which synthesizes Function Block Diagram(FBD) programs from NuSCR formal requirements specifications, but it did not be used widely as it had no automatic tool support. FBD is one of the programming languages for Programmable Logic Controllers(PLC) based system. This paper introduces a CASE tool, NuSCRtoFBD, developed to automate the synthesis procedure. The CASE tool NuSCRtoFBD can reduce a number of errors occurred in the process of manual FBD programming.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.11a
• /
• pp.986-988
• /
• 2022

본 연구는 전기전자기기를 비접촉 ON/OFF제어와 기기의 수명연장을 개선 시키기위해 전기전자기기에 다용도로 활용되는 제어컨트롤러 모듈인 PLC(Programmable Logic Controller)의 입력측에 마이크로컨트롤러와 AI 비젼카메라를 설치하여, 비접촉 ON/OFF 제어에 관한 아이디어 제시하고, 이를 기반으로 구현하였다. 구현 결과 단순 I,O 신호에 의한 제어와는 다르게 이미지 인식을 구체적으로 구분하여 센싱하고, 다양한 인식 구분을 위해 머신러닝 기반으로 AI 비젼카메라를 학습시킨 결과 물체 및 색깔 구분에 따라서 전기전자기기를 제어 할 수 있었으며, 접촉이 아닌 비접촉 ON/OFF 제어가 간단하게 구현되어, 전기전자기기 수명연장도 기대 할 수 있게 되었다..

• 제어로봇시스템학회:학술대회논문집
• /
• 1997.10a
• /
• pp.752-755
• /
• 1997

In this paper, a scheduling algorithm is proposed for a programmable logic controller(PLC) with remote I/Os, assuming the multi-tasking facilities. Since sequence programs are executed on the application processor and I/O data are transmitted by the network processor concurrently, the proposed algorithm schedules the data transmission as well as the sequence program execution. The suggested algorithm guarantees the bounded WCRT(worst case response time), which is the one third of the WCRT in the absence of scheduling. Computer simulation shows that the algorithm can be easily applied to a real PLC without critical constraints on utilization of resources and inter-relation among tasks.