"Citicitional C və D kateqoriyasına görə simmetrik multipressing konfiqurasiyasında ESA sertifikatlı rTems," dedi Alman RTems dəstək şirkəti beyinləri dəstəkləyir. "Bu o deməkdir ki, təhlükəsizlik-tənqidi funksiyalar da RTemlərə güvənən müasir çoxlu prosessorlarda da icra edilə bilər. Əvvəllər bu məqsədlə indi çox böyük, indi köhnəlmiş, tək nüvəli bir versiya mövcud idi. "
SPARC memarlığına sahib olan Cobham-Gaisler prosessorları GR740 və GR712RC-də ixtisas. ARM və RISC-V nüvələri olan sertifikatlar boru kəmərindədir.
A və B kateqoriyası üçün ixtisas dərəcəsi nəzərdə tutulur. "Sonra hətta idarə olunan missiyalarda hətta təhlükəsizlik-tənqidi funksiyaları rTemlər əsasında fəaliyyət göstərə bilər" dedi. "Bunun üçün sənədlər və testlər artıq yerindədir və lazımi müstəqil yoxlama aparılır."
Cari ixtisas məlumat paketi hazırladığı və inkişaf etdirilən quraşdırılmış beyinlərə görə, RTems sertifikatlaşdırılması indi əsasən avtomatlaşdırılmışdır - sənədlərdən test və qiymətləndirmə xülasəsi. "Bu yolla, çox sayda hədəf sistem, interfeys və rTemlərin sürücüləri iqtisadi şəkildə sertifikatlaşdırıla bilər. Əsas versiyada belə, bu, 2000-dən çox test proseduru və 10.000-dən çox səhifə və sənədlər daxildir "- şirkət hələ də dəstəklənməyən çoxsaylı prosessorların ixtisasını asanlaşdırmaq üçün xidmətlərini təklif edir.
Daxili beyinlər RTems səhifəsi burada
ESA-nın rtems ixtisas səhifəsi
RTemlər burada