ARINC 653
De luchtvaartstandaard waarmee meerdere programma's met verschillende veiligheidsniveaus één computer kunnen delen zonder elkaar te verstoren.
De standaard verscheen in 1996 en hoort bij geïntegreerde modulaire avionica (IMA), waarin een handvol krachtige computers honderden afzonderlijke kastjes verving. Zowel de Boeing 787 als de Airbus A380 is erop gebouwd. Dat werkt alleen als een crash in de logger van het cabine-entertainmentsysteem niets belangrijkers meetrekt.
ARINC 653 eist twee soorten isolatie. Ruimtelijk: elke partitie krijgt eigen geheugen, afgedwongen door de MMU. Temporeel: een vast rooster, het major frame, bepaalt vooraf hoeveel milliseconden elke partitie krijgt, wat de andere ook doen. Applicaties praten met het systeem via de APEX-API. VxWorks 653, INTEGRITY-178 en PikeOS implementeren de standaard allemaal.