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.

Formal Specification and Code Generation of Programable Logic Controllers

Formal Modeling and Synthesis of Programmable Logic Controllers

Synthesis of logical controllers and discrete-event systems supervisory control theory

Formal Component-Based Modeling and Synthesis for PLC Systems

Toward Reliable Programmable Logic Controller Function Block Diagrams

Design and Implementation of Automatic Verification for PLC Systems

Parameterized Specification and Verification of PLC Systems in Coq.

Symbolic Analysis of Programmable Logic Controllers

Modelling and Verification of Program Logic Controllers Using Timed Automata

Agents4PLC: Automating Closed-loop PLC Code Generation and Verification in Industrial Control Systems using LLM-based Agents

A Refinement-Based Validation Method for Programmable Logic Controllers

Semantic characterization of programmable logic controller programs.

PLC Modeling and Checking Based on Formal Method.

Automatic verification of event-driven control programs: A case study

Verifying Programmable Logic Controllers with Abstraction

Formal Verification of Safety PLC Based Control Software

Domain-Driven Probabilistic Analysis Of Programmable Logic Controllers

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

HyPLC: Hybrid Programmable Logic Controller Program Translation for Verification

Translation-Based Model Checking for PLC Programs

Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems