Kuidas valideerida PLC-loogikat Software-in-the-Loop (SITL) ja OLLA Lab digitaalsete kaksikute abil

Software-in-the-Loop (SITL) testimine tööstusautomaatikas on PLC-juhtloogika käivitamine seadmete käitumist kirjeldava tarkvaramudeli, mitte füüsilise riistvara vastu. OLLA Lab keskkonnas saab redeldiagrammi loogikat testida 3D-digitaalsete kaksikute vastu, et kontrollida järjestuse ajastust, blokeeringuid, ebanormaalset käitumist ja tõrgetest taastumist enne reaalset kasutuselevõttu.

Süntaktiliselt korrektne redeldiagramm ei ole sama mis kasutuskõlblik juhtloogika. Kompilaator suudab kinnitada käskude kehtivust, siltide järjepidevust ja põhilist täitmisjärjekorda; see ei ütle teile, kas konveier liigub vastu väljasirutatud silindrit, kas taaskäivitusjärjestus pingestab ohtlikud liikuvad osad või kas andur reageerib liiga hilja, et mehhanismi kaitsta. Süntaks on odav. Kasutuselevõtu vead ei ole.

Kasulik definitsioon simulatsioonivalmidusele on operatiivne, mitte püüdluslik: insener on simulatsioonivalmis, kui ta suudab juhtloogikat tõestada, jälgida, diagnoosida ja karastada realistliku protsessikäitumise vastu enne, kui see jõuab reaalsesse protsessi.

Ampergon Vallis sisemises analüüsis, mis hõlmas 1200 OLLA Lab keskkonnas simuleeritud kasutuselevõtu stsenaariumi, tuvastasid kasutajad, kes valideerisid loogikat 3D-digitaalse kaksiku abil, 84% modelleeritud mehaanilistest võistlusolukordadest (race conditions) enne esimest füüsilist käivitamist. Metoodika: valimi suurus = 1200 stsenaariumi eelhäälestatud ja kohandatud laborites; ülesande definitsioon = modelleeritud võistlusolukordade, nagu kattuvate ajamite ja indekseerimiskonfliktide tuvastamine; võrdlusbaas = loogika ülevaatus ja kompileerimise kehtivus ilma digitaalse kaksiku simulatsioonita; ajavahemik = jaanuar 2025 kuni veebruar 2026. See toetab väidet, et simulatsioon võib paljastada tõrkeid, mida tavalised süntaksikontrollid ei näe. See ei tõesta välist töökindlust, operaatori pädevust ega ohutussertifikaati.

SITL, HIL ja füüsiline kasutuselevõtt vastavad erinevatele valideerimisküsimustele. Nende käsitlemine vahetatavatena on kindel viis riske eirata.

VDI 3693 standardis kirjeldatud virtuaalse kasutuselevõtu raamistikus tähendab Software-in-the-Loop (SITL), et nii kontrolleri loogika kui ka seadme käitumine on esindatud tarkvaras, ilma et oleks vaja füüsilist PLC-d, väljakaabeldust või masina riistvara. Eesmärk on valideerida juhtimiskäitumist simuleeritud protsessireaktsiooni vastu riskivabas keskkonnas.

Hardware-in-the-Loop (HIL) liigub reaalsusele ühe sammu võrra lähemale. Seade jääb simuleerituks, kuid kasutusele võetakse tegelik kontrolleri riistvara. See testib riistvara ajastust, I/O käsitsemist ja teatud platvormispetsiifilist käitumist, mida SITL ei suuda täielikult reprodutseerida.

Füüsiline kasutuselevõtt on täielik komplekt: juhtloogika, füüsiline PLC, kaabeldus, instrumentatsioon, ajamid, masina dünaamika ja üllatused, mis ilmnevad nende kõigi kohtumisel käivitamise ajal.

### Võrdlus: SITL vs HIL vs füüsiline kasutuselevõtt

