满足ARINC653要求机载操作系统的模型研究

摘要：

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

关键词： 航空电子系统 机载支持软件 操作系统 模拟模型

作者: 李运喜 叶宏 韩炜

作者单位: 中航工业西安航空计算技术研究所,陕西西安710119

会议类型: 国内会议

会议名称: 2013航空试验测试技术学术交流会

会议地点: 北京

会议语种:中文

页码: 152-156

在线出版日期: 2013-10-01（万方平台首次上网日期，不代表论文的发表时间）