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.

Automatic Generation of C-code or PLD Circuits under SFC Graphical Environment

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

Formal Specification and Code Generation of Programable Logic Controllers

An FPGA-based approach to the automatic generation of VHDL code for industrial control systems applications: A case study of MSOGIs implementation

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

Automatic SDF-based Code Generation from Simulink Models for Embedded Software Development

Formal Modeling and Synthesis of Programmable Logic Controllers

Low-Cost Embedded Controller for Complex Control Systems

Formal Component-Based Modeling and Synthesis for PLC Systems

Source-code-level Transformation and APT-Driven Parallelism Pre-processes for Embedded System Automated Design

On hardware synthesis and implementation of PLC programs in FPGAs

Component-based Functional Integrated Circuit System Design and Its Straight Implementation

G4LTL-ST: Automatic Generation of PLC Programs

Exploring LLM Support for Generating IEC 61131-3 Graphic Language Programs

Automated Generation of Control Logic from System Design Based on SysML and the IEC 61499 Function Block

Automatic Code Generation for Fuel Cell Control System

On Formal Reasoning on the Semantics of PLC using Coq

Using advanced FPGA SoC technologies for the design of industrial control applications

SCGen: A Versatile Generator Framework for Agile Design of Stochastic Circuits

Mppsocgen: A framework for automatic generation of mppsoc architecture

PGPG: An Automatic Generator of Pipeline Design for Programmable GRAPE Systems