| 操作系统ARINC653标准符合性验证方法的研究 |
| |
| 引用本文： | 仝敏,徐晓光.操作系统ARINC653标准符合性验证方法的研究[J].航空计算技术,2011,41(4):70-74. |
| |
| 作者姓名： | 仝敏 徐晓光 |
| |
| 作者单位： | 中国航空计算技术研究所,陕西西安,710068 |
| |
| 摘 要： | ARINC653标准是一种国际流行的多分区操作系统的接口标准，是否符合ARINC 653标准是衡量一个嵌入式实时多分区操作系统是否符合国际主流标准，以及上层应用是否丰富的一个重要因素。如何验证多分区操作系统是否符合ARINC 653一直是嵌入式实时多分区操作系统测试的重点和难点。提出了一种采用C／S结构、基于ARINC 653 Part 3测试标准验证框架的实用多分区操作系统符合性验证方法，方法不需要对操作系统源码进行修改，并且可以根据测试项排序连续测试。实验证明了验证方法的有效性和准确性。
|
| 关 键 词： | ARINC 653 操作系统 符合性验证 |
Research on Conformity Test Method of ARINC 653 Specification |
| |
| TONG Min,XU Xiao-guang.Research on Conformity Test Method of ARINC 653 Specification[J].Aeronautical Computer Technique,2011,41(4):70-74. |
| |
| Authors: | TONG Min XU Xiao-guang |
| |
| Institution: | (Aeronautical Computing Technique Research Institute,Xi′an 710068,China) |
| |
| Abstract: | ARINC 653 standard is an international prevalent interface standard which applied widely on multiple partition operation systems.To be consistent with ARINC 653 is a key point to the popularity of a real-time operating system and the enrichment of related applications a.It is important and difficult to find a way to test a operating system whether it is consistent with ARINC 653,C/S structure conformity test method of ARINC 653 is proposed in this paper,it is based on the typical compliance demonstration in ARINC 653 Part 3,and it does not need to modify the code of operating system and can run test items orderly and continuously.Finally,validity and veracity of the conformity test method is proved through experimentations. |
| |
| Keywords: | ARINC 653 operation system conformity test |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
