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

doi:CNKI:11-1929/V.20111209.1725.002

Abstract

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

CLC Number:

V247
TP311.5

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.

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.

A Framework of Simulation Testing Environment for Integrated Modular Avionics Software

PDF (PC)

Knowledge

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments

[1]	Guirong ZHOU, Jianyuan XU, Shaobo MA, Junyao ZONG, Jinqing SHEN, Haijie ZHU. Review of key technologies for avionics systems integration on large passenger aircraft [J]. Acta Aeronautica et Astronautica Sinica, 2024, 45(5): 529956-529956.
[2]	Zipei ZHANG, Zhong ZHAO, Jianqiang CHEN, Jian LIU, Xiaobing DENG. Development and verification of LES model in NNW-PHengLEI [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2023, 44(6): 127171-127171.
[3]	Feng HE, Li ZHANG, Sifan YU, Xuan ZHOU. Schedulability analysis for multi-window partition based on network calculus model [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2023, 44(2): 326581-326581.
[4]	Chao LIANG, Li YANG, Chengsheng PAN, Yaowen QI. Multi-QoS constraints routing algorithm based on satellite network dynamic resource graph [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2023, 44(1): 326422-326422.
[5]	RAN Qingbo, XIAO Hong, YANG Fuhong, DUAN Yugang. Trajectory planning algorithm for automatic wire laying on perforated surface [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2022, 43(9): 425602-425602.
[6]	WANG Binwen, DUAN Shihui, NIE Xiaohua, GUO Yuchao. Development situation and future challenges of CAE software used in aeronautical structural analysis [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2022, 43(6): 527272-527272.
[7]	HU Jiayue, LI Guangwen, ZHANG Weiguo, ZHANG Chao, JIA Qianlei. IVMS architecture for MAV/UAV cooperative long-range combat [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2022, 43(3): 325199-325199.
[8]	LI Peng, CHEN Jianqiang, DING Mingsong, HE Xianyao, ZHAO Zhong, DONG Weizhong. Framework design of NNW-HyFLOW hypersonic flow simulation software [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2021, 42(9): 625718-625718.
[9]	CHEN Cheng, ZHAO Dan, WANG Yueqing, DENG Liang, YANG Chao, SU Chengyu, WANG Fang. NNW-TopViz visualization analysis system for flow field [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2021, 42(9): 625747-625747.
[10]	CHEN Jianqiang, WU Xiaojun, ZHANG Jian, LI Bin, JIA Hongyin, ZHOU Naichun. FlowStar: General unstructured-grid CFD software for National Numerical Windtunnel (NNW) Project [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2021, 42(9): 625739-625739.
[11]	LUO Qing, ZHANG Tao, SHAN Peng, ZHANG Wentao, LIU Zihao. Generating reconfiguration blueprints for IMA systems based on improved Q-learning [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2021, 42(8): 525792-525792.
[12]	LV Na, PAN Wu, CHEN Kefan, ZHANG Yanhui. Data plane migration strategy of software-defined airborne network with controller failure [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2021, 42(3): 324228-324228.
[13]	LUO Fei, ZHANG Junhong, WANG Bo, TANG Ruilin, TANG Wei. Air wake suppression method based on direct lift and nonlinear dynamic inversion control [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2021, 42(12): 124770-124770.
[14]	LYU Na, CHEN Kun, CHEN Kefan, ZHU Haifeng, PAN Wu. Congestion-minimization network update strategy for topology changes [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2020, 41(7): 323661-323661.
[15]	WEI Chuang, YANG Long, LI Chunpeng, ZHANG Tiejun. Research progress and application of ARI_OPT software for aerodynamic shape optimization [J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2020, 41(5): 623370-623370.