综合模块化航电软件仿真测试环境研究

周庆; 刘斌; 余正伟; 冯时雨

doi:CNKI:11-1929/V.20111209.1725.002

航空学报 >

2012 >Issue 4: 722 - 733

DOI: https://doi.org/CNKI:11-1929/V.20111209.1725.002

电子与自动控制

综合模块化航电软件仿真测试环境研究

周庆 ,
刘斌 ,
余正伟 ,
冯时雨

展开

1. 北京航空航天大学可靠性与系统工程学院,北京 100191;
2. 北京航空工程技术研究中心,北京 100076

收稿日期: 2011-06-22

修回日期: 2011-08-30

网络出版日期: 2012-04-20

基金资助

国防预研项目(513190802)

收起

A Framework of Simulation Testing Environment for Integrated Modular Avionics Software

ZHOU Qing ,
LIU Bin ,
YU Zhengwei ,
FENG Shiyu

Expand

1. School of Reliability and Systems Engineering, Beihang University, Beijing 100191, China;
2. Beijing Aeronautical Technology Research Center, Beijing 100076, China

Received date: 2011-06-22

Revised date: 2011-08-30

Online published: 2012-04-20

Fold

摘要

伴随着综合模块化航空电子(IMA)软件在新一代飞机上的应用,其高复杂性、高度综合的特点以及分层的健康监控和故障管理模式给软件测试提出了挑战。传统的仿真测试环境在应对IMA软件测试中难以满足RTCA DO-178B中规定的对验证过程结果的验证的要求。本文在分析IMA软件特点的基础上,根据DO-178B的要求,综合国外的发展情况和国内的研究进展情况,研究综合模块化航电软件仿真测试环境需求,提出了基于软件故障注入的综合模块化航电软件灰盒仿真测试环境方案,并给出优势分析。该仿真测试环境方案以IMA软件为测试对象,应用软件故障注入技术和代码插装技术满足测试规范文件的要求。其具有通用灵活、适配性强、强实时性等特点,为中国新一代航电软件的系统验证和测试奠定了基础。

关键词： 综合模块化航空电子; 软件; 灰盒测试; 仿真测试环境; 软件故障注入; DO-178B

本文引用格式

周庆 , 刘斌 , 余正伟 , 冯时雨 . 综合模块化航电软件仿真测试环境研究[J]. 航空学报, 2012 , (4) : 722 -733 . DOI: CNKI:11-1929/V.20111209.1725.002

Abstract

It is difficult for the traditional software testing environment to meet the requirements of integrated modular avionics (IMA) software testing and verification of the verification process results in RTCA-DO-178B. It is also difficult for the traditional software testing environment to achieve the goals of functional testing and validation of the IMA software, which includes testability design, health monitoring and redundancy management functions. This paper analyzes the characteristics of integrated modular avionics software, and describes the requirements of the testing environment aimed for IMA software testing. Then, it proposes a program of IMA software grey-box testing environment based on software fault injection. This program is more general, flexible and strong real-time than the traditional software testing environment.

Key words： integrated modular avionics; software; gray-box testing; simulation testing environment; software fault injection; DO-178B

参考文献

