Research on AFDX network configuration testing technology

\nThe 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.\n