航电系统并行检测过程与检测设备解耦方法

doi:10.7527/S1000-6893.2019.22818

电子电气工程与控制

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

前一篇 | 后一篇

航电系统并行检测过程与检测设备解耦方法

刘艳芳^1,2, 吕江花^1,2, 马世龙^1,2, 黎涛^1,2

1. 北京航空航天大学计算机学院, 北京 100083;
2. 北京航空航天大学软件开发环境国家重点实验室, 北京 100083

收稿日期:2018-11-28 修回日期:2019-01-02 出版日期:2019-08-15 发布日期:2019-03-28
通讯作者: 吕江花 E-mail:jhlv@nlsde.buaa.edu.cn
基金资助:
国家自然科学基金（61300007）；北京航空航天大学软件开发环境国家重点实验室基金（SKLSDE-2017ZX-23）

Decoupling method for test process and test devices in parallel testing of avionics systems

LIU Yanfang^1,2, LYU Jianghua^1,2, MA Shilong^1,2, LI Tao^1,2

1. School of Computer Science and Engineering, Beihang University, Beijing 100083, China;
2. State Key Laboratory of Software Development Environment, Beihang University, Beijing 100083, China

Received:2018-11-28 Revised:2019-01-02 Online:2019-08-15 Published:2019-03-28
Supported by:
National Natural Science Foundation of China (61300007);State Key Laboratory of Software Development Environment Foundation (Beihang University) (SKLSDE-2017ZX-23)

摘要/Abstract

摘要： 航电系统在使用或升级改造过程中进行可靠性检测是必不可少的。特别是在当前批量航电系统大量投入使用的背景下，迫切需要能高效、快速、准确地对系统进行可靠性检测。由于航电系统安全性要求高，内置检测软件受限，需要外置检测设备通过航电系统指定接口进行检测，检测过程也不允许出现任何泄露等行为。检测设备与具体航电系统耦合，检测过程与具体检测设备耦合，难以实现批量航电系统并行检测。为此，通过引入逻辑检测设备，给出了一种航电系统并行检测分层框架，解决检测设备与被测系统耦合的问题，同时也保证了检测的安全性。通过逻辑检测设备、检测跳转机和被测主机上检测行为的描述，给出了一种面向通用航电系统并行检测的检测设备协同机制，解决检测过程与检测设备耦合的问题，从而支持多个航电系统并行检测。最后，实现了一个通用航电系统并行检测系统，并通过实际应用和实验对比验证所提方法的有效性。

关键词: 航电系统, 并行检测, 检测过程, 检测设备, 解耦合, 设备协同

Abstract: Reliability test of avionics system is essential in its use and upgrade. Especially in the current development situation where multi-batch avionics systems are used in practice. there is an urgent need for efficient, fast, and accurate reliability test of the systems. Since the high security requirement of the avionics systems restricts embedding the test software, external test devices are required to test avionics systems through their specified interfaces. What's more, no leakage is allowed when testing the avionics systems. The test devices are coupled with the avionics system under test and thus the test process is coupled with the test devices which make it difficult to test multiple avionics systems in parallel. Thus, by introducing the logic test device, this paper presents a hierarchical framework for the parallel testing of the avionics systems that could solve the problem of coupling between the test devices and the specified avionics system, ensuring the security of the test process. Based on the description of test behaviors on the logic test device, the test gateway devices, and the tested hosts, a device collaborating mechanism for the general parallel testing of avionics systems is presented. This system could solve the problem of coupling between the test process and the test devices, and thus could support the parallel testing of multiple avionics systems. Finally, a general parallel test system of avionics systems is implemented and the effectiveness of the proposed method is verified by practical application and experimental analysis.

Key words: avionics systems, parallel testing, test process, test devices, decoupling, device collaboration

中图分类号:

V243
TP311

刘艳芳, 吕江花, 马世龙, 黎涛. 航电系统并行检测过程与检测设备解耦方法[J]. 航空学报, 2019, 40(8): 322818-322818.

LIU Yanfang, LYU Jianghua, MA Shilong, LI Tao. Decoupling method for test process and test devices in parallel testing of avionics systems[J]. ACTA AERONAUTICAET ASTRONAUTICA SINICA, 2019, 40(8): 322818-322818.

参考文献 26

