Abstract:Programmable Logic Controllers (PLCs) are microcomputers essential for automating factory operations. Structured Text (ST), a high-level language adhering to the IEC 61131-3 standard, is pivotal for PLCs due to its ability to express logic succinctly and to seamlessly integrate with other languages within the same standard. However, vendors develop their own customized versions of ST, and the lack of comprehensive and standardized documentation for the full semantics of ST has contributed to inconsistencies in how the language is implemented. Consequently, the steep learning curve associated with ST, combined with ever-evolving industrial requirements, presents significant challenges for developers. In response to these issues, we present AutoPLC, an LLM-based approach designed to automate the generation of vendor-specific ST code. To facilitate effective code generation, we first built a comprehensive knowledge base, including Rq2ST Case Library (requirements and corresponding implementations) and Instruction libraries. Then we developed a retrieval module to incorporate the domain-specific knowledge by identifying pertinent cases and instructions, guiding the LLM to generate code that meets the requirements. In order to verify and improve the quality of the generated code, we designed an adaptable code checker. If errors are detected, we initiate an iterative self-improvement process to instruct the LLM to revise the generated code. We evaluate AutoPLC's performance against seven state-of-the-art baselines using three benchmarks, one for open-source basic ST and two for commercial Structured Control Language (SCL) from Siemens. The results show that our approach consistently achieves superior performance across all benchmarks. Ablation study emphasizes the significance of our modules. Further manual analysis confirm the practical utility of the ST code generated by AutoPLC.

Static slicing for PLC program with ladder transformation

Reverse Engineering Physical Semantics of PLC Program Variables Using Control Invariants.

A New Approach for PLC Ladder Diagram Design.

From Control Application to Control Logic: PLC Decompile Framework for Industrial Control System

An Algorithm about Transforming PLC Ladder Diagram to Instruction List Based on Series-Parallel Merging Method

Formal Component-Based Modeling and Synthesis for PLC Systems

Program slicing techniques and its applications

Research on Conversion Algorithm for Ladder Diagram to Instruction List in PLC

Symbolic execution of programmable logic controller code

A Solution to the Embedded PLC's Programmer in the CNC System

Structured Dynamic Program Slicing

A Multi-Agent Framework for Extensible Structured Text Generation in PLCs

A Binary Level Verification Framework for Real-Time Performance of PLC Program in Backhaul/Fronthaul Networks

A Brief Survey of Program Slicing.

Automatic test of PLC program based on OPC

Design of ladder diagram checking module in PLC software

A Soft PLC Ladder Diagram Edit Software Implemented Based on Table Technology.

Study on Integrated System of Intelligent Embedded Programmable Logic Controller

On hardware synthesis and implementation of PLC programs in FPGAs

Exploring Code Clones in Programmable Logic Controller Software

Domain‐specific translation tool from structured text to C source code with code readability enhancement in programmable logic controllers