ARINC 653
安全度の異なる複数のプログラムを、互いに干渉させることなく1台のコンピュータで動かすための航空業界の標準規格。
1996年に公開され、統合モジュール式アビオニクス（IMA）と表裏一体の関係にある。IMAでは、数百もの専用ボックスが少数の高性能コンピュータに置き換えられた。ボーイング787もエアバスA380もこの考え方で作られている。機内エンターテインメントのログ収集プログラムが落ちても、より重要な機能が道連れにならないことが前提だ。
ARINC 653は2種類の分離を求める。空間的分離では、各パーティションが自前のメモリを持ち、MMUがそれを強制する。時間的分離では、メジャーフレームと呼ばれる固定スケジュールが、他の動作に関係なく各パーティションに与えるミリ秒数を事前に決める。アプリケーションはAPEX APIを通じてシステムとやり取りする。VxWorks 653、INTEGRITY-178、PikeOSが対応している。