تصميم التوافق مع ARINC 653: تصميم التحقق المستقل من نظام RTOS المهم للسلامة
| العنوان | تصميم التوافق مع ARINC 653: تصميم التحقق المستقل من نظام RTOS المهم للسلامة |
|---|---|
| المؤلف | ألبتكين، أ.، ييلمازر، ي.، أوسوغ، يو.، كوكا، إف.، إنتشكي، كوراي |
| تاريخ النشر: | 2014 |
| مكان النشر | - IEEE |
| الموضوع | معلومات:eu-repo/semantics/restrictedAccess، واجهات برنامج التطبيق، الاختبار التلقائي، إلكترونيات الطيران، اختبار المطابقة |
| النوع | دورية |
| اللغة | الإنجليزية |
| رقمي | نعم |
| مخطوط | لا |
| المكتبة: | جامعة اوزيجين |
| معرف أصل المكتبة | 2155-7195 |
| رقم السجل | 911f35a5-9f16-4f88-bc81-2e1657fa0fc8 |
| التاريخ | 2014 |
| ملاحظات | نظرًا لقيود حقوق الطبع والنشر، فإن الوصول إلى النص الكامل لهذه المقالة متاح فقط عبر الاشتراك. |
| نص عينة | لا توفر مواصفات ARINC 653 واجهة برمجة تطبيقات قياسية لنظام RTOS فحسب، بل تحدد أيضًا كيفية التحقق من صحة نظام RTOS المستند إلى ARINC 653. ARINC 653 الجزء 3 تحدد مواصفات اختبار المطابقة إجراءات الاختبار للتحقق من صحة ARINC 653 الجزء 1 (مواصفات الخدمات المطلوبة). لا توفر مجموعات وحزم التحقق ARINC 653 الحالية استقلالية النظام الأساسي، وقابلية الصيانة المكتسبة من خلال إطار عمل مفتوح المصدر، وبروتوكول اتصال موثوق، ومبادئ الاختبار الآلي في نفس الوقت. تقدم هذه الورقة مجموعة تحقق جديدة تمامًا، GVT-A653 وهي مستقلة عن النظام الأساسي وتضمن توافقها مع مواصفات ARINC 653. يعتمد هذا الجناح على TETware (العلامة التجارية لشركة OpenGroup) ويعتمد على مبادئ التكامل المستمر (CI). كما أنه يوفر المرونة من خلال توفير بروتوكولات مختلفة بما في ذلك شبكة إيثرنت ثنائية الاتجاه لإلكترونيات الطيران (AFDX) التي توفر الاتصال الحتمي المطلوب في تطبيقات إلكترونيات الطيران. |
| DOI | 10.1109/DASC.2014.6979534 |
