ARINC 653とは、セーフティクリティカルリアルタイムOS（RTOS）におけるメモリパーティションを規定したソフトウェア仕様書です。IMA構成において、同一のハードウェア上で、異なるレベルの複数のソフトウェアアプリケーションを実装することができます。Ansys SCADE Architectでは、IMA構成をモデル化する際に、ARINC 653仕様に基づいたRTOSの属性値を与えることができます。