ARINC 653
Lotniczy standard pozwalający kilku programom o różnych poziomach bezpieczeństwa dzielić jeden komputer bez możliwości wzajemnego zakłócania się.
Opublikowany w 1996 roku, idzie w parze ze zintegrowaną awioniką modułową (IMA), w której garstka wydajnych komputerów zastąpiła setki dedykowanych skrzynek. Na tym pomyśle oparto zarówno Boeinga 787, jak i Airbusa A380. Działa to tylko wtedy, gdy awaria rejestratora systemu rozrywki pokładowej nie może pociągnąć za sobą niczego ważniejszego.
ARINC 653 wymaga dwóch rodzajów izolacji. Przestrzennej: każda partycja dostaje własną pamięć, egzekwowaną przez MMU. Czasowej: stały harmonogram, tzw. ramka główna, z góry określa, ile milisekund przypada każdej partycji, niezależnie od tego, co robią pozostałe. Aplikacje komunikują się z systemem przez interfejs APEX. Standard implementują m.in. VxWorks 653, INTEGRITY-178 i PikeOS.