• Journal of the Korea Society for Simulation
• /
• v.19 no.2
• /
• pp.9-16
• /
• 2010

This study presents a system for validating the PLC code in the virtual environments of automobile trim line. There have been considerable efforts to develop standard PLC editors for saving human power and PLC test time. However, it was difficult to apply the PLC editor on a real shop floor environment. A virtual equipment was developed to communicate with the PLC module of a shop floor and to make up the connectivity environment by a special protocol. We can validate the code without launching real equipments because the PLC module and the virtual equipment is able to be controlled in real time by the OPC protocol. An experimental model is applied to the final assembly line of an automotive industry and validated by using DELMIA Automation. In conclusion, the system is valuable in the process of PLC codes validation and virtual equipments operation. This system would reduce the development time of the PLC codes and improve the productivity and the integrity of the PLC codes.

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

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.91-92
• /
• 2021

소비자들의 욕구 충족을 위하여 생산 제품이 다양해지고 있는 상황으로 소비자 맞춤형 생산이 이루어지고 있으나, 제조 현장에서는 운영자 및 작업자가 신속하게 제조 작업을 할 수 있는 시스템이 필요하다. 그러나 일반적으로 HMI와 같은 별도의 GUI 장치를 통하여 생산 내용의 변경이 가능하나, 작업자들은 이를 조작하여 PLC를 통한 생산에 적용하는데 많은 어려움을 겪고 있다. 본 논문에서는 단말기가 필요하지 않는 QR 코드를 기반으로 모바일 기기를 통하여 키오스크 기능을 제안한다. 제안 시스템은 모바일 디바이스를 통하여 검증된 생산 사양만을 선택할 수 있는 키오스크 화면을 구현한 것으로, PLC와 연동하여 즉각적으로 소비자가 필요로 하는 맞춤형 주문 생산이 가능할 것으로 기대된다.

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

• Proceedings of the KIEE Conference
• /
• 2007.10a
• /
• pp.265-266
• /
• 2007

본 논문에서는 안전등급 PLC(Programable Logic Controller) LD/FBD(Ladder/Function Block Diagram) 프로그램을 C-코드로 변환하는 C-코드 발생기의 시험에 관해서 다룬다. 개발된 C-코드 발생기는 로직 분석, 오류 검출, C-코드 생성 등 각 부분 별로 시험 항목을 설정하고 검증하는 방법에 대해서 서술한다. 또한 C-언어로 작성된 사용자 정의 함수/함수 블록에 관한 시험 항목을 기술한다.

• KIPS Transactions on Computer and Communication Systems
• /
• v.12 no.4
• /
• pp.127-134
• /
• 2023

This paper describes how to port the eCos operating system and PROFINET communication stack developed based on gcc to the IAR compiler. The eCos operating system provides basic functions such as multi-thread, TCP/IP, and device driver for PROFINET operation, so there is no need to change it when developing PROFINET applications. Therefore, in this study, we reuse an eCos library built with gcc and it link with PROFINET communication stack that are ported to IAR complier. Due to the different of the gcc and IAR linker, symbol definitions and address of the constructors should be changed using the external tool that generates symbol definitions and address of the constructors from MAP file. In order to verify the proposed method, it was confirmed that the actual I/O was operating normally through PROFINET IRT communication by connecting to the Siemens PLC. IAR compiler has better performance in both the compile time and the size of the generated binary. The proposed method in this study is expected to help port various open sources as well as eCos and PROFINET communication stacks to other compilers.