PikeOS

PikeOS est un système d'exploitation temps réel et hyperviseur de type 1 conçu pour la consolidation de charges applicatives à criticités mixtes dans les secteurs à exigences de sûreté et de sécurité. PikeOS est utilisé dans les industries aéronautique, ferroviaire, spatiale, automobile et l’automatisation industrielle, dans lesquelles il est nécessaire d'exécuter simultanément des applications avec différents niveaux de sûreté sur une même plateforme matérielle. L’architecture séparation-noyau assure un cloisonnement strict dans le temps et dans l’espace des applications, ceci dans l’objectif de répondre aux référentiels standards comme DO-178C, ISO 26262 ou IEC 61508. Cette organisation permet de déployer les applications en limitant les interférences et en simplifiant la validation des systèmes embarqués.

Dans l’aéronautique, sécurité fonctionnelle et certification sont considérées comme prioritaires. Un constructeur utilisant PikeOS installe sur un même calculateur des applications avioniques critiques et des fonctions non critiques, tout en maintenant la séparation requise par le standard DO-178C DAL A. Cette aptitude à héberger plusieurs systèmes invités, comme Linux, AUTOSAR ou ARINC 653, permet de mutualiser le matériel et d'optimiser la maintenance tout en respectant l’isolement logiciel imposé.

La virtualisation matérielle et logicielle intégrée, la gestion multi-cœur avancée ainsi que le support d’architectures processeur variées (ARM, x86, PowerPC, SPARC, RISC-V) permettent aux intégrateurs industriels et aux développeurs embarqués de répondre à leurs exigences techniques. L’EDI graphique CODEO, la simulation QEMU, l’intégration MATLAB Simulink, le support Embedded Rust, et les bibliothèques certifiables participent à la réalisation des cycles de développement. La surveillance des interférences inter-cœur, comprenant cache coloring, locking, monitoring, est mise en œuvre dans le respect des contraintes temps réel, point important pour le secteur de la mobilité autonome et du ferroviaire.

Dans l’aviation civile, une entreprise équipe ses systèmes eVTOL avec PikeOS afin de certifier l’ensemble de la chaîne de contrôle avionique avec un partitionnement fort, en utilisant la pile de protocoles IP sécurisée et la bibliothèque mathématique certifiée du produit. Ce procédé vise à limiter la durée des processus d’audit, à réduire les incertitudes de migration liées à l’indépendance vis