[19]	HAMADACHE K, LANCIERI L. Dealing with device collaboration rules for the pcscw model[C]//Proceeding of the 16th International Conference on Collaboration and Technology. Berlin:Springer, 2010:233-248.
[1]	COLLINSON R P G. Introduction to avionics systems[M/OL]. 3rd ed. Berlin:Springer, 2011:1-8.[2018-05-22]. https://link.springer.com/book/10.1007/978-94-007-0708-5.
[20]	HAMADACHE K, LANCIERI L. Role-based collaboration extended to pervasive computing[C]//Proceeding of International Conference on Intelligent Networking and Collaborative Systems. Piscataway, NJ:IEEE Press, 2009:9-15.
[2]	WATKINS C B, WALTER R. Transitioning from federated avionics architectures to integrated modular avion-ics[C]//Proceeding of IEEE/AIAA 26th Digital Avionics Systems Conference. Piscataway, NJ:IEEE Press, 2007:1-10.
[3]	沈玉龙, 崔西宁,马建峰,等. 综合化航空电子系统可信软件技术[J]. 航空学报, 2009, 30(5):938-945. SHEN Y L, CUI X N, MA J F, et al. Trust software technology in integrated avionics systems[J]. Acta Aeronautica et Astronautica Sinica, 2009, 30(5):938-945(in Chinese).
[4]	杨军祥, 杨涛,李成文,等. 综合模块化航空电子核心系统技术研究[J]. 航空计算技术, 2017(3):105-111. YANG J X, YANG T, LI C W, et al. Research on core system technology for integrated modular avionics[J]. Aeronautical Computing Technique, 2017(3):105-111(in Chinese).
[21]	ALVES A, ARKIN A, ASKARY, S, et al. Web services business process execution language (WS-BPEL), Version 2.0:WS-BPEL 2.0[S]. Billerica:Organization for the Advancement of Structured Information Standards (OASIS), 2007.
[5]	CEBRIÁN D, VALERO V, CUARTERO F. Automation of avionic systems testing[C]//Proceeding of International Workshop on Formal Approaches to Software Testing and International Conference on Testing of Communicating Systems. Berlin:Springer, 2007:28-40.
[22]	HOFSTEDE A H M, AALST W M P, ADAMS M, et al. Modern business process automation:YAWL and its support environment[EB/OL]. Berlin:Springer, 2010(6):385-400.
[6]	JHA A K. Development of test automation framework for testing avionics systems[C]//Proceeding of Digital Avionics Systems Conference. Piscataway, NJ:IEEE Press, 2010:6.E.5-1-6.E.5-11.
[23]	OBJECT M G. Business process model and notation specification version 2.0:BPMN 2.0[S]. Needham:Object Management Group, 2011.
[7]	ANTONELLI M G, BUCCI G, CIANCETTA F, et al. Automatic test equipment for avionics Electro-Mechanical Actuators (EMAs)[J]. Measurement, 2014, 57(11):71-84.
[24]	CHEN F, RONG X H, DENG P. A large-scale device collaborative process design meta-model and case study[C]//Proceeding of the 2nd International Conference on Advanced Computer Theory and Engineer. New York:ASME, 2009:601-608.
[25]	荣晓慧, 陈峰,邓攀,等. 大规模设备协同机制研究[J]. 计算机研究与发展, 2011, 48(9):1589-1596. RONG X H, CHEN F, DENG P, et al. A large-scale device collabration mechanism[J]. Journal of Computer Research and Development, 2011, 48(9):1589-1596(in Chinese).
[26]	吕江花, 高世伟,马世龙,等. 安全苛刻系统测试语言中的测试设备协同语句[J]. 软件学报, 2016, 27(3):562-579. LV J H, GAO S W, MA S L, et al. Equipment collaboration in general test languages of safety critical system[J]. Journal of Software,2016,27(3):562-579(in Chinese).
[8]	LIU Y F, LV J H, WANG W, et al. A test language for avionics system[C]//Proceeding of IEEE International Conference on Software Engineering and Service Science. Piscataway, NJ:IEEE Press, 2017:28-32.
[9]	XU J, XU P. The research of memory fault simulation and fault injection method for bit software test[C]//Proceeding of the 2nd International Conference on Instrumentation and Measurement, Computer, Communication and Control. Piscataway, NJ:IEEE Press, 2012:718-722.
[10]	ORSAGH R F, BROWN D W, KALGREN P W, et al. Prognostic health management for avionic systems[C]//Proceeding of 2006 IEEE Aerospace Conference. Piscataway, NJ:IEEE Press, 2006:1-7.
[11]	中国航空工业总公司. 航空电子系统和设备测试性设计指南:HB/Z 301-1997[S]. 北京:中国航空工业总公司, 1997. Aviation Industry Corporation of China, Ltd. Guide for the testability design of avionics systems and equipment:HB/Z 301-1997[S]. Beijing:Aviation Industry Corporation of China, Ltd., 1997(in Chinese).
[12]	中国航空工业发展研究中心. 装备测试性工作通用要求:GJB 2547A-2012[S]. 北京:中国人民解放军总装备部, 2012. Aviation Industry Development Research Centerof China. General requirements for equipment testability work:GJB 2547A-2012[S]. Beijing:Equipment Development Department of People's Republic of China Central Military Commission, 2012(in Chinese).
[13]	李睿, 连航,马世龙,等. 基于形式化方法的航空电子系统检测[J]. 软件学报, 2015, 26(2):181-201. LI R, LIAN H, MA S L, et al. Avionics system testing based on formal methods[J]. Journal of Software, 2015,26(2):181-201(in Chinese).
[14]	黎涛. 航空任务电子系统通用检测脚本语言设计与实现[D]. 北京:北京航空航天大学, 2015:79-93. LI T. Designand implementation of detection language for aviation mission electronic system[D]. Beijing:Beihang University, 2015:79-93(in Chinese).
[15]	雷婉琦. 基于综合通信导航识别设备的自动测试系统的设计与实现[D]. 成都:电子科技大学, 2015:39-42. LEI W Q. The test and design of an automatic system of the integrated communication navigation identification equipment[D]. Chengdu:University of Electronic Science and Technology of China, 2015:39-42(in Chinese).
[16]	HELMS J, TACHA N. Strategy in practice:Taking a hardware abstraction layer from design to deployment[C]//2010 IEEE Autotestcon. Piscataway, NJ:IEEE Press, 2010:1-6.
[17]	MCMULLEN D, REICHHERZER T. Identity and functionality in the common instrument middleware architecture[J]. Applied Ontology, 2008(3):928-942.
[18]	联想, TCL,康佳,等. 信息设备资源共享协同服务(IGRS):第1部分基础协议:SJ/T 11310-2005[S].北京:信息产业部, 2005. LENOVO, TCL, KONKA, et al. Intelligent grouping and resource sharing:Part I basic specification:SJ/T 11310-2005[S]. Beijing:Ministry of Industry and Information Technology, 2005(in Chinese).
[19]	HAMADACHE K, LANCIERI L. Dealing with device collaboration rules for the pcscw model[C]//Proceeding of the 16th International Conference on Collaboration and Technology. Berlin:Springer, 2010:233-248.
[20]	HAMADACHE K, LANCIERI L. Role-based collaboration extended to pervasive computing[C]//Proceeding of International Conference on Intelligent Networking and Collaborative Systems. Piscataway, NJ:IEEE Press, 2009:9-15.
[21]	ALVES A, ARKIN A, ASKARY, S, et al. Web services business process execution language (WS-BPEL), Version 2.0:WS-BPEL 2.0[S]. Billerica:Organization for the Advancement of Structured Information Standards (OASIS), 2007.
[22]	HOFSTEDE A H M, AALST W M P, ADAMS M, et al. Modern business process automation:YAWL and its support environment[EB/OL]. Berlin:Springer, 2010(6):385-400.
[23]	OBJECT M G. Business process model and notation specification version 2.0:BPMN 2.0[S]. Needham:Object Management Group, 2011.
[24]	CHEN F, RONG X H, DENG P. A large-scale device collaborative process design meta-model and case study[C]//Proceeding of the 2nd International Conference on Advanced Computer Theory and Engineer. New York:ASME, 2009:601-608.
[25]	荣晓慧, 陈峰,邓攀,等. 大规模设备协同机制研究[J]. 计算机研究与发展, 2011, 48(9):1589-1596. RONG X H, CHEN F, DENG P, et al. A large-scale device collabration mechanism[J]. Journal of Computer Research and Development, 2011, 48(9):1589-1596(in Chinese).
[26]	吕江花, 高世伟,马世龙,等. 安全苛刻系统测试语言中的测试设备协同语句[J]. 软件学报, 2016, 27(3):562-579. LV J H, GAO S W, MA S L, et al. Equipment collaboration in general test languages of safety critical system[J]. Journal of Software,2016,27(3):562-579(in Chinese).

E-mail：hkxb@buaa.edu.cn

关于我们

期刊社服务

专业学科

封面文章

友情链接

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

航电系统并行检测过程与检测设备解耦方法

Decoupling method for test process and test devices in parallel testing of avionics systems

PDF (PC)

可视化

摘要/Abstract

引用本文

使用本文

参考文献 26

相关文章 4

编辑推荐

Metrics

本文评价

[1]	赵长啸, 何锋, 李浩, 王鹏. 基于效能的先进战斗机航电系统动态重构方法[J]. 航空学报, 2020, 41(6): 523416-523416.
[2]	许健, 吴磊, 褚江萍, 何珂. 民用飞机信息重构技术性能分析[J]. 航空学报, 2019, 40(2): 522442-522442.
[3]	朱力立;李庄生;许宗泽. 飞机综合航电系统总体设计综合评估方法[J]. 航空学报, 2007, 28(3): 685-689.
[4]	马宇;董士奎;段宗宪;谈和平. 高温非平衡氮组分多温度振动-离解耦合模型[J]. 航空学报, 2006, 27(4): 614-618.