"ESA Certified RTEMS dans la configuration multiprofessante symétrique pour la catégorie de criticité Catégorie C et D", a déclaré les cerveaux intégrés à la société allemande RTEMS. «Cela signifie que les fonctions critiques de sécurité peuvent maintenant également être exécutées sur des processeurs multicœurs modernes qui s'appuient sur des RTEEM. Auparavant, seule une version grandement réduite, maintenant obsolète, une version monocolore était disponible à cette fin. "
La qualification a été réalisée sur les processeurs COBHAM-GAISLER GR740 et GR712RC, qui ont l'architecture SPARC. Les certifications avec bras et cœurs RISC-V sont dans le pipeline.
La qualification de la catégorie A et B est envisagée. "Puis même les fonctions de sécurité dans les missions habitées pourraient opérer sur la base des RTEEM", a déclaré des cerveaux intégrés. "La documentation et les tests pour cela sont déjà en place et la vérification indépendante nécessaire est en cours."
Selon des cerveaux intégrés, qui ont conçu et développé le package de données de qualification actuel, la certification RTEEM est désormais largement automatisée - de la documentation aux tests et du résumé de l'évaluation. «De cette manière, la multitude de systèmes cible, d'interfaces et de pilotes de RTEEM peut être certifiée de manière économique. Même dans la version de base, cela inclut plus de 2 000 procédures de test et plus de 10 000 pages de résultats et de documentation »- la société offre ses services pour faciliter la qualification de processeurs multicœurs qui ne sont pas encore pris en charge.
La page RTEMS Brains intégrée est ici
Page de qualification RTEEMS de l'ESA
Rtems est ici