论文部分内容阅读
针对航空电子系统综合化后带来可靠性、安全性等方面问题,国际ARINC组织提出健壮分区的思想,制定了ARINC653标准.在充分理解标准的基础上,提出了满足ARINC653标准的自主版权机载操作系统（支持软件）的软件架构。本文将论述满足ARINC653标准要求的机载操作系统采用的系统架构、关键技术模型和软件生命周期模型。其中技术模型主要研究分区模型、分区间通信模型、健康监控模型及公有模块共享模型，软件生命周期模型满足武器装备软件和DO-178E标准对于软件过程的要求。