Please enable JavaScript.
Coggle requires JavaScript to display documents.
IMA - Coggle Diagram
IMA
gérer des applications de criticité différentes
partitionnement pour les séparer
permet la coexistence de fonction de criticité différentes sur une même plateforme
51 prototypes de fonctions regroupée sous la personnalité APEX implémentant le comportement imposé par la norme ARINC 653
ARINC 653
définie les interfaces de programmation et de configuration qui permettent d'assurer l'indépendance de l'application vis à vis du logiciel et du matériel sous-jacent
standart de partitionnement temporel et spatial
permet à chaque partition d'être traitée/validée/qualifiée indépendamment
APEX (Application executive)
interface entre l'OS et le logiciel, une API de portabilité pour les logiciels applicatifs adoptés par l'IMA
portabilité/réutilisabilité/modularité/facilité d'implémentation
faire abstraction du hardware sous-jacent
<-----
plusieurs contraintes nécessaires
4 more items...
portabilité assurée par l'API standart et pas par des comportements liés à l'implémentation HW ou SW
Chaque partition a son propre espace mémoire et un time slot alloué par l'API APEX. Dans chaque partition le multitache est autorisé
implémente le comportement imposé par la norme ARINC 653
PikeOS
hyperviseur de type 1
plateforme de virtualisation pour que plusieurs OS tourne en parallèle sur une machine
plusieurs type de partitions
nombreux OS et applications
ségrégation spatiale et temporelle des applications via partitions logicielles
exécute en sécurité des applications avec criticité différentes simultanément sur une même plateforme matérielle
applications = exécutable lié à une interface (API) proposée par PikeOS tournant en tant que processus dans une partition
partitions
partitions = conteneurs avec privilèges préalloués pouvant accéder à :
temps CPU
entrées/sorties
mémoire
liste prédéfinie de service PikeOS
aussi appelée VM car possibilité d'implémenter un OS complet dans une partition s'exécutant indépendamment des autres et donc adresser des cas de criticités différentes
ElinOS sur une partition de PikeOS
1 more item...