"EKA sertifikuotos RTEMS simetrišku daugialypiu C ir D kategorijos kritiškumo konfigūracija", - sakė Vokietijos RTEMS palaikymo kompanija įterptųjų smegenų. "Tai reiškia, kad dabar saugos kritinės funkcijos taip pat gali būti vykdomos šiuolaikinėse daugiakiniuose procesoriuose, kurie pasikliauna RTEMS. Anksčiau tik labai sumažėjęs, dabar pasenęs, vienos pagrindinės versijos buvo prieinama šiam tikslui. "
Kvalifikacija buvo atlikta "Cobham-Gaisler" procesoriams GR740 ir GR712RC, turintys "Sparc" architektūrą. Sertifikatai su rankomis ir RISC-V šerdimis yra dujotiekyje.
Numatoma A ir B kategorijos kvalifikacija. "Tuomet net saugos kritinės funkcijos įgyjančiose misijose gali veikti remiantis RTEMS", - sakė įterptųjų smegenų. "Tai jau yra įdiegta dokumentai ir bandymai, ir vyksta būtinas nepriklausomas patikrinimas".
Pagal įterptųjų smegenų, kuri sukūrė ir sukūrė dabartinę kvalifikacijos duomenų paketą, RTEMS sertifikavimas dabar yra daugiausia automatizuotas - nuo dokumentų iki bandymų ir vertinimo santraukos. "Tokiu būdu, tikslinių sistemų, sąsajų ir vairuotojų RTEM gali būti sertifikuoti ekonominiu būdu. Net pagrindinėje versijoje tai apima daugiau nei 2000 bandymų procedūras ir daugiau nei 10 000 puslapių rezultatų ir dokumentų ", - bendrovė siūlo savo paslaugas, kad palengvintų daugelio duomenų tvarkytojų kvalifikaciją, kuri dar nepalaikoma.
Čia yra įterptųjų smegenų rtems puslapis
ESA RTEMS kvalifikacijos puslapis
RTEM yra čia