嵌入式分区操作系统可靠性技术的研究与应用

摘要：

嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的，是支持综合化航空电子系统的嵌入式实时操作系统，该操作系统是基于分区的高安全、高可靠操作系统，其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手，深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术，给出了软件可靠性应用的示例，并研究了操作系统软件研发中使用的可靠性管理方法，对软件的可靠性进行了总结。

关键词：分区操作系统、可靠性、DO-178 B

分类号：TP316(计算技术、计算机技术)

资助基金：航空科学基金项目资助MJ－S－2012－05

在线出版日期：2015-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：105-108,112