ARINC 653
El estándar aeronáutico para que varios programas con distintos niveles de seguridad compartan un ordenador sin poder molestarse entre sí.
Publicado en 1996, va de la mano de la aviónica modular integrada (IMA), en la que unos pocos ordenadores potentes sustituyeron a cientos de cajas dedicadas. Tanto el Boeing 787 como el Airbus A380 se basan en la idea. Eso solo funciona si un fallo en el registro del sistema de entretenimiento no puede arrastrar consigo algo más importante.
ARINC 653 exige dos tipos de aislamiento. Espacial: cada partición tiene su propia memoria, protegida por la MMU. Temporal: un calendario fijo, el major frame, decide de antemano cuántos milisegundos recibe cada partición, hagan lo que hagan las demás. Las aplicaciones hablan con el sistema mediante la API APEX. VxWorks 653, INTEGRITY-178 y PikeOS lo implementan.