| Valideerimisrežiim | Mis on reaalne | Mis on simuleeritud | Peamine eesmärk | Riskitase | |---|---|---|---|---| | SITL | Juhtloogika täitmise keskkond | Seadme/masina käitumine | Valideerida järjestusloogikat, blokeeringuid, ajastuse eeldusi, olekute üleminekuid, tõrkeotsingut | Madal | | HIL | Füüsiline PLC/kontrolleri riistvara | Seadme/masina käitumine | Valideerida kontrollerispetsiifilist täitmist, I/O käitumist, riistvara ajastust, integratsiooni eeldusi | Keskmine | | Füüsiline kasutuselevõtt | PLC, kaabeldus, andurid, ajamid, masin/protsess | Vähe või üldse mitte | Valideerida juurutatud süsteemi tegelikes töötingimustes | Kõrge |

Milleks SITL sobib

• Järjestuse ja lubavate tingimuste (permissive logic) kontrollimine
• Häirete ja väljalülitusrežiimide testimine
• Taaskäivitus- ja taastumisloogika harjutamine
• Käskude ja tagasiside vaheliste võistlusolukordade paljastamine
• Ebanormaalsete olekute läbimängimine ilma seadmeid ohtu seadmata

Mida SITL ei asenda

• Objektil tehtavat vastuvõtutestimist (SAT)
• Ahelate kontrolli ja kaabelduse verifitseerimist
• Funktsionaalse ohutuse valideerimist
• SIL-taseme määramist või vastavuse tõestamist
• Operaatorikoolitust täpselt paigaldatud varal, välja arvatud juhul, kui mudeli ulatus seda toetab

See piir on oluline. Digitaalne kaksik on kasulik, kuna see vähendab ebakindlust, mitte sellepärast, et see selle kõrvaldaks.

Redeldiagramm ebaõnnestub välitingimustes, kuna füüsilised süsteemid ei ole Boole'i diagrammid. Neil on viivitus, inerts, hõõrdumine, triiv ja tõrkerežiimid, mida kompilaator ei modelleeri.

Kompileeritav rida võib siiski käskida võimatut järjestust. See võib käskida ka võimalikku järjestust valel ajal, mis on sageli hullem, kuna see ebaõnnestub perioodiliselt.

Kolm füüsilist reaalsust, mida kompilaatorid eiravad

1. Mehaaniline inerts Seiskamiskäsk ei tekita hetkelist seiskumist. Mootorid veerevad, konveierid liiguvad üle ja rippuvad koormad jätkavad liikumist. Loogika võib olla skaneerimise tasemel korrektne, kuid masina tasemel vale.
2. Anduri latentsus Reaalsetel anduritel on reageerimisaeg, paigaldustolerants, põrge ja filtreerimine. Fotoelement või piirlüliti, mis muudab olekut mõni millisekund oodatust hiljem, võib muidu elegantse järjestuse kehtetuks muuta.
3. Ajamite kleepuvus ja protsessi viivitus Pneumaatilised silindrid vajavad rõhu tõusu. Ventiilid võivad enne liikumist kinni jääda. Pumbad ei tekita stabiilset voolu hetkel, kui mootori bitt sisse lülitub. Redeldiagrammi see ei huvita; protsessi aga küll.

„Näeb õige välja“ eksitus

„Näeb õige välja“ tähendab tavaliselt „läbib visuaalse kontrolli ideaalsete eelduste korral“. See ei ole sama mis tõestamine, et järjestus peab vastu realistlikule ajastusele ja tõrketingimustele.

Mõelge sorteerimiskonveierile koos lükkesilindriga:

• Loogika käsib konveieri peatada.
• Loogika käsib silindril välja sirutuda.
• Loogika ootab väljasirutuse kinnitust.
• Loogika taaskäivitab konveieri pärast toote suunamist.

Paberil on see korras. Simuleeritud masinas võib konveier aga ikka veel veereda, kui silinder siseneb rajale. Kui järjestus sõltub hetkelisest peatumisest, põrkub mehhanism kokku, kuigi iga rida on seaduslik ja iga sildi nimi on õige. Kompilaator ei vaidlusta seda. Füüsika tavaliselt teeb.

Selles artiklis ei ole digitaalne kaksik 3D-graafika brändinimi. See on tarkvaramudel, mis vahetab olekut juhtloogikaga deterministlikus valideerimistsüklis.

Operatiivselt on PLC valideerimise digitaalne kaksik:

