Le standard ARINC 653
Systèmes d'exploitation temps réel – Exemples d'exécutifs industriels

5.1 Aperçu du standard

Ce standard est né dans le domaine de l’aéronautique, donc un cadre applicatif avec des contraintes extrêmement fortes quant aux aspects sûreté de fonctionnement. Ceci explique le modèle d’exécution retenu comme on le verra. Il est la définition d’une interface entre un système d’exploitation (forcément temps réel) d’un support d’exécution avionique et les logiciels applicatifs, d’où le nom APEX (Application/excutive). Il s’intègre naturellement dans le cadre des travaux sur les architectures modulaires utilisées en avionique : AMI (Avionique modulaire intégrée) ou IMA (Integrated modular avionics). Les travaux sur le standard ont débuté en 1991, un premier standard étant publié en 1996. Ils peuvent être trouvés sur le site http://www.aviation-ia.com/aeec/projects/apex mais ils sont payants. Il s’agit au minimum de ARINC 653P1-2 (Partie 1) et ARINC 653P2-1 (Partie 2).

• Notion de partition

  Le principe majeur est l’utilisation de la notion de « partition » pour la mise en œuvre des applications avioniques. Une application, réalisation logicielle d’une fonction avionique comme un pilote automatique va être conçue comme une ou plusieurs partitions. La partition est l’unité d’exécution de tout ou partie d’une application. Elle est constituée d’ensemble de processus coopérants et concurrents (notion de tâche et pas de processus UNIX^®) et ne peut s’exécuter que sur un seul processeur. Elle est séparée des autres partitions à la fois dans l’espace (isolation mémoire) et dans le temps (attribution de slots temporels) ; on parle de ségrégation entre les partitions. L’architecture matérielle d’un système est constituée de plusieurs processeurs interconnectés et l’architecture logicielle d’un ensemble de fonctions avioniques. Hors-ligne, l’exécution des partitions des fonctions est répartie dans le temps à l’intérieur d’un cycle de durée fixe MAF (Major time frame), de manière à ce que les contraintes applicatives soient respectées (figure 3). Cette allocation est déterministe et cyclique, elle n’est pas modifiable dynamiquement.

  Le rôle du système d’exploitation d’un calculateur est donc d’allouer...