Kuidas valideerida masinloogikat EL-i tehisintellekti määruse (EU AI Act) kõrge riskitaseme nõuete täitmiseks: 2026. aasta liivakasti juhend

EL-i tehisintellekti määruse (EU AI Act) 2. augustil 2026 jõustuvate kõrge riskitaseme kohustuste täitmiseks peavad tehisintellekti loodud masinloogikat kasutavad meeskonnad suutma enne juurutamist tõendada deterministlikku ja tõrkekindlat käitumist. Piiratud liivakast, mis kasutab simulatsiooni, digitaalseid kaksikuid, sunnitud tõrkeid ja dokumenteeritud inimkontrolli, võib muuta selle kohustuse pigem inseneritöö protsessiks kui auditeerimise paanikaks.

Ohutuskriitiline PLC-loogika ei muutu nõuetele vastavaks ainult seetõttu, et tehisintellekt selle kiiresti koostas. See muutub kaitstavaks alles siis, kui insenerid suudavad näidata, kuidas see käitub tõrgete, ajastuse koormuse ja ebanormaalsete protsessitingimuste korral.

Regulatiivne ajakava ei ole enam abstraktne. EL-i tehisintellekti määrus jõustus 1. augustil 2024 ja kõrge riskitasemega tehisintellektisüsteemide kohustused kehtivad alates 2. augustist 2026. Kui tehisintellekt puudutab masina ohutusfunktsioone, blokeeringuid, lubavaid tingimusi või muud ohutusega seotud juhtimiskäitumist, nihkub koorem küsimuselt „kas see suudab koodi genereerida?“ küsimusele „kas suudame tõestada, et kood on prognoositav, piiratud ja kontrollitav?“.

Hiljutine Ampergon Vallis sisemine võrdlusuuring illustreerib seda lõhet. 50 tehisintellekti loodud mootori juhtimisrutiini stressitestis ebaõnnestus 18% deterministliku skaneerimiskäitumise või ohutu oleku haldamisel sunnitud I/O-tõrgete tingimustes. See toetab ühte kitsast punkti: tehisintellekti loodud juhtimisloogika võib realistlikes testitingimustes determinismi ja tõrgete käsitlemisega ebaõnnestuda.

Tehisintellekti loodud PLC-loogika muutub kõrge riskitasemega loogikaks siis, kui seda kasutatakse funktsioonides, mis mõjutavad masina ohutust, kriitilise infrastruktuuri toimimist või vastavust seotud tooteeeskirjadele, nagu EL-i masinamäärus (EL) 2023/1230.

EL-i tehisintellekti määruse kohaselt ei tulene kõrge riskitaseme klassifikatsioon pelgalt automatiseerimiskoodi olemasolust. Selle määrab kavandatud kasutus ja süsteemi roll. Praktilises juhtimisterminoloogias on küsimus lihtne: kas tehisintellekti loodud loogika mõjutab seda, kas masin käivitub, seiskub, lülitub välja, blokeerib liikumise, haldab ohtlikku järjestust või säilitab ohutu oleku?

Peamised vastavusnõuded tõlgitakse insenertehnilisteks kontrollimeetmeteks riskijuhtimise, dokumentatsiooni, inimjärelevalve ja vastupidavuse testimise jaoks.

EL-i tehisintellekti määruse peamiste nõuete insenertehniline tõlge

| EL-i tehisintellekti määruse nõue | Insenertehniline tähendus PLC / masinloogika jaoks | Näidisvalideerimistoiming | |---|---|---| | Artikkel 9: Riskijuhtimissüsteem | Ohtlike tõrkerežiimide, ettenähtava väärkasutuse ja ebanormaalsete oleku üleminekute tuvastamine | Lubavate tingimuste, väljalülituste, lähtestamiste, järjestuse kadumise, aegunud sisendite FMEA või ohuanalüüs | | Artikkel 11: Tehniline dokumentatsioon | Jälgitavate loogikanarratiivide ja testitõendite loomine | Redelpulga-põhine kirjeldus, I/O-loend, järjestuse narratiiv, muudatuste logi | | Artikkel 12: Arvestuse pidamine / logimine | Tõendite säilitamine selle kohta, kuidas tehisintellektiga toetatud loogikat testiti ja muudeti | Testkäivituste, tõrkejuhtumite, muutujate ajaloo, ülevaatuse märkmete salvestamine | | Artikkel 14: Inimjärelevalve | Pädeva inimülevaatuse nõudmine enne aktsepteerimist või juurutamist | Tehisintellekti soovitatud redelipulkade käsitsi ülevaatus, kinnitamine vastavalt juhtimisfilosoofiale | | Artikkel 15: Täpsus, vastupidavus, küberturvalisus | Stabiilse käitumise tõestamine äärejuhtumite, häirete ja tõrketingimuste korral | Andurite triivi testid, kinnikiilunud sisendi testid, võistlusolukorra (race-condition) kontrollid, ajalõpu käitumine, ohutu oleku vaikeseaded |

Regulatiivne liivakast on selles kontekstis suletud simulatsioonikeskkond, kus tehisintellekti loodud redelloogikat testitakse sunnitud I/O-tõrgete, skaneerimistsükli stressitestide ja digitaalse kaksiku füüsiliste piirangutega, et hinnata deterministlikku käitumist enne riistvara kasutuselevõttu.

OLLA Lab on veebipõhine redelloogika ja simulatsioonikeskkond, mis võimaldab meeskondadel luua või üle vaadata redelloogikat, käivitada seda simulatsioonis, kontrollida muutujaid ja I/O-d ning valideerida käitumist 3D- või WebXR-stiilis masinastsenaariumide ja digitaalsete kaksikute mudelite põhjal.

Levinud tõrkerežiim on tõrkeoleku mälu puudumine, mis võimaldab ebaturvalist taaskäivitamist või ebaselget lähtestamiskäitumist pärast mööduva signaali naasmist.

Vastavuse otsustuspakett on kompaktne tõendite kogum, mis näitab, mida tehisintellektiga toetatud loogika pidi tegema, kuidas seda testiti, mis ebaõnnestus, mida muudeti ja kes tulemuse heaks kiitis.

EL-i tehisintellekti määruse järgimine kõrge riskitasemega masinloogika puhul on praktikas valideerimisprobleem enne, kui see on paberimajanduse probleem. OLLA Lab sobib sellesse töövoogu piiratud harjutus- ja valideerimiskeskkonnana.

- Ampergon Vallis Lab: 2026. aasta I kvartali sisemised testid tehisintellekti loodud PLC-loogika determinismi kohta. - IEC 61131-3: Programmeeritavad kontrollerid – programmeerimiskeeled. - IEC 61508: Elektri-, elektroonika- ja programmeeritavate elektrooniliste ohutusega seotud süsteemide funktsionaalne ohutus.

• EL-i tehisintellekti määrus (EU AI Act) 2024/1689.
• EL-i masinamäärus (EL) 2023/1230.

Ampergon Vallis Lab on tööstusliku automatiseerimise ja ohutustehnoloogia uurimisrühm, mis keskendub tehisintellekti integreerimisele kriitilistesse juhtimissüsteemidesse.

Artiklis toodud regulatiivsed viited põhinevad EL-i tehisintellekti määruse ametlikul tekstil. Tehnilised näited on illustratiivsed ja mõeldud valideerimisprotsessi demonstreerimiseks OLLA Labi keskkonnas.