Qligħ:
- Kapaċità li tipproduċi strutturi ta' loġika ta' sellum u Test strutturat (ST) bħala abbozzi bl-AI
- Kapaċità li tikkonfigura ċirkwiti ta 'sikurezza, interlocks u magni tal-istat bl-għajnuna tal-AI
- Kapaċità li tivverifika l-loġika tal-PLC ġġenerata mill-AI kontra l-mappa tal-I/O u r-rekwiżiti tas-sikurezza
L-isem tal-affidabbiltà fil-qasam tal-fabbrika huwa PLC (Kontrollur Loġiku Programmabbli). Ċineg, ċelloli robot, linji tal-mili, preses; kollha kkontrollati minn PLCs. L-ipprogrammar PLC huwa dinja apparti s-softwer tad-desktop: Ladder Logic (LD) hija lingwa viżwali li timita l-loġika tar-relay, filwaqt li Structured Text (ST) hija lingwa testwali bħal Pascal; it-tnejn huma definiti fl-istandard IEC 61131-3. F'dan l-ambjent, l-iktar ħaġa importanti mhix il-funzjonalità iżda s-sigurtà; minħabba żball ta 'loġika jista' jagħlaq stampa fil-ħin ħażin, u jipperikola operatur. L-AI tgħin fil-ġenerazzjoni ta' abbozzi ta' sellum u ST, bini ta' magni tal-istat u loġika tad-dokumentazzjoni. Madankollu, iċ-ċirkwiti tas-sigurtà, l-interlocks u l-verifika finali huma r-responsabbiltà tal-inġinier u ma jistgħux jiġu delegati lill-AI. F'din l-unità, inkopru kif tibni u tivverifika l-loġika tal-PLC bl-AI.
Loġika tax-Xogħol ta 'PLC: Ċiklu ta' Skennjar
PLC mhux biss imexxi l-kodiċi darba u dan isir; Huwa jwettaq ċiklu ta 'skannjar kontinwu. F'kull loop: (1) jaqra l-inputs kollha, (2) tesegwixxi loġika minn fuq għal isfel, (3) taġġorna l-outputs kollha. Dan iċ-ċiklu jdum millisekondi u jirrepeti bla tmiem. Din l-imġieba għandha konsegwenzi kritiċi meta tikteb il-loġika PLC:
- L-outputs huma aġġornati fl-aħħar tal-linja; Jekk tassenja valur għal output f'aktar minn post wieħed fil-linja, l-aħħar assenjazzjoni tirbaħ.
- Il-loġika taħdem mill-bidu f'kull ċiklu; hekk lukkett jew varjabbli stat huma użati biex "tiftakar" stat.
- Avvenimenti mgħaġġla jistgħu jintilfu jekk il-ħin tal-iskannjar jiġi estiż; avvenimenti kritiċi jinqabdu minn interruzzjoni tal-ħardwer jew counter b'veloċità għolja.
Tip: Meta tikteb il-loġika PLC lill-AI għid "qies l-imġieba tal-linja tal-iskannjar, l-ebda assenjazzjoni konfliġġenti għall-istess output, uża magna tal-lukkett/stat għall-istat". L-AI kultant taħseb bħall-loġika tad-desktop u taqbeż l-imġieba tal-iskannjar.
Loġika tas-sellum u Test Strutturat
L-istess loġika tista’ tinkiteb fiż-żewġ lingwi. Eżempju sempliċi: mutur jibda meta l-buttuna tal-bidu tkun ippressata, jieqaf u jinqabad waħdu meta l-buttuna tal-waqfien tkun ippressata.
SELUM (wiri tat-test): Start Stop Engine---| |------|/|-------------( )--- | Magna |---| |------+ (Il-kuntatt bil-mutur iżomm lilu nnifsu -> issiġillat) Spjegazzjoni: Meta l-Ibda jiġi ppressat, il-Magna tiġi enerġizzata; Il-mutur iżomm il-kurrent permezz tal-kuntatt tiegħu stess (seal-in). Meta Stop (NC) jiġi ppressat, il-katina tinqata '.
(* L-istess loġika bħat-TEST STRUTTURAT *)JEKK Ibda U MHUX Waqqaf Imbagħad Magna := VERU; END_IF;JEKK Waqqaf WAQT IL-Magna := FALZ; (* Waqfien dejjem jieħu prijorità *)END_IF;(* Nota: Il-buttuna Waqfien hija fiżikament konnessa ma 'NC (normalment magħluqa); allura jekk il-kejbil jinkiser, Waqqaf=FALZ u s-sistema taqleb għan-naħa sikura. *)
Id-dettall tas-sigurtà hawnhekk huwa kritiku: Il-buttuna ta 'waqfien hija fiżikament konnessa normalment magħluqa (NC). Għalhekk, f'każ ta 'ksur tal-kejbil jew nuqqas ta' kuntatt, is-sinjal jinqata 'u s-sistema tmur fid-direzzjoni ta' "waqfien" (fail-safe). Jekk LE (normalment miftuħ) huwa konness, il-waqfien ma joperax jekk il-kejbil jinkiser—ħsara siekta perikoluża. Anke jekk il-kodiċi AI jidher loġikament korrett, din id-deċiżjoni tal-konnessjoni fiżika hija f'idejn l-inġinier.
Sigurtà: E-Stop, Lockout u Fail-Safe
Is-sigurtà fl-awtomazzjoni industrijali mhijiex kwistjoni li tista 'tiġi "immaniġġjata f'softwer"; Hija kollaborazzjoni f'saffi ta 'ħardwer u software. Prinċipji bażiċi:
prinċipju
Tifsira
Applikazzjoni
sikur
In-nuqqas għandu jwassal għan-naħa sigura
Kuntatt NC, tort = waqfien
Redundancy
Funzjoni kritika kanal doppju
Żewġ kuntatti, cross monitoring
Interlocking
Prevenzjoni sitwazzjoni perikoluża
Il-magna ma taħdimx meta l-bieb ikun miftuħ
e-stop
Waqfien ta' emerġenza indipendenti
Fil-livell tal-ħardwer, indipendenti mill-PLC
Punt kritiku: E-stop ma jitħalla f'idejn is-softwer waħdu. Waqfien ta 'emerġenza relatat mas-sigurtà huwa spiss interrott ukoll fil-livell tal-ħardwer minn relays tas-sigurtà jew PLC tas-sigurtà; softwer PLC standard huwa saff addizzjonali fuq dan. ISO 13849 (sikurezza tal-magni) u IEC 62061 jipprovdu l-qafas għal dawn id-disinji.
Attenzjoni: Tassumix li E-stop iġġenerat mill-AI jew loġika ta' qfil hija "software suffiċjenti". Il-funzjonijiet tas-sigurtà huma ddisinjati skont standards rilevanti (ISO 13849 PL, IEC 62061 SIL), jinkludu saff ta 'ħardwer u huma vverifikati permezz ta' valutazzjoni tar-riskju. Din l-evalwazzjoni hija r-responsabbiltà tal-inġinier u l-organizzazzjoni; L-AI tista' tipproduċi biss deskrizzjonijiet u listi ta' kontroll.
Magni tal-Istat
Il-loġika tal-awtomazzjoni kumplessa hija organizzata b'magna tal-istat aktar milli b'messy if-other: is-sistema ssib ċerti stati (Idle, Starting, Running, Waqfien, Żball) u tipproċedi permezz ta 'tranżizzjonijiet definiti. Din l-istruttura hija kemm tinqara kif ukoll verifikabbli.
(* Magna tal-istat tal-istazzjon tal-mili sempliċi *)KAŻ Każ TA' 0: (* BOSTA *) JEKK StartButton U QoxraMagħluq MEKK Każ := 10; END_IF; 10: (* IMLA *) Valv := VERU; JEKK LevelFull Imbagħad Valv := FALZ; Status := 20; END_IF; JEKK MHUX CoverClosed MEKK Valv := FALZ; Status := 90; END_IF; (* sigurtà *) 20: (* DRAIN *) PURGE := VERU; JEKK LevelEmpty Imbagħad Vojt := FALZ; Status := 0; END_IF; 90: (* ŻBALL *) Valv := FALZ; Vojta := FALZ; (* l-attwaturi kollha huma sikuri *) JEKK ResetButton MEKK Istatus := 0; END_IF;END_CASE;
F'din l-istruttura, tranżizzjonijiet tas-sigurtà (mur għall-istat ta 'żball jekk il-qoxra tinfetaħ, agħlaq l-attwaturi kollha) huma inklużi b'mod ċar f'kull sitwazzjoni. AI jiġġenera l-iskeletru tal-magna tal-istat malajr; Imma liema inċident tas-sigurtà se joħroġ minn liema sitwazzjoni ġejja mill-analiżi tar-riskju tiegħek.
Prompt Dgħajjef / Prompt Qawwija
DGĦAJFJA:"Ikteb kodiċi PLC għal conveyor."(L-ebda I/O, l-ebda sigurtà, lingwa mhux ċara. Mhux kapaċi jabbozza.) STRONG:"Ikteb kontroll conveyor b'IEC 61131-3 Test Strutturat. Inputs:Start (LE), Waqqaf (NC), PhotocellProductVar (NO), CoverOpen (NC, . (Idle, Running, Error) Waqfien dejjem jieħu preċedenza, mur Żball meta l-Għatu jinfetaħ u agħlaq il-magna.
Kawża Mini
L-inġinier tal-awtomazzjoni Tolga jitlob kodiċi ST mingħand AI għal linja tal-ippakkjar. L-AI tipproduċi kodiċi li jidher li jaħdem, iżda meta Tolga jivvalidah kontra l-mappa I/O, isib żewġ problemi. L-ewwel: AI ittrattat il-buttuna Waqqaf b'loġika NO (normalment miftuħa); Tolga jibdel dan f'loġika NC fail-safe, għaliex jekk il-kejbil jinkiser, il-linja trid tieqaf. It-tieni: l-illokkjar, li fih il-magna trid tieqaf meta l-għatu protettiv ikun miftuħ, jiġi ċċekkjat biss fl-istartjar, mhux waqt it-tħaddim; Tolga jikkoreġih sabiex jiġi ċċekkjat f'kull ċiklu ta 'skannjar. Jikkonferma wkoll li l-E-stop attwali ma titħallax f'idejn is-softwer, iżda hija wkoll interrotta fil-ħardwer bir-relay tas-sigurtà. AI tat l-iskeletru tal-loġika tagħha malajr; Iżda l-verifika ta 'l-inġinier żgurat tliet deċiżjonijiet ta' sigurtà: konnessjoni bla periklu, qfil permanenti u ħardwer E-stop.
Żbalji Komuni
- Tqabbad il-buttuna Stop/E-stop ma' LE u titlef l-imġieba ta 'fail-safe f'każ ta' ksur tal-kejbil.
- Iċċekkja l-interlocking (għatu, purtiera ħafifa) biss fl-istartjar u taqbeżha waqt l-operazzjoni.
- Inħallu l-funzjoni tas-sigurtà kompletament għas-softwer u jittraskuraw is-saff tal-ħardwer.
- Tinsa l-imġieba tal-linja tal-iskannjar u tagħmel assenjazzjonijiet konfliġġenti għall-istess output.
- Li tagħmel loġika kumplessa mhux verifikabbli billi tiktebha b'messy if-else minflok magna tal-istat.
- Taċċetta l-interpretazzjoni tal-AI tal-istandard tas-sigurtà mingħajr ma tivverifikaha bit-test uffiċjali.
Fil-qosor
- PLC jaħdem b'ċiklu ta 'skannjar kontinwu; L-outputs huma aġġornati fl-aħħar tal-linja.
- Is-sellum u t-Test Strutturat jesprimu l-istess loġika f'żewġ lingwi IEC 61131-3 differenti.
- Buttuni Stop/E-stop NC u fail-safe huma konnessi; in-nuqqas għandu jwassal għan-naħa sigura.
- Il-lockouts huma kkontrollati kull ċiklu ta 'skan; Jinkludi saff tal-ħardwer tas-sigurtà.
- Il-magna tal-istat tagħmel il-loġika kumplessa tinqara u verifikabbli.
- Il-valutazzjoni tas-sikurezza (ISO 13849/IEC 62061) hija r-responsabbiltà tal-inġinier; AI tiġġenera abbozz.
Kompitu ta' applikazzjoni
Agħżel xenarju ta 'awtomazzjoni sempliċi (eż. start/waqfien mutur awto-lukkett, attwatur b'żewġ pożizzjonijiet, jew stazzjon tal-mili żgħir). Ikteb il-lista tal-I/O tiegħek u r-rekwiżiti tas-sigurtà (liema buttuna hija NC, li hija interlocking). Ħalli l-AI tiġġenera magna tal-istat tat-Test Strutturat b'dan il-kuntest. Imbagħad ivverifika l-output għas-sigurtà: (1) Stop jipprovdi ħruġ sikur minn kull stat, (2) huwa ċċekkjat l-interlocking f'kull ċiklu ta 'skan, (3) l-attwaturi kollha jmorru għall-istat sikur f'każ ta' żball? Agħmel nota ta' kwalunkwe nuqqasijiet ta' sikurezza u korrezzjonijiet li ssib.