« PikeOS » : différence entre les versions
Suivi de la page en anglais. Il a été ajouté une certification. |
|||
| Ligne 28 : | Ligne 28 : | ||
* IEC61508 |
* IEC61508 |
||
* DO-178B |
* DO-178B |
||
* EN 50128 (PikeOS a reçu une certification SIL4 en mode SMP sur plate-forme multicœur <ref>http://www.openpr.com/news/273803/SYSGO-announces-world-premiere-with-PikeOS-SIL-4-certification-on-multi-core-platform.html</ref>) |
|||
* EN50128 |
|||
* EN 50129 |
* EN 50129 |
||
Version du 9 janvier 2014 à 01:23
PikeOS est un système d'exploitation temps-réel développé par SYSGO AG. Il est destiné aux systèmes embarqués à hautes exigences de sécurité et de sûreté de fonctionnement. Il fournit un environnement partitionné permettant à de multiples systèmes d'exploitation, ayant des conceptions et des exigences de sûreté et de sécurité différentes, de coexister sur une seule machine.
Pour que plusieurs programmes ayant des niveaux de criticité différents puissent coexister, le système d'exploitation sous-jacent doit faire en sorte qu'ils demeurent indépendants. Le partitionnement spatial est une technique largement reconnue pour y parvenir. PikeOS associe donc le partitionnement spatial et la virtualisation, pour proposer des environnements de machines virtuelles (VM), chaque VM pouvant accueillir un système d'exploitation complet et ses applications. PikeOS utilisant la paravirtualisation, les systèmes d'exploitation qu'il accueille doivent être modifiés pour pouvoir tourner dans une VM. Les applications, en revanche, restent inchangées.
Chaque VM ayant son propre jeu distinct de ressources, des programmes accueillis dans des VM différentes sont strictement indépendants. Cela permet à des programmes traditionnels, non-critiques (par exemple des applications sous Linux) de coexister avec des applications critiques du point de vue de la sûreté de fonctionnement, sur la même machine. Contrairement à d'autres systèmes de virtualisation, PikeOS assure non seulement le partitionnement spatial, mais également temporel, entre les systèmes d'exploitation qu'il accueille. Cela permet la virtualisation de systèmes temps-réel durs, tout en préservant leur propriétés temporelles. La méthode d'ordonnancement de PikeOS est d'ailleurs brevetée[1].
Les ressources spatiales et temporelles sont associées statiquement aux différentes VM par le System Software de PikeOS. Le System Software et le micro-noyau forment une couche de code de confiance. La faible taille de cette couche et la conception modulaire de PikeOS rendent ce système bien adapté à des projets nécessitant une certification, par exemple conformément aux normes IEC 61508, DO-178B, EN 50128 et EN 62304. Des exemples de tels projets sont: le développement d'équipement avioniques pour l'Airbus A350 ou l'Airbus A400M [2],[3],[4].
Interfaces et Environnements
Les environnements et interfaces de programmation disponibles sont:
- PikeOS (interface native)
- ARINC 653 APEX
- POSIX PSE51 et PSE52
- Linux
- Android[5],[6]
- Coqos[7]
- Real-time Java
- Ada
- RTEMS
- OSEK
- ITRON
De plus, un environnement d'exécution AUTOSAR est actuellement en développement.
Normes de Certification
PikeOS est certifié selon les normes suivantes [8]:
- IEC61508
- DO-178B
- EN 50128 (PikeOS a reçu une certification SIL4 en mode SMP sur plate-forme multicœur [9])
- EN 50129
Les certifications suivantes sont en cours:
- ISO26262
- EN 62304
Architectures supportées
PikeOS supporte les architectures PowerPC, x86, ARM, MIPS, SPARC et SuperH. Le besoin de séparation stricte des ressources systèmes impose que le processeur soit doté d'une unité de gestion mémoire (MMU), ou d'une unité de protection mémoire.
Depuis sa version 3.1, PikeOS supporte les processeurs multi-cœurs[10].
Références
- SYSGO’s Patent for scheduling mixed real-time and non-real-time applications www.wipo.int/pctdb/en/wo.jsp?IA=WO2006%2F050967
- Airbus selects SYSGO PikeOS for A350 XWB aircraft Article on EDA Geek(18/11/2008)
- Rheinmetall selects DO178B certifiable PikeOS from SYSGO for A400M project Article from Military Embedded Systems (10/12/2008)
- In-Flight Equipment for Airbus A400M www.menmicro.com/markets/avionics,30AP011.html
- SYSGO’s Embedded Virtualization RTOS PikeOS Offers Android Personality Article from ElectronicSpecifier (April 2011)
- Android & Autosar running concurrently on PikeOS Video from Embedded World 2011
- OpenSynergy brings security to infotainment EETimes Automotive (01/11/2011)
- SIL 3-4 certificate[1]
- http://www.openpr.com/news/273803/SYSGO-announces-world-premiere-with-PikeOS-SIL-4-certification-on-multi-core-platform.html
- PikeOS adds multicore Article from EE-Times (02/03/2010)
