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

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

嵌入式实时多分区操作系统两态访问的研究

为了保证不同程序的特权,嵌入式实时多分区操作系统使用系统态和用户态来解决这一问题。在介绍系统态和用户态的基础上,重点研究了嵌入式实时多分区操作系统中系统态和用户态互访,提出了系统调用、虚中断和共享数据区三种可行的访问方式,并针对三种访问方式给出了实现方法。这三种访问方式使用方便、灵活,能够有效地解决多分区操作系统两态互访问题。     

操作系统ARINC653标准符合性验证方法的研究

ARINC653标准是一种国际流行的多分区操作系统的接口标准，是否符合ARINC 653标准是衡量一个嵌入式实时多分区操作系统是否符合国际主流标准，以及上层应用是否丰富的一个重要因素。如何验证多分区操作系统是否符合ARINC 653一直是嵌入式实时多分区操作系统测试的重点和难点。提出了一种采用C／S结构、基于ARINC 653 Part 3测试标准验证框架的实用多分区操作系统符合性验证方法，方法不需要对操作系统源码进行修改，并且可以根据测试项排序连续测试。实验证明了验证方法的有效性和准确性。