النزاهة (نظام التشغيل)

نظاما التشغيل INTEGRITY و INTEGRITY-178B هما نظاما تشغيل في الوقت الحقيقي (RTOSes) يتم إنتاجهما وتسويقهما بواسطة شركة Green Hills Software .

نزاهة

برنامج INTEGRITY معتمد من POSIX ومصمم للاستخدام في الأنظمة المدمجة ذات 32 بت أو 64 بت . تشمل بنى الحواسيب المدعومة متغيرات من: ARM و Blackfin و ColdFire و MIPS و PowerPC و XScale و x86 . يدعم برنامج INTEGRITY مكتبات SSL/TLS الشائعة مثل wolfSSL . [ 1 ]

النزاهة-178ب

يُعدّ INTEGRITY-178B نسخةً متوافقةً مع معيار DO-178B من نظام INTEGRITY. ويُستخدم في العديد من الطائرات العسكرية مثل B - 2 ، و F-16 ، و F -22 ، و F-35 ، بالإضافة إلى طائرة إيرباص A380 التجارية . ويضمن تصميم نواته أوقات معالجة محدودة من خلال إلغاء ميزات مثل تخصيص الذاكرة الديناميكي .

أتاحت قدرات التدقيق والهندسة الأمنية للنظام الحصول على تصنيف مستوى ضمان التقييم (EAL) 6 من وكالة الأمن القومي (NSA). [ 3 ] يستثني تصميم بنية هدف التقييم (TOE) في الهدف الأمني ​​للتقييم مكونات مثل تلك الخاصة بنظام الملفات والشبكات من تعريف TOE، ويركز بشكل شبه كامل على النواة الأساسية. [ 4 ] أما أنظمة التشغيل الأخرى، مثل ويندوز وماك أو إس ولينكس ، فرغم تقييمها بمستويات ضمان أقل، إلا أنها تتضمن هذه القدرات ضمن TOE الخاص بها .

بنى المعالجات المدعومة

توفر حزمة دعم بنية التكامل (ASP) الدعم للعديد من عائلات المعالجات:

مراجع

  1. "i.MX6 CAAM مع نظام التشغيل Integrity OS - wolfSSL" . 2018-10-26 . تم الاطلاع عليه بتاريخ 2019-02-14 .
  2. "ملل أم ضجر؟ شركة لوكهيد مارتن تدخل مجال تصنيع الأجهزة الجاهزة للاستخدام التجاري" . مجلة فيتا تكنولوجيز. ١٠ ديسمبر ٢٠١٠. مؤرشف من الأصل في ٢ مايو ٢٠١٢. تم الاطلاع عليه في ٩ مارس ٢٠١٢ .
  3. 1 2 كيلي جاكسون هيغينز (18 نوفمبر 2008). "نظام تشغيل آمن يحصل على أعلى تصنيف من وكالة الأمن القومي، ويُطرح تجاريًا" . دارك ريدينغ. مؤرشف من الأصل في 3 ديسمبر 2013. تم الاطلاع عليه في 1 ديسمبر 2013 .
  4. "Integrity-178B Separation Kernel Security Target" (ملف PDF) . شركة SAIC. 31 يناير 2011. تاريخ الاسترجاع: 22 مارس 2011 .