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

摘要

Embedded real -time multiple partition operating system is developed for new avionics system and support integrated avionics system .This operating system is a kind of system based on partitions with full-high security and full-high reliability,its reliability determines the reliability of software running on it.In this paper,first we introduce the conception of reliability ,then make a comprehensive research on reliable technique in the process of embedded real-time multiple partition operating system development , and show some examples of it .And then we discuss the reliability management it used .At last,it made a conclusion about reliability .%嵌入式实时多分区操作系统是专门为新一代航空电子系统开发的，是支持综合化航空电子系统的嵌入式实时操作系统，该操作系统是基于分区的高安全、高可靠操作系统，其可靠性决定了运行在其上的应用软件的可靠性。从软件可靠性概念着手，深入研究了嵌入式实时多分区操作系统开发过程中涉及的可靠性设计技术，给出了软件可靠性应用的示例，并研究了操作系统软件研发中使用的可靠性管理方法，对软件的可靠性进行了总结。