zisky:
- Schopnost vytvářet žebříkovou logiku a struktury strukturovaného textu (ST) jako návrhy pomocí AI
- Schopnost konfigurovat bezpečnostní obvody, blokování a stavové automaty pomocí AI
- Schopnost ověřit logiku PLC generovanou AI podle I/O mapy a bezpečnostních požadavků
Název spolehlivosti v továrně je PLC (Programmable Logic Controller). Dopravníky, robotické buňky, plnicí linky, lisy; vše řízeno PLC. Programování PLC je svět odlišný od stolního softwaru: Ladder Logic (LD) je vizuální jazyk, který napodobuje logiku přenosu, zatímco Structured Text (ST) je textový jazyk podobný Pascalu; oba jsou definovány v normě IEC 61131-3. V tomto prostředí není nejdůležitější funkčnost, ale bezpečnost; protože logická chyba může vypnout lis ve špatnou dobu a ohrozit obsluhu. Umělá inteligence pomáhá při generování ladder a ST návrhů, budování stavových automatů a dokumentování logiky. Za bezpečnostní obvody, blokování a závěrečné ověření je však odpovědný technik a nelze je delegovat na AI. V této jednotce pokryjeme, jak sestrojit a ověřit logiku PLC pomocí AI.
Pracovní logika PLC: Cyklus skenování
PLC nespustí kód pouze jednou a je hotovo; Provádí nepřetržitý cyklus skenování. V každé smyčce: (1) čte všechny vstupy, (2) provádí logiku shora dolů, (3) aktualizuje všechny výstupy. Tento cyklus trvá milisekundy a donekonečna se opakuje. Toto chování má kritické důsledky při psaní logiky PLC:
- Výstupy jsou aktualizovány na konci smyčky; Pokud přiřadíte hodnotu výstupu na více než jednom místě ve smyčce, vyhraje poslední přiřazení.
- Logika funguje od nuly v každém cyklu; takže latch nebo stavové proměnné se používají k "pamatování" stavu.
- Rychlé události mohou být vynechány, pokud se prodlouží doba skenování; kritické události jsou zachyceny hardwarovým přerušením nebo vysokorychlostním čítačem.
Tip: Při zápisu logiky PLC do AI řekněte „vezměte v úvahu chování skenovací smyčky, žádná konfliktní přiřazení ke stejnému výstupu, pro stav použijte latch/state machine“. Umělá inteligence někdy přemýšlí jako desktopová logika a přeskočí chování při skenování.
Ladder logika a strukturovaný text
Stejnou logiku lze napsat v obou jazycích. Jednoduchý příklad: motor se spustí, když je stisknuto tlačítko Start, zastaví se a automaticky se zablokuje, když je stisknuto tlačítko stop.
LADDER (textový displej): Start Stop Engine---| |------|/|-------------( )--- | Motor |---| . Motor udržuje proud přes svůj vlastní kontakt (zatavení). Po stisknutí Stop (NC) se řetěz přeruší.
(* Stejná logika jako STRUKTUROVANÝ TEXT *)IF Start AND NOT Stop THEN Engine := TRUE;END_IF;IF Stop THEN Engine := FALSE; (* Stop má vždy přednost *)END_IF;(* Poznámka: Tlačítko Stop je fyzicky připojeno k NC (normálně zavřené); takže pokud se kabel přeruší, Stop=FALSE a systém se přepne na bezpečnou stranu. *)
Bezpečnostní detail je zde kritický: Tlačítko stop je fyzicky připojeno normálně zavřené (NC). V případě přerušení kabelu nebo poruchy kontaktu je tedy signál přerušen a systém přejde do směru „stop“ (bezpečný proti selhání). Pokud je připojen NO (normálně otevřený), stop nebude fungovat, pokud se kabel přeruší – nebezpečná tichá porucha. I když se kód AI zdá logicky správný, rozhodnutí o fyzickém připojení je na inženýrovi.
Bezpečnost: E-Stop, Lockout a Fail-Safe
Bezpečnost v průmyslové automatizaci není problém, který lze „softwarově řešit“; Jedná se o vrstvenou spolupráci hardwaru a softwaru. Základní principy:
princip
Význam
Aplikace
bezporuchový
Selhání by mělo vést k bezpečné straně
NC kontakt, porucha=stop
Redundance
Kritická funkce duální kanál
Dva kontakty, křížové monitorování
Blokování
Předcházejte nebezpečné situaci
Stroj nefunguje, když jsou dvířka otevřená
e-stop
Nezávislé nouzové zastavení
Na hardwarové úrovni, nezávisle na PLC
Kritický bod: E-stop není ponechán pouze na softwaru. Nouzové zastavení související s bezpečností je často také přerušeno na úrovni hardwaru bezpečnostními relé nebo bezpečnostním PLC; standardní PLC software je další vrstvou navíc. ISO 13849 (bezpečnost stroje) a IEC 62061 poskytují rámec pro tyto návrhy.
Upozornění: Nepředpokládejte, že E-stop nebo logika zamykání generovaná AI je „softwarově dostačující“. Bezpečnostní funkce jsou navrženy podle příslušných norem (ISO 13849 PL, IEC 62061 SIL), zahrnují hardwarovou vrstvu a jsou ověřeny hodnocením rizik. Toto hodnocení je odpovědností inženýra a organizace; Umělá inteligence může vytvářet pouze obrysy a kontrolní seznamy.
Státní stroje
Složitá automatizační logika je organizována pomocí stavového automatu spíše než chaotického if-else: systém najde určité stavy (Idle, Starting, Running, Stopping, Error) a pokračuje přes definované přechody. Tato struktura je jak čitelná, tak ověřitelná.
(* Jednoduchý stavový automat čerpací stanice *)CASE Case OF 0: (* BOSTA *) IF StartButton AND CoverClosed THEN Case := 10; END_IF; 10: (* FILL *) Ventil := TRUE; IF LevelFull THEN Ventil := FALSE; Stav := 20; END_IF; POKUD NE CoverClosed THEN Valve := FALSE; Stav := 90; END_IF; (* bezpečnost *) 20: (* VYPOUŠTĚNÍ *) ČISTÍ := PRAVDA; IF LevelEmpty THEN Empty := FALSE; Stav := 0; END_IF; 90: (* ERROR *) Ventil := FALSE; Prázdné := FALSE; (* všechny akční členy jsou bezpečné *) POKUD ResetButton THEN Stav := 0; END_IF;END_CASE;
V této struktuře jsou bezpečnostní přechody (přechod do chybového stavu při otevření krytu, zavření všech pohonů) jasně zahrnuty v každé situaci. AI rychle generuje kostru stavového stroje; Ale který bezpečnostní incident z které situace vzejde, vyplývá z vaší analýzy rizik.
Slabá výzva / Silná výzva
SLABÝ:"Zapište kód PLC pro dopravník."(Žádné I/O, žádná bezpečnost, nejasný jazyk. Nelze použít návrh v terénu.)SILNÝ:"Zapište řízení dopravníku pomocí strukturovaného textu IEC 61131-3. Vstupy:Start (NO), Stop (NC), PhotocellProductVar (NO), CoverOpen (NC stav: Bezpečnost ConveyorLput. Běh, chyba) Zastavení má vždy přednost, přejděte na Chyba, když je víko otevřené a vypněte motor. Předpokládejte bezpečnostní vyhodnocení tohoto kódu.
Mini pouzdro
Automatizační inženýr Tolga požaduje kód ST od AI pro balicí linku. Umělá inteligence vytváří kód, který vypadá, že funguje, ale když jej Tolga ověří proti I/O mapě, najde dva problémy. Za prvé: AI ošetřila tlačítko Stop logikou NO (normálně otevřené); Tolga to převádí na logiku NC zabezpečenou proti selhání, protože pokud se kabel přeruší, vedení se musí zastavit. Za druhé: blokování, při kterém se stroj musí zastavit, když je ochranný kryt otevřený, se kontroluje pouze při spuštění, nikoli během provozu; Tolga jej opravuje tak, aby byl kontrolován v každém cyklu skenování. Také potvrzuje, že skutečné nouzové zastavení není ponecháno na softwaru, ale je také hardwarově přerušeno bezpečnostním relé. AI rychle dala svou logickou kostru; Ale inženýrovo ověření zajistilo tři bezpečnostní rozhodnutí: bezpečné připojení, trvalé zamykání a hardwarové nouzové zastavení.
Časté chyby
- Připojení tlačítka Stop/E-stop k NO a ztráta bezpečného chování v případě přerušení kabelu.
- Kontrola blokování (víko, světelná závora) pouze při spuštění a vynechání v provozu.
- Ponechání funkce zabezpečení zcela na softwaru a zanedbání hardwarové vrstvy.
- Zapomenutí chování smyčky skenování a provádění konfliktních přiřazení ke stejnému výstupu.
- Učinit složitou logiku neověřitelnou tím, že ji napíšete pomocí chaotického if-else namísto stavového automatu.
- Přijetí interpretace bezpečnostního standardu ze strany AI bez ověření s oficiálním textem.
V souhrnu
- PLC pracuje s nepřetržitým skenovacím cyklem; Výstupy jsou aktualizovány na konci cyklu.
- Ladder a Structured Text vyjadřují stejnou logiku ve dvou různých jazycích IEC 61131-3.
- Tlačítka Stop/E-stop NC a Fail-safe jsou připojeny; selhání by mělo vést k bezpečné straně.
- Blokování se kontroluje při každém cyklu skenování; Zahrnuje bezpečnostní hardwarovou vrstvu.
- Stavový stroj činí komplexní logiku čitelnou a ověřitelnou.
- Posouzení bezpečnosti (ISO 13849/IEC 62061) je odpovědností inženýra; AI generuje koncept.
Aplikační úkol
Vyberte si jednoduchý scénář automatizace (např. start/stop motor s automatickou západkou, dvoupolohový pohon nebo malá čerpací stanice). Zapište si seznam I/O a bezpečnostní požadavky (které tlačítko je NC, které je blokovací). Nechte AI vygenerovat stavový stroj strukturovaného textu s tímto kontextem. Poté ověřte bezpečnost výstupu: (1) zajišťuje Stop bezpečný výstup z každého stavu, (2) je v každém skenovacím cyklu zkontrolováno blokování, (3) přejdou všechny akční členy v případě chyby do bezpečného stavu? Poznamenejte si všechny bezpečnostní nedostatky a opravy, které najdete.