> Kinemaatiline ja diskreetsete sündmuste tarkvaramudel, mis tarbib PLC väljundeid, rakendab simuleeritud füüsilisi piiranguid, nagu liikumise viivitus, gravitatsioon, hõõrdumine ja olekust sõltuv ajastus, ning tagastab deterministlikud anduri- ja protsessisisendid tagasi juhtloogikasse.

See definitsioon on tahtlikult kitsas. See välistab dekoratiivse visualiseerimise, mis ei osale juhtimisolekute vahetuses.

Kasulik digitaalne kaksik juhtimissüsteemide tööks peab tegema nelja asja

Näide: mootori käivituskäsud, ventiili avamise käsud, silindri väljasirutuse bitid, analoogseadepunktid.

• Tarbib kontrolleri väljundeid

Näide: kiirendus, aeglustus, viibeaeg, liikumisaeg, rõhu viivitus, taseme muutus või protsessi viivitus.

• Rakendab modelleeritud seadmete käitumist

Näide: läheduslülitid, fotoelemendid, piirlüliti, analoogväärtused, häireolekud, kinnitussignaalid.

• Tagastab simuleeritud sisendid loogikasse

Sama testjuhtum peab olema piisavalt reprodutseeritav, et diagnoosida loogikamuudatusi ja võrrelda versioone.

• Säilitab deterministlikud testitingimused

See on vahe video ja valideerimiskeskkonna vahel. Üks on illustratiivne. Teine suudab halva juhtloogika blokeerida.

OLLA Lab muutub operatiivselt kasulikuks, kui redelprogramm ja simuleeritud seadmed jagavad jälgitavat olekut. Platvorm ei ole lihtsalt redeldiagrammi redaktor koos stseeniga selle kõrval; väärtus seisneb loogikamuutujate sidumises masina käitumisega ja seejärel tsükli sulgemise jälgimises.

OLLA Labis loovad kasutajad redeldiagrammi loogikat veebipõhises redaktoris, käivitavad selle simulatsioonirežiimis ning kontrollivad või manipuleerivad muutujaid muutujate paneeli kaudu. Platvorm toetab Boole'i, analoog-, taimeri-, võrdlus-, matemaatika- ja PID-orienteeritud õppevooge koos 3D/WebXR simulatsioonistsenaariumitega. Selles töövoos saab silte seostada simuleeritud seadmete olekutega, nii et käsubitid juhivad mudelit ja mudeli sündmused tagastavad tagasiside loogikasse.

Praktiline siltide sidumise töövoog OLLA Labis

Tüüpiline valideerimisseadistus näeb välja selline:

• Defineerige käsusildid redeldiagrammi loogikas
• `Conveyor_Run_CMD`
• `Cylinder_Extend_CMD`
• `Reset_Fault_CMD`

• Defineerige tagasiside- ja andurisildid
• `Conveyor_At_Speed`
• `Cylinder_Extended_LS`
• `Photoeye_PE1`
• `Jam_Fault`

• Siduge käsusildid digitaalse kaksiku käitumisega
• `Conveyor_Run_CMD` juhib konveieri liikumise olekut
• `Cylinder_Extend_CMD` juhib ajami väljasirutuse järjestust

• Siduge simuleeritud seadmete vastused tagasi siltidega
• Konveieri liikumine uuendab `Conveyor_At_Speed`
• Virtuaalne piirlüliti uuendab `Cylinder_Extended_LS`
• Virtuaalne kiirgus- või objektituvastus uuendab `Photoeye_PE1`

• Käivitage järjestus ja kontrollige olekute üleminekuid
• Lülitage sisendeid
• Peatage, käivitage või seisake simulatsioon
• Jälgige siltide muutusi, taimereid, analoogväärtusi ja tõrkeolekuid

Mida see insenerile annab

• Nähtav põhjus-tagajärg ahel redeldiagrammi loogika ja masina reaktsiooni vahel
• Koht, kus testida, kas blokeeringud on tegelikult piisavad
• Viis kontrollida ajastuse ebakõlasid käsu ja kinnituse vahel
• Ohutu keskkond tõrgete sisestamiseks, mis oleksid reaalsetel seadmetel kulukad või ohtlikud

