Rust core library به طور جزئی صیقل داده شد برای مطابقت با استاندارد ایمنی صنعتی
Ferrous Systems موفق به کسب گواهینامه IEC 61508 (SIL 2) برای سیستمهایی شده است که نیازمند قابلیت اطمینان بالا هستند. این خبر، مسیری نوین را برای بهکارگیری کد Rust در دستگاههای نیازمند ایمنی الکترونیکی باز میکند.
آخرین نسخه از Ferrocene، ابزار کامپایلر متنباز Rust برای سیستمهای حیاتی و امنیتی، با گواهینامه IEC 61508 (SIL 2) برای بخشهایی از کتابخانه اصلی همراه است. این گواهینامه به معنای آن است که کد Rust میتواند در صنایع تحت مقررات بیشتر مورد استفاده قرار گیرد.
فلوریان گیلچر، مدیرعامل شرکت Ferrous Systems، در یک پست وبلاگ اظهار داشت: «Rust بدون core قابل اجرا در محیطهای تعبیه شده یا حیاتی نیست و core نیز بدون اعتبارسنجی دقیق با ابزارهایی مانند Ferrocene نمیتواند گواهینامه دریافت کند. این انتشار مجدد، تعهد ما را به ارائه کامپایلرهای مدرن Rust – و اکنون کتابخانههای دارای گواهینامه – برای پاسخگویی به نیازهای دنیای ایمنیمحور، تأیید میکند.»
اهمیت رفع اشکالات امنیتی حافظه
رفع اشکالات امنیتی حافظه در اولویت قرار گرفته است زیرا نگرانیها در مورد امنیت سیستمهای بخش خصوصی و دولتی افزایش یافته است. با این حال، توسعه برای سیستمهای تعبیه شده هنوز عمدتاً شامل استفاده از کد C یا ++C است که با چالشهای امنیتی حافظه روبرو هستند – مشکلی که یک کامپایلر جدید به نام Fil-C ممکن است آن را برطرف کند.
استاندارد SIL چیست؟
گواهینامه بخشی از کتابخانه اصلی Rust پتانسیل گسترش استفاده از کد Rust در صنایع تنظیمشده را دارد. این زبان برنامهنویسی با ضمانتهای قوی امنیتی حافظه، به کاهش خطاهای مرتبط با حافظه و بهبود پایداری برنامههای همراه کمک میکند، البته در صورتی که اشکالات جدیدی معرفی نشوند.
SIL (Safety Integrity Level) نمایانگر سطح یکپارچگی ایمنی است، معیاری برای عملکرد ایمنی سیستم. این شاخص احتمال خرابی در زمان درخواست را خلاصه می کند؛ SIL 4 بالاترین درجه اطمینان و SIL 1 کمترین درجه را نشان میدهد.
SIL 4 برای سیستمهایی مناسب است که به حداکثر قابلیت اطمینان نیاز دارند، زیرا خرابیها میتوانند منجر به تلفات جانی گسترده شوند – مانند کنترلهای نیروگاه هستهای یا سیستمهای ریلی. SIL 3 معمولاً برای سیستمهایی اعمال میشود که در صورت بروز خرابی خطر بالایی ایجاد میکنند، مانند تجهیزات مهندسی شیمیایی، دستگاههای پزشکی یا حسگرهای اکسیژن. SIL 2 ممکن است برای رباتهای صنعتی استفاده شود و SIL 1 برای دوربینهای مداربسته یا سیستم روشنایی ساختمان مناسب باشد.
گواهینامههای قبلی و همکاریها
شرکت گواهینامه TÜV SÜD پیشتر زنجیره ابزار Ferrocene را بر اساس ISO 26262 (ASIL D)، IEC 61508 (SIL 3) و IEC 62304 (Class C) برای توسعه متمرکز بر ایمنی گواهینامه داده است. این شرکت همچنین از تلاشهای اعتبارسنجی برای دستیابی به سطوح اطمینان SIL 4 و DO-178C (DAL C) پشتیبانی میکند.
با کمک شرکای Sonair و Kiteshield، توسعهدهندگان Ferrocene زیرمجموعه قابل توجهی از کتابخانه اصلی را گواهینامه دادهاند تا با استاندارد IEC 61508 (SIL 2) مطابقت داشته باشد. این مجموعه شامل انواع و توابع مهم مانند Option, Clone, str، اشارهگرها و اکثر پرائمتیوها (primitives) است.
کاربردهای عملی
Ferrocene-certified core subset به توسعهدهندگان دسترسی به انواع و توابعی میدهد که برای اهداف واجد شرایط مانند x86_64 Linux، x86_64 یا Armv8-A QNX Neutrino یا سیستم عامل بیدرنگ (RTOS) بر روی Armv8-A یا Armv7E-M مناسب هستند. Sonair از Ferrocene برای تشخیص و رتبهبندی آکوستیک (ADAR) در رباتهایی با زیرسیستمهای Armv8-A و Armv7E-M استفاده میکند. Kiteshield یک سیستم ایمنی Ultra-Wideband مبتنی بر Rust را برای استخراج معادن در حال توسعه دارد که برای جلوگیری از تصادف بین ماشینآلات دستی و خودکار طراحی شده است.
📌 توجه: این مطلب از منابع بینالمللی ترجمه و بازنویسی شده است.