[1] Xiong H G, Wang Z H. Advanced avionics integration technologies. Beijing: National Defence Industry Press, 2009: 14-15. (in Chinese) 熊华钢,王中华. 先进航空电子综合技术. 北京: 国防工业出版社, 2009: 14-15.
[2] Xie W T. Digital avionics handbook avionics development and implementation (I). Beijing: Aviation Industry Press, 2010: 61-62 (in Chinese) 谢文涛. 数字航空电子技术(上). 北京: 航空工业出版社, 2010: 61-62.
[3] RTCA DO-297. Integrated modular avionics (IMA) development guidance and certification considerations. Washington D.C.: Radio Technical Commission for Aeronautics,Inc(RTCA), 2005.
[4] RTCA DO-178B. Software Considerations in airborne systems and equipment certification. Washington D.C.: Radio Technical Commission for Aeronautics, Inc(RTCA), 1992.
[5] Boydston A, Lewis W. Qualification and reliability of complex electronic rotorcraft systems. AHS Specialists’ Meeting on Systems Engineering. 2009.
[6] Bartley G, Lingberg B. Certification concerns of integrated modular avionics (IMA) systems. IEEE/AIAA 27th Digital Avionics Systems Conference. 2008: 1.E.1-1 - 1.E.1-12.
[7] Mcdonell R, Brackett R. Designing an open test software architecture featuring LM-STAR case study. IEEE Autotestcon Proceedings. 2004: 202-209.
[8] Hill B. Lockheed’s F-22 raptor gets zapped by international date line. (2007-02-26).http://www.freerepublic.com/focus/fnews/1791574/posts.
[9] Chu W K, Zhang F M, Fan X G. Overview on software architecture of integrated modular avionic systems. Acta Aeronautica et Astronautica Sinica, 2009, 30(10): 935-942. (in Chinese) 褚文奎, 张凤鸣, 樊晓光. 综合模块化航空电子系统软件体系结构综述. 航空学报, 2009, 30(10): 935-942.
[10] Xu X G, Ye H. The design and implementation of inter-partition communication in avionics systems. Aeronautical Computer Technique, 2005, 35(1): 45-47. (in Chinese) 徐晓光, 叶宏.分区间通信在航空电子系统中的设计与实现. 航空计算技术, 2005, 35(1): 45-47.
[11] Zhang X H, Sun G X. Research of healthmonitor in high-security real-time operating system. Aeronautical Computer Technique, 2005, 35(4): 65-67. (in Chinese) 张晓红, 孙高翔. 实时操作系统中健康监控技术研究. 航空计算技术, 2005, 35(4): 65-67.
[12] Chen Z J, Kong F E, Li W Q, et al. Study on flight control computer systems of advanced fighters. Acta Aeronautica et Astronautica Sinica, 2007, 28(4): 935-942. (in Chinese) 陈宗基, 孔繁峨, 李卫琪, 等. 先进战斗机的飞行控制计算机系统研究. 航空学报, 2007, 28(4): 935-942.
[13] Zhang J, Lu Z X, Hu Y Y, et al. Perspective view of virtualization technologies for avionics system. Journal of Beijing University of Aeronautics and Astronautics, 2010,36(2): 127-130.(in Chinese) 张炯, 吕紫旭, 胡彦彦, 等. 虚拟化技术在综合化航电系统中的应用. 北京航空航天大学学报, 2010, 36(2): 127-130.
[14] Shen Y L, Cui X N, Ma J F, et al. Trust software technology in integrated avionics systems. Acta Aeronautica et Astronautica Sinica, 2009, 30(5): 938-945. (in Chinese) 沈玉龙, 崔西宁, 马建峰, 等. 综合化航空电子系统可信软件技术.航空学报, 2009, 30(5): 938-945.
[15] Liu C, Liu B, Ruan L. Software architecture of simulation testing environment for software in avionics. Acta Aeronautica et Astronautica Sinica, 2006, 27(5): 877-882. (in Chinese) 刘畅, 刘斌, 阮镰. 航空电子软件仿真测试环境软件体系结构研究. 航空学报, 2006, 27(5): 877-882.
[16] Ruan L, Liu B, Chen X S. Software reliability test and it’s testing environment. Measurement and Control Technology, 2000,19(2):9-16.(in Chinese) 阮镰, 刘斌, 陈雪松. 软件可靠性测试及其仿真测试环境.测控技术, 2000, 19(2): 9-16.
[17] Zhang L, Liu B, Lu M Y. Framework design of embedded software testing development environment. Journal of Beijing University of Aeronautics and Astronautics, 2005, 31(6):336-340.(in Chinese) 章亮, 刘斌, 陆民燕. 嵌入式软件测试开发环境的框架设计. 北京航空航天大学学报, 2005, 31(6):336-340.
[18] Liu B, Gao X P, Lu M Y, et al. Research on embedded software reliability simulation testing system. Journal of Beijing University of Aeronautics and Astronautics, 2000, 26(4): 490-493.(in Chinese) 刘斌, 高小鹏, 陆民燕, 等. 嵌入式软件可靠性仿真测试系统研究. 北京航空航天大学学报, 2000,26(4):490-493.
[19] Zhang F M, Chu W K, Fan X G, et al. Research on architecture of integrated modular avionics. Electronics Optics & Control, 2009,16(9): 47-51.(in Chinese) 张凤鸣, 褚文奎, 樊晓光, 等. 综合模块化航空电子体系结构研究. 电光与控制, 2009, 16(9): 47-51.
[20] Aeronautical Radio, Inc. ARINC specification 653 avionics application software standard interface. Annapolis:Aeronautical Radio, Inc, 1997.
[21] Song L R, He F, Xiong H G. Real-time performance design of avionic blueprint system. Electronics Optics & Control, 2010, 16(9): 5-8. (in Chinese) 宋丽茹, 何锋, 熊华钢. 航空电子蓝图系统实时性设计. 电光与控制, 2010, 16(9): 5-8.
[22] Li Q Y, Liu B, Ruan L. Application of grey-box testing method in software reliability testing. Acta Aeronautica et Astronautica Sinica, 2002, 23(5): 455-458. (in Chinese) 李秋英, 刘斌, 阮镰. 灰盒测试方法在软件可靠性测试中的应用. 航空学报, 2002, 23(5): 455-458.
[23] Zheng R J. Computer software testing technique. Beijing: Tsinghua University Press, 1992: 44-45.(in Chinese) 郑人杰. 计算机软件测试技术. 北京: 清华大学出版社, 1992: 44-45.
[24] Yin Y F, Liu B, Wang C. Execution engine for real-time embedded software test design and realization. Journal of Beijing University of Aeronautics and Astronautics, 2010, 36(6): 723-727. (in Chinese) 殷永峰, 刘斌, 王晨. 实时嵌入式软件测试执行引擎的设计与实现. 北京航空航天大学学报, 2010, 36(6): 723-727.

Options

文章导航

模态框（Modal）标题

摘要

本文引用格式

Abstract

参考文献