PikeOS

PikeOS est un système d'exploitation temps réel (RTOS) basé sur un noyau de séparation offrant une fonctionnalité d’hyperviseur avec plusieurs types de partition pour de nombreux autres systèmes d'exploitation (appelés GuestOS) et applications. Il permet à ses utilisateurs de construire des équipements ou appareils intelligents certifiables pour l'Internet des Objets conformément aux normes de qualité, de sûreté et de sécurité des différents secteurs industriels. Pour les applications en temps réel critiques en matière de sécurité et de sûreté sur des systèmes basés sur des contrôleurs sans Unité de gestion de mémoire (MMU) mais avec une unité de protection de la mémoire (MPU), PikeOS for MPU est disponible. PikeOS combine un système d'exploitation temps réel (RTOS) et une plate-forme de virtualisation ainsi qu’un environnement de développement intégré (IDE) basé sur Eclipse. Le système d'exploitation temps réel PikeOS a été développé pour les applications critiques en matière de sécurité et de sûreté de fonctionnement avec des besoins de certification dans les secteurs de l'Avionique, du Spatial et de la Défense, de l'Automobile et des Transports, de l'Automatisation industrielle et du Médical, des Infrastructures Réseau et de l'Électronique Grand Public. La version 5.1.3 du noyau de séparation PikeOS est certifiée conforme à la norme de sécurité Common Criteria au niveau EAL5+. Historiquement, PikeOS est basé sur le micronoyau L4. L'une des fonctions-clés de PikeOS est la capacité d'exécuter en toute sécurité des applications avec différents niveaux de sûreté et de sécurité simultanément sur la même plate-forme matérielle. Notamment grâce à la stricte ségrégation spatiale et temporelle de ces applications au moyen de partitions logicielles. Une partition logicielle peut être comparée à un conteneur doté de privilèges préalloués et pouvant accéder à la mémoire, au temps CPU, aux E/S, mais aussi à une liste prédéfinie de services PikeOS.