ARINC 653
Flygindustrins standard för hur flera program med olika säkerhetsnivå delar en dator utan att kunna störa varandra.
Standarden publicerades 1996 och hör ihop med övergången till integrerad modulär avionik (IMA), där ett fåtal kraftfulla datorer ersatte hundratals separata lådor. Boeing 787 och Airbus A380 bygger båda på idén. Det förutsätter att en krasch i underhållningssystemets logg inte kan ta med sig något viktigare i fallet.
ARINC 653 kräver två sorters isolering. Rumslig: varje partition har eget minne, skyddat av MMU:n. Tidsmässig: ett fast schema, en så kallad major frame, bestämmer i förväg exakt hur många millisekunder varje partition får, oavsett vad de andra gör. Programmen pratar med systemet via API:et APEX. VxWorks 653, INTEGRITY-178 och PikeOS implementerar alla standarden.