Siin sobib OLLA Lab usaldusväärselt: riskivaba harjutuskeskkonnana valideerimiseks ja tõrkeotsingu praktikaks. See ei asenda objektil toimuvat kasutuselevõttu, kuid võimaldab inseneridel harjutada kasutuselevõtu osi, mis on liiga hävitavad, liiga kallid või liiga häirivad, et neid reaalajas liinil õppida.

Kõige väärtuslikumad SITL-testid ei ole nominaalsed järjestused. Need on ebanormaalsete olekute testid. Peaaegu iga juhtimisstrateegia näeb pädev välja, kui iga andur käitub ja iga ajam saabub õigel ajal.

Kohustuslikud SITL-testjuhtumid

Käivitage hädaseiskamine ajal, mil liikumine on aktiivne ja mehhanism kannab või lükkab materjali. Kontrollige:

• ohtlik liikumine lülitub välja ettenähtud viisil,
• olekumälu käitub prognoositavalt,
• taaskäivitamine nõuab operaatori teadlikku tegevust,
• puudub varjatud automaatse jätkamise tee.

Sundige normaalselt suletud või normaalselt avatud piirlüliti rikkerežiimi liikumise ajal. Kontrollige:

• tõrke tuvastamine toimub oodatud ajaaknas,
• liikumine on takistatud või ohutult peatatud,
• häiretekst ja tõrkebitid on ühemõttelised,
• lähtestamistingimused on teadlikud ja piiratud.

Simuleerige juhtimistoite kadumist või täitmise katkestust. Kontrollige:

• väljundid naasevad ohututesse vaikeolekutesse,
• käivitusloogika ei taaskäivita automaatselt ohtlikku liikumist,
• säilitatud olekud ei loo võimatuid järjestuse eeldusi,
• operaatori kinnitus on vajadusel nõutav.

Käskige liikumine ja jätke oodatud tagasiside andmata. Kontrollige:

• ajalõpu loogika rakendub,
• tõrge lukustub korrektselt,
• järgnev liikumine on blokeeritud,
• taastumistee on selgesõnaline.

Tutvustage ajastuse kattuvust külgnevate masinaolekute vahel. Kontrollige:

• vastastikku välistavad toimingud jäävad välistavateks,
• üks olek ei saa teist ette jõuda ilma nõutava tõestuseta,
• skaneerimisjärjekorra eeldused ei varja järjestusdefekti.

Sisestage protsessihäireid või ebarealistlikke anduriväärtusi. Kontrollige:

• häired aktiveeruvad määratletud lävedel,
• juhtväljund käitub oodatud piirides,
• sujuv üleminek või režiimimuutused on korrektselt käsitletud,
• väljalülitused ja lubavad tingimused jäävad analooghäirete korral sidusaks.

1. Asünkroonne hädaseiskamine koormuse all
2. Anduri rike ja ohutuse kontrollimine
3. Toite taastamine
4. Mehaaniline ajalõpp ja kinnituse puudumine
5. Järjestuse võistlusolukorrad
6. Analoogkõikumised ja PID-häired

Praktiline väärarusaam, mida tasub parandada

Ainult „õnneliku tee“ (happy path) testimine ei ole valideerimine. See on demonstratsioon. Reaalne kasutuselevõtu risk peitub üleminekutes, viivitustes ja tõrgetes.

Ajalõpu muster on üks lihtsamaid kaitsestruktuure, mis SITL-is tõelist väärtust omandab. See muudab „ajam oleks pidanud juba liikuma“ jälgitavaks tõrketingimuseks.

Allpool on kompaktne näide silindri väljasirutuse ajalõpu kohta. Täpne süntaks varieerub platvormiti, kuid juhtimiseesmärk on standardne.

Keel: Redeldiagramm (Ladder Diagram)

// Silindri ajami ajalõpu tõrkeloogika |---[ ]-----------[/]-----------[/]-----------------(TON)---| CMD_Extend Limit_Retract Limit_Extend Fault_Delay

|---[ ]---------------------------------------------( )-----| Fault_Delay.DN Fault_Cyl_Ext_Timeout

Mida see rida teeb

