Real vaqtda operatsion tizimlar rtos turlari rtosning tarkibi

2.2 Standart DO-178B
Havo kemalari samolyotlariga mo'ljallangan dasturiy ta'minotni (dasturiy ta'minotni) ishlab chiqish uchun radio texnikaviy komissiyasi (RTCA, Aeronavtika uchun radio texnik komissiyasi) tomonidan yaratilgan DO-178B standarti.
Birinchi versiya 1982 yilda, ikkinchisi (DO-178A) 1985 yilda, hozirgi DO-178B tomonidan 1992 yilda qabul qilingan. DO-178C yangi versiyasini qabul qilish ishlari olib borilmoqda. Ushbu standart besh darajali qobiliyatning zo'ravonlik darajasini belgilab beradi va ularning har biri uchun ushbu jiddiylik darajasini bartaraf etilmagan holda butun tizimning mavjudligini ta'minlashi kerak bo'lgan dastur talablari majmui aniqlanadi.
Ushbu standart quyidagi sertifikatlashtirish darajasini belgilaydi:
* A (katastrofik),
* B (xavfli)
* C (zarur)
* D (muhim bo'lmagan)
* E (ta'sir qilmaydi).
Ushbu standartning barcha qat'iy talablari bajarilmaguncha, xavfsizlikka ta'sir qiladigan hisoblash tizimlari hech qachon havoga ko'tarilmaydi.
2.3 ARINC-653 standarti
ARINC-653 standarti (Avionics Application Software Standard Interface) 1997 yilda ARINC tomonidan ishlab chiqilgan. Ushbu standart aviatsiya kompyuterlari OS va dasturiy ta'minot dasturlari o'rtasidagi universal APEX (Application / Executive) dasturiy interfeysini belgilaydi.
Ilova dasturiy ta'minoti va operatsion tizim xizmatlari o'rtasidagi interfeyslarning talablari dasturiy ta'minotni ishlov beriladigan ichki elementlarning rejalashtirilishi, aloqasi va holatini nazorat qilishiga imkon beradigan tarzda aniqlanadi. 2003 yilda ushbu standartning yangi nashri qabul qilindi. ARINC-653 yengil (partitioning) virtual mashinalarining arxitekturasini aviatsiya sohasida RTOS uchun asosiy talablardan biri sifatida tanishtiradi.
2.4 OSEK standarti.
OSEK / VDX standarti, keyinchalik birlashtirilib, ikki alohida konsortsiada ishlab chiqilgan standartlarning birlashmasidir. OSEK nomini Germaniya nufuzli avtomobil ishlab chiqaruvchilari - BMW, Bosch, Daimler Benz (hozir Daimler Chrysler), Opel, Siemens va Volkswagen, shuningdek Karsruhe universiteti (Germaniya) dan tashkil topgan nemis akronim konsortsiumidan oladi. VDX (Vehicle Distributed eXecutive) loyihasi PSA va Renault kompaniyalari tomonidan birgalikda ishlab chiqilgan. OSEK va VDX komandalari 1994 yilda birlashtirildi.
Dastlab, OSEK / VDX loyihasi avtomobil sanoatida ishlatiladigan tizimlar uchun ochiq kodli OS me'morchiligi standarti va API standartini ishlab chiqishga mo'ljallangan. Shu bilan birga, ishlab chiqilgan standart yanada mavhum bo'lib chiqdi va faqatgina avtomobil sanoati sohasida foydalanishga cheklanmaydi.
OSEK / VDX standarti uch qismdan iborat: operatsion tizim (OS), aloqa standarti (MAQ) va tarmoq menejeri (NM) uchun standart. Ushbu standartlarga qo'shimcha ravishda, dastur tili (Yog ') aniqlanadi. OSEK standartining birinchi komponenti OT standarti hisoblanadi, shuning uchun OSEK standarti odatda RTOS standarti uchun xato hisoblanadi. OS bu standartning katta qismi bo'lsa-da, uning kuchi barcha komponentlarini integratsiyalashdan iborat.