综合模块化航空电子(Integrated Modular Avionics,IMA)已成为航空应用领域的主流架构和发展趋势,但IMA架构下不同功能或安全等级的应用之间可能会互相影响,威胁到航空器的飞行安全。本文介绍了基于ARINC653标准的分区操作系统的原理、架构和主要功能,以及它对提高IMA系统安全性的重要意义。