"ESA Certified RTEMS v symetrickém vícerozměrné konfiguraci pro kritičnost Kategorie C a D," uvedla německá společnost RTEMS podpora společnosti Embedded mozky. "To znamená, že bezpečnostní kritické funkce mohou být nyní prováděny také na moderních multicore procesorech, které se spoléhají na RTEMS. Dříve, pouze velmi snížené, nyní zastaralé, jednosměrná verze byla k dispozici pro tento účel. "
Kvalifikace byla provedena na procesorech COBHAM-Gaisler GR740 a GR712RC, které mají architekturu SPARC. Certifikace s ramenem a RISC-V jádrem jsou v potrubí.
Předpokládá se kvalifikace pro kategorii A a B. "Pak i bezpečnostní kritické funkce v misích snach mohly fungovat na základě RTEMS," uvedl vložené mozky. "Dokumentace a testy pro toto jsou již zavedeny a probíhá nezbytné nezávislé ověření."
Podle vložených mozků, které navrhl a vyvinul současný kvalifikační datový balíček, certifikace RTEMS je nyní do značné míry automatizované - od dokumentace k testování a souhrnu hodnocení. "Tímto způsobem mohou být množství cílových systémů, rozhraní a řidičů RTEMS certifikovány ekonomicky. Dokonce i v základní verzi, to zahrnuje více než 2 000 zkušebních postupů a více než 10 000 stran výsledků a dokumentace "- společnost nabízejí své služby, aby usnadnila kvalifikaci víceúčelových procesorů, které ještě nejsou podporovány.
Embedded Mozicová stránka RTEMS je zde
Kvalifikační stránka ESA RTEMS
RTEMS je tady