Ladder Logic Translation using Large Language Models in Industrial Automation

Technische Samenvatting: Vertaling van Ladder Logic met behulp van Large Language Models in Industriële Automatisering

Probleemstelling
Het artikel behandelt de kritieke uitdaging van het migreren van Programmable Logic Controller (PLC) code tussen leveranciers, specifiek van Rockwell Automation (Allen-Bradley) naar Siemens. Hoewel beide platforms nominaal voldoen aan de IEC 61131-3 standaard, wordt interoperabiliteit in de praktijk belemmerd door mismatchende programmeeromgevingen, incompatibele ladder logic-constructen en verschillen in semantische expressiviteit. Bestaande migratietools vertrouwen op statische instructie-mappings die vaak falen bij complexe geneste vertakkingslogica en leveranciersspecifieke constructen, wat uitgebreide handmatige correctie noodzakelijk maakt. De auteurs stellen dat Large Language Models (LLMs), gecombineerd met symbolische representaties, een pad bieden om deze vertaling te automatiseren terwijl de semantische consistentie behouden blijft.

Methodologie en Architectuur
De voorgestelde oplossing is een rigoureus ontworpen pipeline die ontworpen is om de Rockwell L5X XML-bestanden te vertalen naar Siemens SimaticXML (importeerbaar via de TIA Portal Openness API). De architectuur bestaat uit vier primaire fasen:

1. XML Extractie en Objectgeoriënteerde IR-constructie: Het proces begint met een C#-parser die de L5X XML-structuur herstelt. In plaats van de ruwe XML direct aan een LLM te voeden, construeert het systeem een deterministische, objectgeoriënteerde Intermediate Representation (IR). Deze IR legt de PLC-executiehiërarchie vast als een $n$-tuple: $IR = (T, P(\cdot), R(\cdot), L(\cdot))$, representatief voor Tasks, Program mappings, Routine mappings en geordende Rung-sequenties.
2. Mathematische Formalisering: De vertaling wordt geformaliseerd als een sequentietransductieprobleem. De auteurs definiëren de semantische functie van een routine als een niet-commutatieve compositie van rung-niveau transformaties ($\delta_r = u_k \circ \dots \circ u_1$). Deze formalisering benadrukt dat de volgorde van instructies essentieel is, waarbij het probleem wordt gekaderd als een mapping waarbij een LLM de mapping kan leren van een geordende instructiesequentie naar de geïnduceerde transformatie.
3. LLM-gestuurde Vertaling: De kernmotor maakt gebruik van een LLM die is gefinetuned op uitgelijnde paren van L5X-afgeleide representaties en SimaticXML-blokken. Het model maakt gebruik van schema-beperkte prompting, waarbij Siemens-specifieke bloktemplates (OB, FB, FC) en toegestane instructie-enumeraties worden opgenomen om structurele validiteit te garanderen. Voor elke rung genereert het model zowel een verklaring van het gedrag in natuurlijke taal als de doelgerichte SimaticXML-representatie.
4. Consistentiecontrole en Deterministische Post-verwerking: Een cosinus-gelijkenismetriek wordt berekend tussen de SimaticXML afgeleid van de L5X-bron en de SimaticXML afgeleid van de gegenereerde beschrijving in natuurlijke taal. Outputs die onder een vooraf ingestelde drempelwaarde vallen, worden afgewezen. Ten slotte corrigeert deterministische regelgebaseerde post-verwerking veelvoorkomende fouten, zoals de reconstructie van ladder-netwerken en referentienormalisatie, voordat het uiteindelijke project wordt samengesteld.

Belangrijkste Bijdragen

• Formele Probleemdefinitie: Het artikel biedt een wiskundige formulering van ladder logic-vertaling als een sequentietransductie over een hiërarchische intermediate representatie, waarbij de niet-commutatieve aard van PLC-instructiecompositie expliciet wordt gemodelleerd.
• Hybride Pipeline Architectuur: Het introduceert een nieuwe pipeline die de generatieve last op de LLM vermindert door een deterministische IR en schema-beperkte prompting te gebruiken, in plaats van enkel te vertrouwen op end-to-end generatieve vertaling.
• Validatiemechanisme: De inclusie van een consistentiecontrole met behulp van verklaringen in natuurlijke taal en cosinus-gelijkenis dient als een nieuw verificatiestap om semantisch inconsistente vertalingen te filteren.

Resultaten
Het systeem werd geëvalueerd op een shift-register controleprogramma dat oorspronkelijk geschreven was in Rockwell L5X en vertaald naar Siemens SimaticXML. De kwantitatieve resultaten (Tabel 1) geven aan:

• Hiërarchie Behoud: 100% nauwkeurigheid in het vertalen van Task, Program en Routine hiërarchieën.
• Instructie Vertaling: Hoge nauwkeurigheid in rekenkundige en vergelijkingsoperaties (92,7%) en controller/globale tag afhandeling (91,2%).
• Algemene Prestaties: Het systeem bereikte een algehele vertaalnauwkeurigheid van 90,6% over 437 elementen.
• Foutmodi: De primaire gebieden met verminderde prestaties waren de geblokte vertakkingslogica (85,4% correct) en de rung-naar-netwerk vertaling (90,6% correct). De auteurs schrijven deze fouten toe aan de moeilijkheid van het impliciet reconstrueren van complexe vertakkingsstructuren uit L5X-representaties.

Significantie en Claims
Het artikel claimt dat de voorgestelde architectuur succesvol aantoont dat LLM's effectief kunnen worden toegepast op industriële automatisering-codevertaling wanneer zij worden gestuurd door gestructureerde intermediate representaties en beperkte generatie. De resultaten suggereren dat het expliciet modelleren van hiërarchische structuren en het gebruik van beperkte IR's de consistentie van symbool-niveau vertaling aanzienlijk verbetert. De auteurs concluderen bescheiden dat hoewel het systeem een hoge semantische consistentie bereikt over instructie-categorieën, het bedoeld is om de architectuur te valideren in plaats van een volledige dekking van alle PLC-constructen te bieden. Zij identificeren de noodzaak voor toekomstig werk om de IR uit te breiden naar een meer expliciete codering van de vertakkingstopologie en de control-flow afhankelijkheden om verdere ambiguïteit te verminderen.