برامج عالية الموثوقية

📅 آخر تحديث: ٢٨ يوليو ٢٠٢٦
✍️ نُشر في: ٢٨ يوليو ٢٠٢٦
الموسوعة الحرة

البرمجيات عالية الموثوقية هي برمجيات قد يؤدي تعطلها إلى أضرار جسيمة، قد تصل عواقبها إلى تهديد الحياة. [ 1 ] وتكتسب الموثوقية أهمية بالغة لأنها تُثبت سلامة وأمان البرمجيات وقابليتها للصيانة. [ 1 ] ومن أمثلة البرمجيات عالية الموثوقية: أنظمة التحكم في المفاعلات النووية ، وبرمجيات إلكترونيات الطيران ، وبرمجيات السلامة الحرجة في السيارات، وبرمجيات التحكم في العمليات . [ 2 ] [ 3 ]

تعني السلامة العالية أن الكود:

  • يؤدي وظيفته كما ينبغي.
  • يمكن اختباره.
  • يحتوي على ميزات أمان.
  • يخلو من الثغرات الأمنية.
  • يسهل فهمه ومتابعته منطقياً.
  • يسهل تعديله وترقيته دون إدخال أخطاء جديدة. [ 1 ]

هناك عدد من المعايير التي تنطبق على البرامج عالية الموثوقية، بما في ذلك:

  • DO-178C ، اعتبارات البرمجيات في أنظمة ومعدات الطيران المعتمدة [ 4 ]
  • CENELEC EN 50128، تطبيقات السكك الحديدية - أنظمة الاتصالات والإشارات والمعالجة - برامج لأنظمة التحكم والحماية في السكك الحديدية [ 5 ]
  • IEC 61508 ، السلامة الوظيفية للأنظمة الكهربائية/الإلكترونية/الإلكترونية القابلة للبرمجة المتعلقة بالسلامة (E/E/PE، أو E/E/PES)
  • ISO 26262 ، المركبات على الطرق - السلامة الوظيفية (خاصة الجزء 6 من المعيار، والذي يحمل عنوان "تطوير المنتج على مستوى البرمجيات" [ 6 ]

انظر أيضاً

مراجع

  1. 1 2 3 "ما هي سلامة البرمجيات؟ نظرة عامة + أفضل ممارسات سلامة البرمجيات" . perforce.com . تم الاطلاع عليه في 15 فبراير 2022 .
  2. ↑ سينيت، سي تي (2012). برمجيات عالية الموثوقية . سبرينغر ساينس آند بيزنس ميديا. ص 1. ISBN  978-1-4684-5777-3تم الاطلاع عليه بتاريخ 14 فبراير 2022 .
  3. ↑ تشابمان، رود (4 سبتمبر 2024). "الصحة بالبناء: حالة التحقق الثابت البنّاء" (ملف PDF) . المعهد الوطني للمعايير والتكنولوجيا . مؤرشف (ملف PDF) من الأصل في 30 سبتمبر 2006. تم الاطلاع عليه في 4 سبتمبر 2024 .
  4. ↑ "تطوير برمجيات متوافقة مع معيار DO-178B/C للأنظمة المحمولة جواً" (ملف PDF) . باراسوفت . تم الاطلاع عليه بتاريخ 14 فبراير 2022 .
  5. ↑ اللجنة الأوروبية للتوحيد القياسي الكهروتقني (CENELEC). "CENELEC – EN 50128" . Engineering360 . تاريخ الاسترجاع: 14 فبراير 2022 .
  6. ^ تشي فان إيكيما، إنسان (25 يناير 2012). "تقييم معيار الأيزو 26262، "المركبات على الطرق - السلامة الوظيفية"( ملف PDF) . مركز فولبي التابع لوزارة النقل الأمريكية . مؤرشف (ملف PDF) من الأصل بتاريخ 14 يوليو 2015. تم الاطلاع عليه بتاريخ 4 سبتمبر 2024 .
  • بولانجر، جان لويس (13 أبريل 2015). معايير CENELEC 50128 وIEC 62279. جون آر. وايلي وأولاده. ISBN 978-1-84821-634-1.
  • وينتر، فيكتور ل.؛ بهاتاشاريا، سوراف، محرران. (2001). برمجيات عالية الموثوقية . سبرينغر ساينس + بيزنس ميديا، ذ.م.م. رقم ISBN 978-1-4613-5530-4تم الاطلاع عليه بتاريخ 14 فبراير 2022 .
  • والاس، دولوريس ر.؛ إيبوليتو، لورا م.؛ كون، د. ريتشارد (1992). معايير وإرشادات البرمجيات عالية الموثوقية (ملف PDF) . المعهد الوطني للمعايير والتكنولوجيا . تم الاطلاع عليه بتاريخ 15 فبراير 2022 .