air Descripción del sistema

air implementa la herramienta de ejecución de aplicaciones (APEX) definida por la especificación ARINC 653 mediante una tecnología de virtualización

Cada partición alberga su propio sistema operativo paravirtualizado que implementa una lógica concreta de programación, comunicación entre procesos y una interfaz de programación de aplicaciones (API).

El sistema operativo de la partición (POS) es virtualizado y ejecutado sobre el Kernel de Administración de Particiones (PMK).

El PMK es un kernel extraordinariamente simple que solo ofrece Rutinas de Interrupción de Servicio (ISR), como temporizador o interrupciones de hardware. Por debajo del PMK se encuentra una Capa de Abstracción de Hardware (HAL), que inicializa los recursos esenciales para que funcione el PMK.

aor: PMK

El APEX implementa los sistemas ARINC 653 utilizando un enfoque de dos niveles:

  • APEX Layer, que implementa A653Logic (incluida la programación, los servicios temporales, etc.) 
  • APEX Core Layer, que depende de los servicios POS y MOS subyacentes
     
air: APEX