A Framework of Simulation Testing Environment for Integrated Modular Avionics Software

ZHOU Qing; LIU Bin; YU Zhengwei; FENG Shiyu

doi:CNKI:11-1929/V.20111209.1725.002

ACTA AERONAUTICAET ASTRONAUTICA SINICA >

2012 >Issue 4: 722 - 733

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

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

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

Cite this article

ZHOU Qing , LIU Bin , YU Zhengwei , FENG Shiyu . A Framework of Simulation Testing Environment for Integrated Modular Avionics Software[J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2012 , (4) : 722 -733 . DOI: CNKI:11-1929/V.20111209.1725.002

References

[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

Outlines

模态框（Modal）标题

Abstract

Cite this article

References