Dobici:
- Sposobnost izrade ljestvice logike i struktura strukturiranog teksta (ST) kao nacrta sa AI
- Sposobnost konfigurisanja sigurnosnih kola, blokada i državnih mašina uz pomoć AI
- Sposobnost verifikacije PLC logike generisane veštačkom inteligencijom u odnosu na I/O mapu i bezbednosne zahteve
Naziv pouzdanosti u fabričkom polju je PLC (Programmable Logic Controller). Transporteri, robotske ćelije, linije za punjenje, preše; sve kontrolišu PLC-ovi. PLC programiranje je svijet koji se razlikuje od desktop softvera: Ladder Logic (LD) je vizualni jezik koji oponaša relejnu logiku, dok je Structured Text (ST) tekstualni jezik sličan Pascalu; oba su definisana u standardu IEC 61131-3. U ovom okruženju nije najvažnija funkcionalnost već sigurnost; jer logička greška može isključiti presu u pogrešno vrijeme, ugrožavajući operatera. AI pomaže u generiranju ljestvica i ST nacrta, izgradnji državnih mašina i dokumentiranju logike. Međutim, sigurnosna kola, blokade i konačna verifikacija su odgovornost inženjera i ne mogu biti delegirani AI. U ovoj jedinici pokrivamo kako konstruirati i verifikovati PLC logiku pomoću AI.
Radna logika PLC-a: Ciklus skeniranja
PLC ne pokreće kod samo jednom i to je gotovo; Obavlja kontinuirani ciklus skeniranja. U svakoj petlji: (1) čita sve ulaze, (2) izvršava logiku od vrha do dna, (3) ažurira sve izlaze. Ovaj ciklus traje milisekunde i ponavlja se beskonačno. Ovo ponašanje ima kritične posljedice pri pisanju PLC logike:
- Izlazi se ažuriraju na kraju petlje; Ako dodijelite vrijednost izlazu na više od jednog mjesta unutar petlje, pobjeđuje posljednja dodjela.
- Logika radi od nule u svakom ciklusu; tako da se varijable zasuna ili stanja koriste za "pamćenje" stanja.
- Brzi događaji mogu biti propušteni ako se vrijeme skeniranja produži; kritični događaji se bilježe hardverskim prekidom ili brzim brojačem.
Savjet: Kada pišete PLC logiku u AI, recite "uzmite u obzir ponašanje petlje skeniranja, nema konfliktnih dodjela na istom izlazu, koristite latch/state machine za stanje". AI ponekad razmišlja kao desktop logika i preskače ponašanje skeniranja.
Ladder logika i strukturirani tekst
Ista logika se može napisati na oba jezika. Jednostavan primjer: motor se pokreće kada se pritisne dugme za pokretanje, zaustavlja se i samozaključava kada se pritisne dugme za zaustavljanje.
LADDER (tekstualni prikaz): Start Stop Engine---| |------|/|------------( )--- | Motor |---| |------+ (Kontakt motora se drži sam -> zaptivanje) Objašnjenje: Kada se pritisne Start, motor je pod naponom; Motor održava struju preko vlastitog kontakta (zaptivanje). Kada se pritisne Stop (NC), lanac se preseca.
(* Ista logika kao STRUKTURIRAN TEKST *)IF Start I NOT Stop THEN Engine := TRUE;END_IF;IF Stop THEN Engine := FALSE; (* Stop uvijek ima prioritet *)END_IF;(* Napomena: Dugme Stop je fizički spojeno na NC (normalno zatvoren); tako da ako se kabl pokida, Stop=FALSE i sistem se prebacuje na sigurnu stranu. *)
Sigurnosni detalj ovdje je kritičan: dugme za zaustavljanje je fizički povezano normalno zatvoreno (NC). Dakle, u slučaju loma kabla ili kvara kontakta, signal se prekida i sistem ide u "stop" smjer (fail-safe). Ako je spojen NO (normalno otvoren), zaustavljač neće raditi ako se kabel pokvari – opasna tiha greška. Čak i ako se AI kod čini logično ispravnim, ova odluka o fizičkoj vezi je na inženjeru.
Sigurnost: E-Stop, Lockout i Fail-Safe
Sigurnost u industrijskoj automatizaciji nije problem koji se može "riješiti softverom"; To je slojevita saradnja hardvera i softvera. Osnovni principi:
princip
Značenje
Aplikacija
bez greške
Neuspjeh bi trebao voditi na sigurnu stranu
NC kontakt, greška=stop
Redundantnost
Dvokanalni kritična funkcija
Dva kontakta, unakrsno praćenje
Interlocking
Spriječiti opasnu situaciju
Mašina ne radi kada su vrata otvorena
e-stop
Nezavisno zaustavljanje u nuždi
Na hardverskom nivou, nezavisno od PLC-a
Kritična tačka: E-stop nije prepušten samo softveru. Sigurnosno zaustavljanje u nuždi se često prekida na hardverskom nivou sigurnosnim relejima ili sigurnosnim PLC-om; standardni PLC softver je dodatni sloj na vrhu. ISO 13849 (sigurnost mašina) i IEC 62061 daju okvir za ove dizajne.
Oprez: Nemojte pretpostavljati da je AI generirana E-stop ili logika zaključavanja "softverski dovoljna". Sigurnosne funkcije su dizajnirane prema relevantnim standardima (ISO 13849 PL, IEC 62061 SIL), uključuju hardverski sloj i verificirane su procjenom rizika. Ova evaluacija je odgovornost inženjera i organizacije; AI može samo proizvesti nacrte i kontrolne liste.
State Machines
Kompleksna logika automatizacije je organizovana sa državnom mašinom, a ne sa neurednim if-else: sistem pronalazi određena stanja (u mirovanju, pokretanju, radu, zaustavljanju, grešci) i nastavlja kroz definisane prelaze. Ova struktura je i čitljiva i provjerljiva.
(* Jednostavna automatska stanica za punjenje *) SLUČAJ Slučaj 0: (* BOSTA *) AKO su gumb Start I poklopac zatvoreni ONDA Slučaj := 10; END_IF; 10: (* FILL *) Ventil := TRUE; IF LevelFull THEN ventil := FALSE; Status := 20; END_IF; AKO NIJE Poklopac zatvoren ONDA ventil := FALSE; Status := 90; END_IF; (* sigurnost *) 20: (* DRAIN *) PURGE := TRUE; IF LevelEmpty THEN Empty := FALSE; Status := 0; END_IF; 90: (* GREŠKA *) Ventil := FALSE; Prazno := FALSE; (* svi aktuatori su sigurni *) IF ResetButton THEN Status := 0; END_IF;END_CASE;
U ovoj strukturi, sigurnosni prijelazi (prelazak u stanje greške ako je poklopac otvoren, zatvorite sve aktuatore) jasno su uključeni u svaku situaciju. AI brzo generiše kostur državnog stroja; Ali koji će sigurnosni incident izaći iz koje situacije proizlazi iz vaše analize rizika.
Slaba prompt / jaka prompt
SLABO:"Napišite PLC kod za transporter."(Nema I/O, nema sigurnosti, nejasan jezik. Nije moguće nacrt na terenu.)JAKO:"Napišite kontrolu transportera sa IEC 61131-3 strukturiranim tekstom. Unosi:Start (NO), Stop (NC), PhotocellProductVar (NO), ConverOutnings Security, ConverOutning (NC). State machine (Idle, Running, Error) Stop uvijek ima prednost, idite na Greška kada je poklopac otvoren i ugasite motor.
Mini Case
Inženjer automatizacije Tolga traži ST kod od AI za liniju za pakovanje. AI proizvodi kod za koji se čini da radi, ali kada ga Tolga potvrdi na I/O mapi, pronalazi dva problema. Prvo: AI je tretirao dugme Stop sa NE (normalno otvoreno) logikom; Tolga ovo pretvara u NC bezbednu logiku, jer ako se kabl pukne, linija mora stati. Drugo: zaključavanje, u kojem se mašina mora zaustaviti kada je zaštitni poklopac otvoren, provjerava se samo pri pokretanju, a ne tokom rada; Tolga to ispravlja tako da se provjerava u svakom ciklusu skeniranja. Takođe potvrđuje da stvarni E-stop nije prepušten softveru, već je i hardverski prekinut sa sigurnosnim relejem. AI je brzo dao svoj logički kostur; Ali inžinjerska verifikacija osigurala je tri sigurnosne odluke: vezu bez greške, trajno zaključavanje i hardverski E-stop.
Uobičajene greške
- Povezivanje dugmeta Stop/E-stop na NO i gubitak sigurnog ponašanja u slučaju loma kabla.
- Provjera blokade (poklopac, svjetlosna zavjesa) samo pri pokretanju i preskakanje u radu.
- Prepuštanje sigurnosne funkcije u potpunosti softveru i zanemarivanje hardverskog sloja.
- Zaboravljanje ponašanja petlje skeniranja i dodjela konfliktnih dodjela istom izlazu.
- Učiniti složenu logiku neprovjerljivom pisanjem s neurednim if-else umjesto državnom mašinom.
- Prihvatanje AI tumačenja sigurnosnog standarda bez provjere službenim tekstom.
Ukratko
- PLC radi sa kontinuiranim ciklusom skeniranja; Izlazi se ažuriraju na kraju petlje.
- Lestvice i strukturirani tekst izražavaju istu logiku na dva različita jezika IEC 61131-3.
- Stop/E-stop dugmad NC i sigurnosni sistem su povezani; kvar bi trebao dovesti do sigurne strane.
- Blokada se provjerava svaki ciklus skeniranja; Uključuje sigurnosni hardverski sloj.
- State Machine čini složenu logiku čitljivom i provjerljivom.
- Procjena sigurnosti (ISO 13849/IEC 62061) je odgovornost inženjera; AI stvara nacrt.
Zadatak aplikacije
Odaberite jednostavan scenarij automatizacije (npr. start/stop motor sa automatskim zatvaranjem, pogon sa dva položaja ili mala punionica). Zapišite svoju I/O listu i sigurnosne zahtjeve (koje dugme je NC, koje je međusobno zaključano). Neka AI generira stroj stanja strukturiranog teksta s ovim kontekstom. Zatim provjerite izlaz radi sigurnosti: (1) da li Stop osigurava siguran izlazak iz svakog stanja, (2) da li se blokiranje provjerava u svakom ciklusu skeniranja, (3) da li svi aktuatori prelaze u sigurno stanje u slučaju greške? Zabilježite sve sigurnosne nedostatke i ispravke koje nađete.