AFDX End System Verification Based On TBX Technology

AFDX bus has become one of the more advanced aviation buses in the field of airborne network due to its high real-time,high reliability and low delay.At present,it is widely used in A380,C919 and other advanced civil aircraft.This topic carried out verification practice for AFDX endsystem.As the AFDX endsystem belongs to the key airborne electronic hardware in AFDX network,it undertaked the function of sending or receiving data packets generated by upper layer application to other AFDX endsystems in AFDX network.And the design is highly complex.Therefore,it is great significance to verify the AFDX endsystem to provide a fast and efficient verification for similar highly complex airborne electronic hardware.Currently,the design of airborne SoC is gradually increasing,so it is necessary to carry out application research of TBX verification technology in the aviation field to provide more confidence for airworthiness review.This topic analyzed the advantages and disadvantages of software emulator and FPGA prototype verification against the background of system-level verification of typical AFDX endsystem design,and made an in-depth study on the hardware accelerator used for verification in general chip field.Considering the validation speed and observable of signals based on a large number of test cases,TBX technology based on transaction-level acceleration was selected as the solution for end-system validation.The ARINC664 Part7 protocol was firstly studied in depth to determine the verification requirements and verification function points,and formulated the verification plan.Then,according to the requirement analysis of validation,the reference model components in the validation platform were designed to ensure the independence of validation.After analyzing the working principle of DUT,the interface signal between DUT and the verification platform was determined.According to the verification function points in the verification plan,the reusable verification platform was designed and implemented by using SystemVerilog verification language.The reference model verification environment,assertion and functional coverage point were designed and implemented.TBX technology validation platform for hardware accelerator after porting reusable validation platform.Finally,the verification results of the reference model were analyzed to ensure the correctness of the simulation design function of the reference model.The verification results of the verification function points were analyzed to ensure that the AFDX endsystem achieves the expected function.Through the coverage analysis was determined to meet the requirements in the validation plan,and completed the entire validation work.The verification platform based on TBX technology was adopted in engineering practice.And according to the requirements of the design of the verification platform and reference model,ensured the independence of verification.This platform design verification platform could be packaged as a VIP.It can be used for verification of other endsystems.In addition,It gave the specific steps of using hardware accelerator to verify the function of airborne electronic hardware.It can provide reference for the hardware accelerator to prove airworthiness in aviation field.