Kuidas lahendada LLM-i PLC-dialekti tõrkeid tootjateadliku valideerimisega

Lõhe ületamiseks LLM-ide ja reaalsete PLC-de vahel peavad insenerid valideerima tehisintellekti loodud koodi konkreetsete riistvaradialektide ja deterministliku täitmiskäitumise suhtes. Kuna patenteeritud PLC-keskkonnad on avalikes mudelite treeningandmetes halvasti esindatud, pakub OLLA Lab piiratud simulatsioonikeskkonda, et paljastada adresseerimise, järjestamise ja blokeeringute tõrked enne juurutamist.

LLM-i ebaõnnestumine PLC-töös ei ole peamiselt süntaksi probleem. See on juurutatavuse probleem. Mudel võib toota redeldiagrammi (Ladder) või struktureeritud teksti (ST), mis näeb usutav välja, viitab õigesti IEC 61131-3 keelenimedele ja ebaõnnestub siiski hetkel, kui see puutub kokku reaalse tootja kompilaatori, reaalse skannimisaja või reaalse lubavate tingimuste ahelaga.

Ampergon Vallis Labi kvaliteedi tagamise meeskonna hiljutise sisemise võrdlusuuringu käigus tootis 82% null-laenguga (zero-shot) päringutest, milles paluti Mitsubishi struktureeritud teksti standardse pumba sekventseri jaoks, vigase seadme adresseerimise, mitte-natiivse taimeri kasutuse või segadialektide konstruktsioone. See toetab ühte kitsast väidet: töötlemata LLM-i väljund on tootjaspetsiifilise PLC-töö jaoks ilma valideerimiseta ebausaldusväärne. See ei tõesta, et kogu tehisintellekti toetatud PLC-arendus ebaõnnestub või et iga mudel toimib võrdselt halvasti.

See eristus on oluline. Juhtimissüsteemides on „peaaegu õige“ sageli lihtsalt kiirem tee vealoendini.

IEC 61131-3 määratleb keeleperekondi, mitte universaalset rakenduslikku reaalsust. Standard annab teile kategooriad, nagu redeldiagramm ja struktureeritud tekst; see ei kustuta tootjaspetsiifilisi adresseerimismudeleid, taimeri semantikat, kompilaatori ootusi, projektistruktuure ega inseneritöö vooge.

Levinud eksiarvamus on, et „IEC-ühilduv“ tähendab „piisavalt kaasaskantav, et LLM saaks seda õigesti järeldada“. See ei ole nii. Vastavus standardi tasemel ei ole sama mis dialekti ekvivalentsus kontrolleri tasemel. Süntaksiklass ja juurutatav kood on erinevad asjad.

Patenteeritud andmete defitsiit

Üldotstarbelised LLM-id on tugevalt treenitud avalikel tarkvarakorpusel. Tööstusautomaatika kood on erinev ühel lihtsal põhjusel: suur osa kasulikust materjalist on lukustatud patenteeritud insenerikeskkondadesse ja privaatsetesse projektiarhiividesse.

Praktikas tähendab see järgmist:

• Avalikud hoidlad sisaldavad tohutul hulgal Pythonit, JavaScripti, C-d ja C++-i.
• Toored Rockwelli `.ACD`-failid, Siemensi TIA projektistruktuurid ja Mitsubishi GX Worksi projektivarad on harva kättesaadavad avatud treeningmaterjalina.
• Suur osa tootjaspetsiifilisest loogikast eksisteerib integraatorite varukoopiates, tehase arhiivides, OEM-projektides ja kasutuselevõtu sülearvutites – millest ükski ei ole standardne avalik korpusmaterjal.
• Seetõttu interpoleerib mudel sageli käsiraamatutest, foorumite fragmentidest, treeningnäidetest ja külgnevatest koodimustritest, mitte laialdasest kokkupuutest tootmistaseme PLC-projektidega.

Seetõttu võib LLM kõlada enesekindlalt, olles samal ajal mehaaniliselt vale. Enesekindlus on odav; kompilaatori heakskiit mitte.

Kuidas tootjate mäluarhitektuurid tekitavad dialektide tõrkeid?

