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

摘要：

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

关键词：ARINC 653、操作系统、符合性验证

所属期刊栏目：41

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

资助基金：航空科学基金项目资助20091931006

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

页数：共5页

页码：70-74