air Descrição do sistema

O air implementa a ferramenta de execução de aplicações (APEX) definida pela especificação ARINC 653 por meio de uma tecnologia de virtualização.

Cada partição alberga o seu próprio sistema operativo paravirtualizado, o qual implementa uma lógica concreta de programação, comunicação entre processos e uma interface de programação de aplicações (API).

O sistema operativo da partição (POS) é virtualizado e executado sobre o Kernel de Administração de Partições (PMK).

O PMK é um kernel extraordinariamente simples que apenas oferece Rotinas de Interrupção de Serviços (ISR), como temporizador, ou interrupções de hardware. Por baixo do PMK encontra-se uma Capa de Abstracção de Hardware (HAL) que inicializa os recursos essenciais para que o PMK possa funcionar.
 

aor: PMK

O APEX implementa os sistemas ARINC 653 utilizando um tratamento de dois níveis:

  • APEX Layer, que implementa o A653Logic (incluída a programação, os serviços temporários, etc.)
  • APEX Core Layer, que depende dos serviços POS e MOS subjacentes
     
air: APEX