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

doi:CNKI:11-1929/V.20111209.1725.002

电子与自动控制

本期目录 | 过刊浏览 | 高级检索

前一篇 | 后一篇

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

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

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

收稿日期:2011-06-22 修回日期:2011-08-30 出版日期:2012-04-25 发布日期:2012-04-20
通讯作者: 刘斌 E-mail:liubin@buaa.edu.cn
基金资助:
国防预研项目(513190802)

A Framework of Simulation Testing Environment for Integrated Modular Avionics Software

ZHOU Qing¹, LIU Bin¹, YU Zhengwei¹, FENG Shiyu²

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

Received:2011-06-22 Revised:2011-08-30 Online:2012-04-25 Published:2012-04-20

摘要/Abstract

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

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

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

中图分类号:

V247
TP311.5

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

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.

参考文献

[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.

E-mail：hkxb@buaa.edu.cn

关于我们

期刊社服务

专业学科

封面文章

友情链接

主管单位：中国科学技术协会主办单位：中国航空学会北京航空航天大学

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

A Framework of Simulation Testing Environment for Integrated Modular Avionics Software

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics

本文评价

[1]	张子佩, 赵钟, 陈坚强, 刘健, 邓小兵. 风雷软件LES开发设计与验证[J]. 航空学报, 2023, 44(6): 127171-127171.
[2]	何锋, 张立, 于思凡, 周璇. 基于网络演算的多窗口分区可调度性分析[J]. 航空学报, 2023, 44(2): 326581-326581.
[3]	梁超, 杨力, 潘成胜, 戚耀文. 卫星网络动态资源图多QoS约束路由算法[J]. 航空学报, 2023, 44(1): 326422-326422.
[4]	冉庆波, 肖鸿, 杨富鸿, 段玉岗. 含孔曲面自动铺丝轨迹规划算法[J]. 航空学报, 2022, 43(9): 425602-425602.
[5]	王彬文, 段世慧, 聂小华, 郭瑜超. 航空结构分析CAE软件发展现状与未来挑战[J]. 航空学报, 2022, 43(6): 527272-527272.
[6]	胡嘉悦, 李广文, 章卫国, 张超, 贾乾磊. 面向有人/无人机协同远程作战的IVMS架构[J]. 航空学报, 2022, 43(3): 325199-325199.
[7]	李鹏, 陈坚强, 丁明松, 梅杰, 何先耀, 董维中. LENS风洞试验返回器模型气动热特性模拟[J]. 航空学报, 2021, 42(S1): 726400-726400.
[8]	陈坚强, 吴晓军, 张健, 李彬, 贾洪印, 周乃春. FlowStar:国家数值风洞(NNW)工程非结构通用CFD软件[J]. 航空学报, 2021, 42(9): 625739-625739.
[9]	李鹏, 陈坚强, 丁明松, 何先耀, 赵钟, 董维中. NNW-HyFLOW高超声速流动模拟软件框架设计[J]. 航空学报, 2021, 42(9): 625718-625718.
[10]	陈呈, 赵丹, 王岳青, 邓亮, 杨超, 苏铖宇, 王昉. NNW-TopViz流场可视分析系统[J]. 航空学报, 2021, 42(9): 625747-625747.
[11]	罗庆, 张涛, 单鹏, 张文涛, 刘子豪. 基于改进Q学习的IMA系统重构蓝图生成方法[J]. 航空学报, 2021, 42(8): 525792-525792.
[12]	吕娜, 潘武, 陈柯帆, 张彦晖. 控制器故障下的软件定义机载网络数据平面迁移策略[J]. 航空学报, 2021, 42(3): 324228-324228.
[13]	王方, 王煜栋, 姜胜利, 陈军, 唐军, 徐华胜, 李象远, 邢竞文, 高东硕, 金捷. AECSC-JASMIN湍流燃烧仿真软件研发和检验[J]. 航空学报, 2021, 42(12): 625003-625003.
[14]	罗飞, 张军红, 王博, 唐瑞琳, 唐炜. 基于直接升力与动态逆的舰尾流抑制方法[J]. 航空学报, 2021, 42(12): 124770-124770.
[15]	吕娜, 陈坤, 陈柯帆, 朱海峰, 潘武. 适应拓扑变化的拥塞最小化网络更新策略[J]. 航空学报, 2020, 41(7): 323661-323661.