Tootja dialekti tõrge algab tavaliselt mälumudelist. Mudel ei vaja lihtsalt õiget juhise nime. See vajab õigeid eeldusi selle kohta, kuidas kontroller nimetab, salvestab ja hindab olekut.

- Siemens: Võib kasutada absoluutseid vorme, nagu `%I0.0` ja `%Q0.0`, või tugineda sümboolsele juurdepääsule. - Rockwell: Kasutab tavaliselt sildipõhiseid struktuure, nagu `Local:1:I.Data.0`. - Mitsubishi: Kasutab seadmele orienteeritud adresseerimist, nagu `X`, `Y`, `M`, `D`, `T`, `C`.

Tulemus on etteaimatav: mudel genereerib koodi, mis ei kuulu kuhugi. See on diplomaatiline kompromiss käsiraamatute vahel, mida pole kunagi pidanud koos kompileerima.

Kõige levinum hallutsinatsioon on tootjatevaheline juhiste segamine. Kood näeb tuttav välja, sest iga fragment on tuttav. Probleem on selles, et fragmendid on tuttavad erinevatele ökosüsteemidele.

| Tootja | Natiivne või levinud taimeri vorm | Tüüpiline LLM-i viga | |---|---|---| | Rockwell | `TON` koos liikmetega nagu `.EN`, `.TT`, `.DN` | Rakendab Rockwelli liikme semantikat mitte-Rockwelli taimeristruktuuridele | | Siemens | Tootjaspetsiifilised taimeriplokid | Leiutab `.DN`-stiilis lõpetamisbitid | | Mitsubishi | Seadme/taimeri vormid nagu `OUT T0` | Asendab seadme taimerid üldise IEC taimeri süntaksiga |

PLC-d ei täida koodi nagu veebirakendused või skriptid. Need täidavad koodi deterministlikus skannimistsüklis: loe sisendeid, täida loogikat, kirjuta väljundeid. Kui mudel eeldab kohest oleku muutumist, genereerib see loogika, mis näib järjestuses õige, kuid käitub kontrolleril valesti.

Ohutu tehisintellekti kasutamine juhtimissüsteemides nõuab valideerimiskihti. OLLA Labi on kõige parem mõista kui seda kihti: veebipõhine keskkond, kus insenerid ehitavad redeldiagrammi loogikat, jälgivad muutujate käitumist, seovad loogika realistlike stsenaariumidega ja testivad, kas genereeritud juhtimiskavatsus elab üle deterministliku simulatsiooni.

### Töövoog: Genereeri → Simuleeri → Muuda

1. Genereeri: Kasutage LLM-i loogika visandamiseks. 2. Ehita: Taastage loogika OLLA Labi redaktoris. 3. Seo: Ühendage muutujad realistliku stsenaariumiga. 4. Simuleeri: Käivitage loogika ja kontrollige põhjuslikkust. 5. Muuda: Parandage vead ja testige uuesti.

LLM-id ei ebaõnnestu PLC-töös, sest automatiseerimine on tehisintellekti jaoks liiga segane. Need ebaõnnestuvad, sest tootjate dialektid, deterministlik täitmine ja protsessi blokeeringud ei andesta ligikaudsust. Õige vastus on nende panemine distsiplineeritud valideerimistöövoogu, kasutades OLLA Labi simulatsioonikeskkonda.

Ampergon Vallis Labi insenerimeeskond on spetsialiseerunud tööstusautomaatika ja tehisintellekti integreerimisele, keskendudes kriitiliste juhtimissüsteemide valideerimisele ja ohutusele.

See artikkel on koostatud tuginedes Ampergon Vallis Labi sisemistele võrdlusuuringutele (2026) ning järgib IEC 61131-3 ja IEC 61508 standarditega seotud parimaid tavasid.

- IEC 61131-3: Programmeeritavad kontrollerid — 3. osa: Programmeerimiskeeled - IEC 61508 Funktsionaalse ohutuse standardite perekond - NIST tehisintellekti riskijuhtimise raamistik (AI RMF 1.0) - EL-i tööstus 5.0 poliitika taust - Digitaalse kaksiku ülevaade (NIST)