🚗 المقارنة المعمارية: Hisn-seL4 ضد QNX
🚗
QNX
أنظمة مدمجة- نواة دقيقة حقيقية لكن مغلقة: QNX نواة دقيقة فعلية مثبتة على مدى عقود — لكنها تجارية مغلقة المصدر، لا يمكن لأحد مراجعة كودها أو التحقق منها بشكل مستقل.
- لا إثبات رياضي: رغم استقراره الأسطوري في 200+ مليون سيارة، QNX لم يحظَ بإثبات رياضي رسمي (Formal Verification) — استقراره مبني على 40 سنة اختبار لا على برهان رياضي.
- مملوك لـ BlackBerry: قرارات تطويره وترخيصه تعتمد على شركة واحدة — من يريد استخدامه يدفع لـBlackBerry ويخضع لشروطها.
- للأنظمة المدمجة لا لسطح المكتب: يتألق في السيارات والمحطات الفضائية — لكنه غير موجّه للمستخدم العادي ولا يوفّر واجهة سطح مكتب حقيقية.
VS
🛡️
Hisn-seL4
مثبت رياضياً- مفتوح + مثبت رياضياً: ما يقدمه QNX مع سرية الكود، Hisn-seL4 يتجاوزه — مفتوح المصدر ومثبت رياضياً بالحاسوب.
- الثقة بالرياضيات لا بالسنين: QNX يثق في 40 سنة اختبار — seL4 يثبت رياضياً أن الثغرة مستحيلة من الأساس، فارق جوهري.
- للسيارة وسطح المكتب معاً: QNX للأنظمة المدمجة فقط — Hisn-seL4 يجمع أمان الأنظمة الحرجة مع واجهة سطح مكتب حديثة للمستخدم العادي.
- لا قيود تجارية: مفتوح المصدر، لا تدفع لـBlackBerry، قابل للتدقيق والتطوير والمراجعة من الجميع بحرية تامة.