سود:
- توانایی تولید منطق نردبان و ساختارهای متن ساخت یافته (ST) به صورت پیش نویس با هوش مصنوعی
- امکان پیکربندی مدارهای ایمنی، اینترلاک ها و ماشین های حالت با کمک هوش مصنوعی
- توانایی تایید منطق PLC تولید شده توسط هوش مصنوعی در برابر نقشه ورودی/خروجی و الزامات ایمنی
نام قابلیت اطمینان در زمینه کارخانه PLC (Programmable Logic Controller) است. نوار نقاله، سلول های ربات، خطوط پرکننده، پرس. همه توسط PLC ها کنترل می شوند. برنامه نویسی PLC دنیایی جدا از نرم افزار دسکتاپ است: Ladder Logic (LD) یک زبان بصری است که منطق رله را تقلید می کند، در حالی که متن ساختاریافته (ST) یک زبان متنی پاسکال مانند است. هر دو در استاندارد IEC 61131-3 تعریف شده اند. در این محیط، مهم ترین چیز عملکرد نیست بلکه ایمنی است. زیرا یک خطای منطقی می تواند پرس را در زمان نامناسبی خاموش کند و اپراتور را به خطر بیندازد. هوش مصنوعی به تولید پیش نویس های نردبان و ST، ساخت ماشین های حالت و مستندسازی منطق کمک می کند. با این حال، مدارهای ایمنی، اینترلاک ها و تایید نهایی بر عهده مهندس است و نمی توان آن را به هوش مصنوعی واگذار کرد. در این بخش، نحوه ساخت و تایید منطق PLC با هوش مصنوعی را پوشش می دهیم.
منطق کاری PLC: چرخه اسکن
PLC فقط یک بار کد را اجرا نمی کند و تمام می شود. یک چرخه اسکن مداوم را انجام می دهد. در هر حلقه: (1) همه ورودی ها را می خواند، (2) منطق را از بالا به پایین اجرا می کند، (3) همه خروجی ها را به روز می کند. این چرخه میلی ثانیه طول می کشد و بی انتها تکرار می شود. این رفتار هنگام نوشتن منطق PLC پیامدهای حیاتی دارد:
- خروجی ها در انتهای حلقه به روز می شوند. اگر مقداری را به یک خروجی در بیش از یک مکان در حلقه اختصاص دهید، آخرین تخصیص برنده می شود.
- منطق در هر چرخه از ابتدا کار می کند. بنابراین از متغیرهای latch یا state برای "به خاطر سپردن" حالت استفاده می شود.
- در صورت تمدید زمان اسکن، رویدادهای سریع ممکن است از دست بروند. رویدادهای مهم توسط وقفه سخت افزاری یا شمارنده سرعت بالا ثبت می شوند.
نکته: هنگام نوشتن منطق PLC در هوش مصنوعی، بگویید "رفتار حلقه اسکن را در نظر بگیرید، هیچ تخصیص متناقضی برای خروجی یکسان وجود ندارد، از ماشین قفل/حالت برای حالت استفاده کنید". AI گاهی اوقات مانند منطق دسکتاپ فکر می کند و از رفتار اسکن صرف نظر می کند.
منطق نردبان و متن ساختاریافته
یک منطق را می توان در هر دو زبان نوشت. یک مثال ساده: یک موتور با فشار دادن دکمه استارت روشن می شود، متوقف می شود و با فشار دادن دکمه استاپ خود قفل می شود.
LADDER (نمایش متن): Start Stop Engine---| |------|/|-------------( )--- | موتور |---| |------+ (تماس موتور خود را حفظ می کند -> مهر و موم کردن) توضیح: وقتی استارت فشار داده می شود، موتور روشن می شود. موتور از طریق تماس خود (seal-in) جریان را حفظ می کند. هنگامی که Stop (NC) فشار داده می شود، زنجیره قطع می شود.
(* منطق مشابه متن ساختاریافته *)اگر شروع و متوقف نشود موتور := TRUE;END_IF;اگر متوقف شود سپس موتور := FALSE; (* Stop همیشه اولویت دارد *)END_IF;(* توجه: دکمه Stop از نظر فیزیکی به NC متصل است (معمولاً بسته است)؛ بنابراین اگر کابل پاره شد، Stop=FALSE و سیستم به سمت امن سوئیچ میکند. *)
جزئیات ایمنی در اینجا بسیار مهم است: دکمه توقف از نظر فیزیکی به طور معمول بسته است (NC). بنابراین، در صورت شکستن کابل یا خرابی تماس، سیگنال قطع می شود و سیستم به سمت "توقف" (fail-safe) می رود. اگر NO (معمولاً باز) وصل شود، در صورت شکستن کابل، توقف کار نخواهد کرد - یک خطای بیصدا خطرناک. حتی اگر کد هوش مصنوعی از نظر منطقی درست به نظر برسد، این تصمیم اتصال فیزیکی به عهده مهندس است.
ایمنی: E-Stop، Lockout و Fail-Safe
ایمنی در اتوماسیون صنعتی موضوعی نیست که بتوان آن را "در نرم افزار" مدیریت کرد. این یک همکاری لایه ای از سخت افزار و نرم افزار است. اصول اولیه:
اصل
معنی
برنامه
بدون خرابی
شکست باید به سمت امن منتهی شود
تماس NC، خطا = توقف
افزونگی
عملکرد بحرانی دو کاناله
دو تماس، نظارت متقابل
در هم تنیده
جلوگیری از وضعیت خطرناک
وقتی در باز است دستگاه کار نمی کند
توقف الکترونیکی
توقف اضطراری مستقل
در سطح سخت افزار، مستقل از PLC
نکته حساس: E-stop تنها به نرم افزار واگذار نمی شود. توقف اضطراری مربوط به ایمنی اغلب در سطح سخت افزاری توسط رله های ایمنی یا PLC ایمنی قطع می شود. نرم افزار استاندارد PLC یک لایه اضافی در بالای آن است. ISO 13849 (ایمنی ماشین) و IEC 62061 چارچوب این طرح ها را فراهم می کند.
احتیاط: فرض نکنید که منطق قفل یا توقف الکترونیکی تولید شده توسط هوش مصنوعی "نرم افزار کافی" است. عملکردهای ایمنی بر اساس استانداردهای مربوطه (ISO 13849 PL, IEC 62061 SIL) طراحی شده اند، شامل یک لایه سخت افزاری هستند و با ارزیابی ریسک تایید می شوند. این ارزیابی به عهده مهندس و سازمان است. هوش مصنوعی فقط می تواند خطوط کلی و چک لیست را تولید کند.
ماشین های دولتی
منطق اتوماسیون پیچیده با یک ماشین حالت سازماندهی میشود تا اگر-دیگر کثیف: سیستم حالتهای خاصی را پیدا میکند (بیکار، شروع، در حال اجرا، توقف، خطا) و از طریق انتقالهای تعریفشده پیش میرود. این ساختار هم قابل خواندن و هم قابل تایید است.
(* دستگاه حالت پمپ بنزین ساده *) CASE OF 0: (* BOSTA *) IF StartButton AND CoverClosed THEN Case := 10; END_IF؛ 10: (* FILL *) شیر := TRUE; IF LevelFull سپس دریچه := FALSE; وضعیت := 20; END_IF؛ اگر پوشانده نشد، شیر := FALSE; وضعیت := 90; END_IF؛ (* ایمنی *) 20: (* DRAIN *) PURGE := TRUE; IF LevelEmpty THEN Empty := FALSE; وضعیت := 0; END_IF؛ 90: (* ERROR *) شیر := FALSE; خالی := FALSE; (* همه محرک ها ایمن هستند *) اگر ResetButton سپس وضعیت := 0; END_IF;END_CASE;
در این ساختار، انتقال های ایمنی (رفتن به حالت خطا در صورت باز شدن پوشش، بستن تمام محرک ها) به وضوح در هر موقعیتی گنجانده شده است. هوش مصنوعی اسکلت ماشین حالت را به سرعت تولید می کند. اما اینکه کدام حادثه ایمنی از کدام موقعیت ناشی می شود از تجزیه و تحلیل ریسک شما ناشی می شود.
اعلان ضعیف / اعلان قوی
ضعیف:"نوشتن کد PLC برای یک نوار نقاله."(بدون I/O، بدون ایمنی، زبان نامشخص. امکان فیلد پیش نویس وجود ندارد.)STRONG:"یک کنترل نوار نقاله را با IEC 61131-3 Structured Text بنویسید. ورودی ها: شروع (NO)، توقف (NC)، PhotocellProductVar (NO:ConvetorOver)، امنیت Conveyor. WarningLamp از دستگاه حالت (Idle, Running, Error) استفاده کنید. Stop همیشه اولویت دارد، وقتی درب باز است به Error بروید و ارزیابی ایمنی این کد را خاموش کنید.
کیف کوچک
مهندس اتوماسیون تولگا کد ST را از هوش مصنوعی برای یک خط بسته بندی درخواست می کند. هوش مصنوعی کدی را تولید می کند که به نظر کار می کند، اما وقتی تولگا آن را در برابر نقشه ورودی/خروجی اعتبار می دهد، دو مشکل پیدا می کند. اول: هوش مصنوعی دکمه Stop را با منطق NO (معمولاً باز) رفتار کرده است. Tolga این را به منطق NC Fail-Safe تبدیل می کند، زیرا اگر کابل شکسته شود، خط باید متوقف شود. دوم: قفل، که در آن دستگاه باید در هنگام باز بودن پوشش محافظ متوقف شود، فقط در هنگام راه اندازی بررسی می شود، نه در حین کار. Tolga آن را تصحیح می کند تا در هر چرخه اسکن بررسی شود. همچنین تأیید می کند که E-stop واقعی به نرم افزار واگذار نمی شود، بلکه در سخت افزار با رله ایمنی قطع می شود. هوش مصنوعی اسکلت منطقی خود را به سرعت ارائه کرد. اما تأیید مهندس سه تصمیم ایمنی را تضمین کرد: اتصال بدون خرابی، قفل دائمی و سخت افزار E-stop.
اشتباهات رایج
- اتصال دکمه Stop/E-stop به NO و از دست دادن رفتار ایمن در صورت شکست کابل.
- بررسی قفل (درپوش، پرده نور) فقط در هنگام راهاندازی و پرش از آن در هنگام کار.
- سپردن عملکرد امنیتی به طور کامل به نرم افزار و غفلت از لایه سخت افزاری.
- فراموشی رفتار حلقه اسکن و ایجاد تخصیص متناقض به همان خروجی.
- منطق پیچیده را غیرقابل تأیید کردن با نوشتن آن با if-else به جای یک ماشین حالت است.
- پذیرش تفسیر هوش مصنوعی از استاندارد امنیتی بدون تأیید آن با متن رسمی.
به طور خلاصه
- PLC با یک چرخه اسکن مداوم عمل می کند. خروجی ها در انتهای حلقه به روز می شوند.
- نردبان و متن ساختار یافته منطق یکسانی را در دو زبان مختلف IEC 61131-3 بیان می کنند.
- دکمه های Stop/E-stop NC و Fail-Safe متصل هستند. شکست باید به سمت امن منتهی شود.
- قفل ها در هر چرخه اسکن بررسی می شوند. شامل لایه سخت افزار امنیتی
- ماشین حالت منطق پیچیده را قابل خواندن و تایید می کند.
- ارزیابی ایمنی (ISO 13849/IEC 62061) مسئولیت مهندس است. هوش مصنوعی پیش نویس تولید می کند.
وظیفه کاربردی
یک سناریوی اتوماسیون ساده را انتخاب کنید (مثلاً موتور خود قفل استارت/توقف، یک محرک دو حالته یا یک پمپ بنزین کوچک). لیست I/O و الزامات ایمنی خود را بنویسید (که دکمه NC است که در هم قفل می شود). از هوش مصنوعی بخواهید یک ماشین حالت متن ساختاریافته با این زمینه ایجاد کند. سپس خروجی را برای ایمنی بررسی کنید: (1) آیا Stop خروج ایمن از هر حالت را فراهم می کند، (2) آیا اینترلاک در هر چرخه اسکن بررسی می شود، (3) آیا همه محرک ها در صورت بروز خطا به حالت ایمن می روند؟ هرگونه نقص ایمنی و اصلاحاتی را که پیدا کردید یادداشت کنید.