Research on AFDX network configuration testing technology

AFDX网络配置测试技术研究

¹ China Institute of Aeronautical Radio Electronics, Shanghai 200233, China
² Xi'an Aeronautical Computing Technique Research Institute, Xi'an 710068, China
³ School of Software, Northwestern Polytechnical University, Xi'an 710072, China

Received: 16 May 2023

Abstract

The terminal system, as a key part of AFDX network data transmission, determines the communication performance of the entire AFDX network. In order to test the functionality of the verification end system and evaluate the transmission performance of the AFDX network, this article proposes an AFDX network configuration testing method. Firstly, the configuration testing specifications for the end system is designed, an overall framework for end system testing is established; the testing response mechanism of the end system is studied; the testing process is standardized; and generated configuration files are as input information for algorithm design in the following stage. Secondly, incentive data generation algorithms is designed, incentive data generation frameworks is established, the constraints for data transmission are formalized, and incentive data transmission schedules are generated using SMT solvers. Next, an AFDX network configuration testing tool is designed and implemented; the performance from the perspectives of operational stability and response time is evaluated to prove the effectiveness of the tool. Finally, the types and performance of the seven clock function modules in the overlay network configuration are tested, and the experimental results prove the effectiveness of the network configuration testing method.

摘要

终端系统作为AFDX网络数据传输的关键部分, 其优劣决定着整个AFDX网络的通信性能。为了测试验证端系统功能, 评估AFDX网络的传输性能, 提出了一种AFDX网络配置测试方法。设计端系统的配置测试规范, 建立端系统测试总体框架, 对端系统的测试响应机制进行研究, 规范化测试流程, 生成的配置文件作为算法设计的输入信息。设计激励数据生成算法, 建立激励数据生成框架, 对数据发送的约束条件进行形式化定义, 利用SMT求解器, 生成激励数据发送时刻表。激励数据发送时刻表作为输入, 利用TestCenter网络测试平台进行仿真实验, 实验结果证明该方法能模拟当前AFDX网络配置在高负载数据流下的有效性。