PikeOS

PikeOS combine un hyperviseur, un système d'exploitation temps réel (en anglais : RTOS) et une plate-forme de virtualisation ainsi qu’un environnement de développement intégré (en anglais : 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^[3]. 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+^[4]. Historiquement, PikeOS est basé sur le micronoyau L4^{[réf. souhaitée]}.

L'une des caractéristiques de PikeOS est sa capacité d'exécuter en toute sécurité des applications avec différents niveaux de sûreté et de sécurité simultanément sur le même processeur, grâce à un hyperviseur qui réalise la stricte ségrégation spatiale et temporelle de des applications au moyen de partitions logicielles^[4]. Une partition logicielle est un conteneur doté de privilèges préalloués et pouvant accéder à une zone mémoire limité, à un ratio du temps CPU, à certaine entrées/sorties, et aussi à une liste prédéfinie de services PikeOS. Dans ce cas, une application correspond à un exécutable lié à une interface (API) proposée par PikeOS et tournant en tant que processus à l'intérieur d'une partition : Plusieurs API sont proposés, les applications ont différents niveaux de complexité, depuis de simples boucles de contrôle jusqu'à des systèmes d'exploitation hôtes (en anglais : Guest OS)^[3] tels que Linux.

Les partitions logicielles peuvent être intégrées dans des Machines Virtuelles. Il est possible d'implémenter un système d'exploitation hôte complet à l'intérieur d'une partition. Chaque partition s'exécutant indépendamment et de façon isolé des autres partitions, PikeOS est en mesure d'adresser des cas d'utilisation de criticité mixte (applications de niveau de criticité différente)^[3]. PikeOS peut être considéré comme un hyperviseur de type 1.^[Quoi ?]

L'IDE CODEO basé sur eclipse fournit des outils de configuration graphique incluant les composants dont les ingénieurs logiciel vont avoir besoin pour développer des applications intégrées ainsi que des assistants complets pour contribuer au développement de manière rapide et efficace en termes de coûts:

• Assistance dans la phase de configuration
• Débogage à distance (jusqu'au niveau de l'instruction matérielle)
• Supervision de cibles
• Déploiement d'application à distance
• Analyse temporelle.

Plusieurs écrans d'édition graphique dédiées assistent l'intégrateur système pour toujours conserver une vision d'ensemble d'importants aspects de la configuration du système PikeOS en montrant les types de partition, la planification, les canaux de communication, la mémoire partagée et la configuration de dispositif E/S à l’intérieur des partitions.

Les projets peuvent être définis facilement à l'aide de modèles réutilisables et distribués aux différentes équipes de développement. Les utilisateurs peuvent configurer des composants prédéfinis pour leur projet ainsi que définir et ajouter d'autres composants durant le processus de développement.

• Système d'exploitation temps réel incluant un hyperviseur de type 1 conçu pour une configuration hautement flexible
• Permet des temps d'amorçage rapides et sûrs
• Permet la criticité mixte via un noyau de séparation
• Offre le partionnement spatial et temporel
• Permet l’utilisation de pilotes au niveau noyau ou au niveau espace utilisateur
• Garantit l’indépendance vis-à-vis des types et des familles de processeur
• Offre des processus simples de migration et une grande portabilité en simple-cœur et multi-cœur
• A été conçu pour permettre la certification pour de multiples normes de sûreté et de sécurité
• Réduit le délai de mise sur le marché via des outils de développement et de vérification standard
• Offre un large choix de types de systèmes d'exploitation hôtes supportés (API)
• Ne possède aucune restriction d'exportation ITAR (solution européenne).

Normes de certification de sûreté conformes

• RTCA DO-178B/C ou EUROCAE ED-12B/C
• EN 50218
• EN 50657
• CEI 61508
• ISO 26262
• CEI 62304

Normes de certification de sécurité conformes

• Critères communs
• SAR

SYSGO (en) s'engage à mettre en place les partenariats technologiques et commerciaux pertinents pour aider les ingénieurs à atteindre leurs objectifs. SYSGO collabore actuellement avec près de 100 partenaires dans le monde entier.

Veuillez trouver ci-dessous un extrait des partenaires classés par catégorie:

• Fabricants de cartes : Curtiss-Wright Controls Embedded Computing, Kontron, MEN ou ABACO,
• Fabricants de semi-conducteurs : NXP/Qualcomm, Renesas, TI, Xilinx, Infineon, NVidia ou Intel^[5],
• Partenaires logiciel : CoreAVI, Aicas, AdaCore , RTI, Datalight, Systerel, Imagination Technologies,
• Vendeurs d’outils : Lauterbach, Vector Software, Rapita, iSystem, ANSYS/Esterel, PrismTech,
• Architectures supportées : ARM, PPC, X86 ou Sparc (sur demande).