• `CMD_Extend` käivitab ajastustingimuse, kui väljasirutamine on kästud.
• `Limit_Retract` puudumine näitab, et silinder ei ole enam ohutult kodus, sõltuvalt seadme filosoofiast.
• `Limit_Extend` puudumine tähendab, et väljasirutuse kinnitus pole veel saabunud.
• `Fault_Delay` ajastab lubatud liikumisaja akna.
• Kui taimer lõpetab töö ilma väljasirutuse kinnituseta, seatakse `Fault_Cyl_Ext_Timeout`.

Miks SITL on siin oluline

Staatilises loogika ülevaates tundub see rida lihtne. Digitaalses kaksikus saate testida, kas ajalõpp on:

• liiga lühike realistliku ajami liikumise jaoks,
• liiga pikk mehhanismi kaitsmiseks,
• järjestuse üleminekute poolt valesti lähtestatud,
• pime osalise liikumise või kinnikiilumise tingimuste suhtes.

See on vahe ajalõpu kirjutamise ja selle valideerimise vahel.

Insenertehnilised tõendid peaksid näitama arutluskäiku, mitte ainult liidese tundmist. Ekraanipiltide galerii tõestab, et tarkvara avati. See tõestab väga vähe muud.

Kui eesmärk on demonstreerida tõsist juhtimistööd, dokumenteerige iga simuleeritud harjutus seda struktuuri kasutades:

Nõutav tõendite struktuur

Näide: „Konveier ei tohi taaskäivituda enne, kui suunaja silinder on täielikult sisse tõmmatud ja toote olemasolu on kontrollitud.“

Näide: „Silindri väljasirutuse käsk väljastatud ajal, mil konveieri veerev aeg oli 1,8 s.“

Näide: „Lisatud konveieri nullkiiruse lubav tingimus ja väljasirutuse ajalõpu tõrge.“

1. Süsteemi kirjeldus Defineerige masin või protsessielement, peamised ajamid, andurid ja tööeesmärk.
2. „Õige“ operatiivne definitsioon Märkige, mis peab olema tõene, et järjestust loetaks korrektseks.
3. Redeldiagrammi loogika ja simuleeritud seadme olek Näidake asjakohaseid ridu, siltide definitsioone ja vastavaid digitaalse kaksiku olekuid või tagasisidet.
4. Sisestatud tõrkejuhtum Märkige täpselt, mida sunniti või häiriti.
5. Tehtud muudatus Dokumenteerige loogikamuudatus.
6. Õppetunnid Selgitage, milline eeldus ebaõnnestus ja kuidas muudetud loogika järjestust karastab.

See struktuur on kasulik, kuna see hõlmab juhtimiseesmärki, tõrkemudelit ja parandavat arutluskäiku. See on materjal, mida tööandjad ja retsensendid saavad tegelikult küsitleda. Ekraanipildid on enamasti dekoratiivsed.

OLLA Lab toetab simulatsioonivalmidusega töövoogu, kombineerides redeldiagrammi koostamise, simulatsiooni, muutujate kontrollimise, stsenaariumi konteksti ja digitaalse kaksiku interaktsiooni ühes veebipõhises keskkonnas. Kasu ei ole mugavus mugavuse pärast; see on konteksti vahetamise vähendamine valideerimise ajal.

Piiratud tooteandmete piires pakub OLLA Lab:

• Veebipõhist redeldiagrammi redaktorit kontaktide, mähiste, taimerite, loendurite, võrdlejate, matemaatikafunktsioonide, loogikaoperatsioonide ja PID-juhistega
• Simulatsioonirežiimi loogika käivitamiseks, sisendite lülitamiseks ja väljundite jälgimiseks ilma füüsilise riistvarata
• Muutujate paneeli siltide, I/O, analoogväärtuste, PID-muutujate ja stsenaariumi oleku jälgimiseks
• 3D/WebXR/VR simulatsioone, mis ühendavad juhtloogika seadmete käitumisega
• Digitaalse kaksiku valideerimise töövooge loogika testimiseks realistlike masinamudelite vastu
• Stsenaariumipõhiseid laboreid tootmise, vee/reovee, HVAC, keemia, farmaatsia, laonduse, toidu ja joogi ning kommunaalteenuste valdkonnas
• Juhendatud ehitusjuhiseid eesmärkide, I/O kaardistamise, juhtimisfilosoofia, blokeeringute ja kontrollsammudega
• AI-juhendamist GeniAI kaudu, mis on positsioneeritud labori juhendamise ja parandava toena õppevoos

