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