Standard Conformant Prompting (SCP): A Reproducible Framework for Compiler-Ready PLC Code Generation with Large Language Models : From Post-Hoc Verification to Standard-Driven Code Synthesis in Industrial Automation
Jul 2026· International Conference on Control, Decision and Information Technologies· pp. 124-129· 0 citations· 12 references
Abstract
Generating PLC programs with Large Language Models (LLMs) that are directly deployable in industrial toolchains remains challenging because outputs must satisfy IEC 61131-3 semantics and vendor-specific compilation constraints. Verification-centric prompting such as Chain-of-Verification (CoVe) can reduce reasoning errors via post-hoc self-checking, but it does not enforce conformance during generation; consequently, outputs may remain non-compilable or structurally non-compliant. This paper introduces Standard Conformant Prompting (SCP), a compliance-driven prompting architecture that embeds IEC 61131-3 rules, vendor syntax profiles, declaration discipline, and safety-oriented structural templates directly into the prompt to constrain first-pass synthesis toward TIA Portal-targeted PLC code. SCP is evaluated on a fixed 25-industrial use cases under a reproducible protocol, with primary validation based on LLM-in-the-Loop (LITL) semantic assessment using five independent validator LLMs. Across validators, SCP achieves higher and more stable correctness ratings than CoVe while reducing safety-related failure modes and post-hoc correction needs; BLEU and expert Human-in-the-Loop (HITL) review are additionally reported as secondary comparisons. Future work will strengthen industrial applicability by adding compiler-and simulation-in-the-loop validation, extending modular vendor constraint libraries, and integrating SCP into real engineering workflows (e.g., TIA Portal and TwinCAT) to quantify commissioning effort, maintainability, and certification readiness.
Deployed large language model (LLM) agents are now being used to interface with external tools, fetch information, run code, interact with user data and help with decision making at the workflow level. Therefore, their safety issues are not only related to the underlying model, but also to tool permissions, prompt desi...
Aakash Abhay Yadav, Shashank Shelat, B. Hinduja et al.· International Conference on...· 0 citations
This work proposes an integrated view on the use of LLMs for EDA and establishes an LLM-enabled behavior driven hardware development workflow, introducing and defining Formal Verification Gherkin Scenarios (FV Gherkin Scenarios), unlocking CNL specifications as the foundation for formally verified hardware designs via...
This work proposes VPID, a multi-agent framework for generating complex Verilog that achieves monotonic functional improvement and introduces an experience-guided refinement strategy that distills historical waveform mismatches into constraints, guiding the targeted debugging for the unverified ports.
Hong-Guang Wang, Jiaming Guo, Rui Zhang et al.· Proceedings of the Thirty-Fi...· 0 citations
Formal specification techniques have been introduced to address the ambiguities inherent in natural-language hardware specifications. One such approach is the Universal Specification Format (USF), which provides a machine-readable, formal reference for Register-Transfer Level (RTL) verification. However, verifying agai...
Robert Kunzelmann, Raphael Kunz, Stephanie Ecker et al.· Journal of Signal Processing...· 0 citations
BRIDGE is presented, a structured prompting framework that decomposes verification into three interconnected domains: Code (implementations), Specifications (formal intent), and Theorem State-ments (constructive correctness claims), and elicits domain-specific intermediate reasoning to connect them.
Robert Joseph George, Carson Eisenach, Udaya Ghai et al.· 0 citations
Large Language Models are increasingly used to generate structured engineering artifacts, yet the instruction artifacts that govern this generation are rarely treated as modeling artifacts in their own right. They typically appear as monolithic prompt blocks, schemas, or informal examples. When tools, metamodels, APIs,...
Louis Burk, Alexander Fischer, Christoph Scharnagl et al.· Proceedings of the ACM/IEEE...· 0 citations
Short chart specifications are easy to write, but often produce uninspiring results. Flint is an open-source visualization language that offers a middle path, letting AI agents create expressive charts from compact, human-editable specifications. The post Flint: A visualization language for the AI era appeared first on Microsoft Research.