Piiratud väide

OLLA Lab aitab inseneridel harjutada valideerimisülesandeid, mida on keeruline reaalsetel süsteemidel ohutult läbi viia:

• I/O põhjus-tagajärg seoste jälgimine,
• blokeeringute testimine,
• tõrke käitumise jälgimine,
• loogika muutmine pärast ebanormaalset tõrget,
• redeldiagrammi oleku võrdlemine simuleeritud seadme olekuga.

Seda ei tohiks käsitleda asendusena välitöö kogemusele, ametlikule funktsionaalse ohutuse tööle ega objektispetsiifilisele kasutuselevõtu volitusele. Simulaator suudab halvad eeldused varakult paljastada. See ei saa tehast heaks kiita.

SITL võib parandada kasutuselevõtu kvaliteeti, nihutades defektide avastamist varasemaks, kuid see ei loo iseenesest ohutusvastavust. See eristus on keskne.

Mida SITL toetab

• Järjestusdefektide varasem avastamine
• Ebanormaalsete olekute parem testikate
• Tõrkeotsingu ohutum harjutamine
• Distsiplineeritum kasutuselevõtu ettevalmistus
• Parem suhtlus juhtimis-, mehaanika- ja protsessimeeskondade vahel

Mida on vaja eraldi käsitleda

• Funktsionaalse ohutuse elutsükli tegevused vastavalt IEC 61508 standardile
• Ohutusega seotud funktsioonide disain ja verifitseerimine
• Objektispetsiifiline riskihindamine
• Riistvara tõrketaluvuse analüüs
• Tõestustestimine ja paigaldatud süsteemi valideerimine

Tööstuskirjandus virtuaalse kasutuselevõtu ja küberfüüsilise simulatsiooni kohta toetab üldiselt varasema käitumise valideerimise väärtust, eriti järjestusmahukate ja mehhatrooniliste süsteemide puhul. Korduv tulemus ei ole see, et simulatsioon kõrvaldab kasutuselevõtu riski. See on see, et simulatsioon nihutab märkimisväärse osa defektide avastamisest projekti odavamasse ja ohutumasse faasi. See on tagasihoidlikum väide ja ühtlasi usaldusväärsem.

Alustage kompaktsest järjestusest, mis sisaldab liikumist, tagasisidet ja ühte ebanormaalse oleku haru. Kui esimene harjutus on liiga lihtne, õpetab see süntaksit, kuid mitte otsustusvõimet.

Hea algusjuhtum OLLA Labis on konveieri- ja suunaja- või pumba juht/järeltulija stsenaarium koos:

• ühe käsuteega,
• ühe kinnitava tagasisidega,
• ühe ajalõpuga,
• ühe häirega,
• ühe taaskäivitustingimusega,
• ühe sisestatud tõrkega.

See annab piisavalt struktuuri põhjuslikkuse testimiseks, ilma et peaks arhitektuuri süvenema. Eesmärk on õppida, kas loogika peab vastu kokkupuutele modelleeritud protsessiga, mitte ehitada esimesel päeval suurt süsteemi.

Ampergon Vallis Lab on pühendunud tööstusautomaatika ja PLC-loogika valideerimise metoodikate edendamisele, pakkudes inseneridele tööriistu ja teadmisi keerukate süsteemide ohutuks ja tõhusaks kasutuselevõtuks.

Artiklis esitatud väited põhinevad VDI 3693 standardil, IEC 61508 funktsionaalse ohutuse põhimõtetel ja Ampergon Vallis Labi sisemistel simulatsiooniandmetel, mis on kogutud 2025-2026 perioodil.

- IEC 61131-3: Programmeeritavad kontrollerid — Osa 3 - IEC 61508 funktsionaalse ohutuse standardi ülevaade - NIST Nutika tootmise profiil - IEEE Access: Digitaalse kaksiku võimaldavad tehnoloogiad (DOI)