طراحی برای انطباق با ARINC 653: اعتبارسنجی مستقل معماری یک RTOS حیاتی ایمنی
| عنوان | طراحی برای انطباق با ARINC 653: اعتبارسنجی مستقل معماری یک RTOS حیاتی ایمنی |
|---|---|
| نویسنده | Alptekin، A.، Yilmazer، Y.، Usug، U.، Koca، F.، İnçki، Koray |
| تاریخ انتشار: | 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 |
