"ESA certyfikowane RTEMS w symetrycznej konfiguracji wieloprocesowej dla kategorii krytyczności C i D" - wspomniane niemieckie firmę wsparcia RTEMS wbudowane wbudowane mózgi. "Oznacza to, że funkcje krytyczne bezpieczeństwa mogą być teraz wykonywane na nowoczesnych procesorów Multicore, które polegają na RTEMS. Wcześniej tylko znacznie zmniejszona, obecnie przestarzałe, jednordzeniowa wersja była dostępna w tym celu. "
Kwalifikacje przeprowadzono na procesorach Cobham-Gaisler GR740 i GR712RC, które mają architekturę Sparc. Certyfikaty z ramionami ramienia i RISC-V są w rurociągu.
Przewiduje się kwalifikacje do kategorii A i B. "Wtedy nawet kluczowe funkcje krytyczne w załogowych misjach może działać na podstawie RTEMS", powiedział wbudowane mózgi. "Dokumentacja i testy są już na miejscu, a niezbędna niezależna weryfikacja jest w trakcie weryfikacji".
Według osadzonych mózgów, które zaprojektowane i opracowali bieżący pakiet danych kwalifikacji, certyfikat RTEMS jest teraz w dużej mierze zautomatyzowany - od dokumentacji do testowania i podsumowania oceny. "W ten sposób mnóstwo systemów docelowych, interfejsów i kierowców RTEMS mogą być certyfikowane w ekonomiczny sposób. Nawet w wersji podstawowej obejmuje to ponad 2000 procedur testowych i ponad 10 000 stron wyników i dokumentacji "- Spółka oferuje swoje usługi, aby ułatwić kwalifikacje procesorów Multicore, które nie są jeszcze obsługiwane.
Wbudowana strona RTEMS jest tutaj
Strona kwalifikacyjne RTEMS ESA
RTEMS jest tutaj