Le système d'exploitation temps réel et hyperviseur PikeOS de Sysgo a atteint pour la première fois le plus haut niveau de la catégorie A (Cat. A) de la norme de sécurité spatiale ECSS-E-ST-40C. PikeOS est désormais adapté à toutes les applications spatiales critiques en matière de sécurité. Un kit de certification est en outre disponible en vue de construire des applications spatiales fondées sur PikeOS et l'architecture Sparc (Leon4).

- Certification de sécurité selon les Crières communs au niveau EAL5+ pour la version 5.1.3 de PikeOS

- Kit intégrant un guide et des artefacts pour la certification

- La fonctionnalité d'hyperviseur de PikeOS est couverte par la certification

- Possibilité de construire des systèmes critiques mixtes, ce qui permet de réduire les coûts, l'espace, l'énergie et le poids

- Commandes de vol, passerelle de communication et monitoring peuvent fonctionner en parallèle et être séparés de manière sécurisée dans l'espace et le temps