PikeOS est un système d'exploitation temps réel () basé sur un noyau de séparation offrant une fonctionnalité d’hyperviseur avec plusieurs types de partition pour d'autres systèmes d'exploitation (appelés ) et applications. Il permet à ses utilisateurs de développer des équipements embarqués, répondant aux contraintes de certification, incluant des appareils intelligents pour l'Internet des objets, conformément aux normes de qualité, de sûreté et de sécurité des différents secteurs industriels.
PikeOS est développé et commercialisé par la société allemande fondée en 1991. Cette société a été rachetée par Thales en .
Description PikeOS combine un hyperviseur, un système d'exploitation temps réel () et une plate-forme de virtualisation, ainsi qu’un environnement de développement intégré () 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é au niveau EAL5+. .
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 des applications au moyen de partitions logicielles. Une partition logicielle est un conteneur doté de privilèges pré-alloués et pouvant accéder à une zone mémoire limitée, à un ratio du temps CPU, à certaines entrées/sorties, et aussi à une liste prédéfinie de services de l'OS PikeOS. Dans ce cas, une application correspond à un exécutable lié à une interface (API) proposée et s'exécutant 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 () tels que Linux. alt=Exemples de partitionnement de ressource et de temps.|centré|600x600px
Les applicatifs logicielles peuvent être intégrés dans des Machines Virtuelles. Il est possible d'implémenter un système d'exploitation hôte complet à l'intérieur d'une partition PikeOS.
Chaque partition s'exécute indépendamment et de façon isolée des autres partitions. Aussi, PikeOS est en mesure d'assumer des cas d'utilisation de criticité mixte (applications de niveau de criticité différente).
Chaîne d'outils prise en charge/IDE CODEO L'IDE CODEO, basé sur éclipse, fournit des outils de configuration graphique incluant les composants nécessaires pour développer des applications ainsi que des assistants complets pour optimiser le développement : 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 permettent de conserver une vision d'ensemble des 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 d'entrées/sorties des partitions.
Dans l'IDE CODEO, les projets peuvent être définis à l'aide de modèles réutilisables. Les composants prédéfinis sont configurables à la création, et d'autres composants peuvent être ajoutés lors du développement.
Avantages-clés
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).
Standards de certification PikeOS est conforme aux standards de certification de sûreté suivants : RTCA DO-178B/C ou EUROCAE ED-12B/C, EN 50218, EN 50657, CEI 61508, ISO 26262, CEI 62304.
PikeOS est conforme aux standards de certification de sécurité suivants : Critères communs, .
Écosystème partenaire
met en place les partenariats technologiques et commerciaux. SYSGO collabore avec près de 100 partenaires dans le monde.
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, 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).
Les différentes versions
+ProduitVersionVersion CODEO liéeVersion ELinOS liéeDate de sortiefin du supportPikeOS3.4 (non cert)5.0, 6.0, 6.1, 6.25.207/2013Depuis le 12/2017PikeOS3.4 (cert)5.0, 6.0, 6.1, 6.25.207/2013LTS on x86PikeOS3.55.0, 6.0, 6.1, 6.26.0, 6.101/2015Depuis le 12/2017PikeOS4.06.0, 6.1, 6.26.0, 6.103/2016Depuis le 06/2019PikeOS4.16.1, 6.26.108/2016Depuis le 04/2021PikeOS4.2 (non cert)6.26.201/2017CandidatePikeOS4.2 (cert)6.26.204/2017CourantPikeOS5.0 (non cert)7.0, 7.17.006/2020CourantPikeOS5.0 (cert)7.0, 7.17.008/2020CourantPikeOS5.1 (non cert)7.17.001/2021CourantPikeOS5.1 (cert)7.17.002/2021Courant
Notes et références
Liens externes Site web SYSGO PikeOS PikeOS for MPU Information Produit Résumé Produit
Catégorie:Virtualisation Catégorie:Système d'exploitation temps réel libre