Solution: PikeOS

Présentation rapide et historique

PikeOS est un système d'exploitation temps réel (RTOS) développé par SYSGO, une société spécialisée dans les solutions logicielles pour les systèmes embarqués critiques. Lancé en 2005, PikeOS est conçu pour répondre aux besoins des industries nécessitant des systèmes d'exploitation hautement sécurisés et certifiables, tels que l'aéronautique, l'automobile, la défense, et les télécommunications. Le logiciel se distingue par son architecture basée sur un noyau de séparation, ce qui permet une isolation stricte entre différentes partitions du système.

PikeOS a évolué pour intégrer des fonctionnalités avancées d'hyperviseur, permettant l'exécution de multiples systèmes d'exploitation invités (GuestOS) sur une même plateforme matérielle. Cette capacité est particulièrement utile pour les environnements où la sécurité et la sûreté sont primordiales, comme dans les systèmes embarqués critiques. PikeOS est également conçu pour être compatible avec divers standards de certification, ce qui facilite son adoption dans des secteurs réglementés.

Caractéristiques et fonctionnalités

• Architecture de séparation: PikeOS utilise un noyau de séparation qui assure une isolation stricte entre les différentes partitions du système. Cette architecture garantit que chaque partition fonctionne de manière indépendante, ce qui renforce la sécurité et la fiabilité du système.

• Hyperviseur intégré: PikeOS intègre un hyperviseur qui permet l'exécution de multiples systèmes d'exploitation invités (GuestOS) sur une même plateforme matérielle. Cela permet de consolider plusieurs systèmes sur un seul dispositif, réduisant ainsi les coûts et la complexité matérielle.

• Certifiabilité: PikeOS est conçu pour être facilement certifiable selon divers standards de qualité, de sûreté et de sécurité. Il est utilisé dans des secteurs où la certification est cruciale, comme l'aéronautique (DO-178C), l'automobile (ISO 26262), et la défense ( Common Criteria).

• Support multi-OS: PikeOS supporte une large gamme de systèmes d'exploitation invités, y compris Linux, Windows, et d'autres RTOS. Cette flexibilité permet aux utilisateurs de choisir le système d'exploitation le plus adapté à leurs besoins spécifiques.

• Sécurité renforcée: Grâce à son architecture de séparation et ses mécanismes de sécurité avancés, PikeOS offre une protection robuste contre les attaques et les failles de sécurité. Il est particulièrement adapté aux environnements où la sécurité est une priorité.

• Gestion des ressources: PikeOS permet une gestion fine des ressources matérielles, assurant que chaque partition reçoit les ressources nécessaires à son fonctionnement optimal. Cela inclut la gestion de la mémoire, du CPU, et des périphériques.

• Interopérabilité: PikeOS facilite l'interopérabilité entre différentes partitions et systèmes d'exploitation invités. Il permet la communication sécurisée et efficace entre les différents composants du système.

• Compatibilité matérielle: PikeOS est compatible avec une large gamme de plateformes matérielles, y compris les architectures ARM, x86, et PowerPC. Cette compatibilité permet une grande flexibilité dans le choix du matériel.

• Outils de développement: PikeOS est livré avec un ensemble complet d'outils de développement, y compris des environnements de développement intégrés (IDE), des outils de débogage, et des simulateurs. Ces outils facilitent le développement, le test, et le déploiement des applications sur PikeOS.

• Support et maintenance: SYSGO offre un support technique et une maintenance de haute qualité pour PikeOS, assurant que les utilisateurs bénéficient de mises à jour régulières et d'une assistance technique en cas de besoin.