Research On Verification Method Of General Aviation Airborne FPGA Hardware Airworthiness

Breaking through the airworthiness verification technology of avionics products is one of the core thresholds for China to become an aviation power.Studying the certification and verification methods for complex electronic hardware is of great practical significance for promoting the airworthiness certification of domestic avionics and increasing the localization rate of avionics.This dissertation takes the major scientific and technological project of Sichuan Province,"Building Airworthiness System of Localized Avionics Products"(18ZDZX0105)as the subject background,focusing on exploring the needs assessment of airworthiness compliance verification of domestic civil aviation(including general aviation)airborne FPGA,Implementation methods of key links such as fault prediction,test planning,and test execution.Aiming at airworthiness theory,through literature review and academic exchanges,explore the reasons for the dislocation of China's aviation airborne complex electronic hardware(including FPGA)research and development system and airworthiness system,and put forward suggestions on improving or self-built hardware airworthiness system;Starting with a series of normative documents such as civil aviation standards,military standards,national standards,aerospace standards,etc.,the safety design procedures around FPGA are analyzed,FPGA full-cycle airworthiness requirements are summarized,and the "three" that strictly corresponds feasible practices to airworthiness regulations Step FPGA Airworthiness Verification Method "to lay the legal foundation for the subsequent engineering research and verification practice.Aiming at the verification practice,taking DO-254 as the main reference and combining the FPGA own characteristics,the consideration basis and direction of the domestic avionics FPGA bottom requirement review are given.Based on the FTA and FMEA analysis methods,the requirements reverse confirmation logic is integrated and proposed BFA two-way analysis fault prediction model;based on the principle of FPGA test evaluation and verification,based on FPGA test standards in various fields,the BFA model predicts the faults for screening,obtains the minimum fault cut set,and designs for the minimum cut set Test plan;In the framework of the test plan,based on the available identifiable R & D environment,the design inspection combined with the EDA simulation mode,the testbench-based FPGA verification method is given.In the above study,in order to reflect the effectiveness of the summarized procedures and theproposed methods,the entire process from the confirmation of requirements to the description of the verification methods is based on the ARINC429 communication in the AGU(Audio Gateway Unit)of the domestic general aviation XX600 amphibious aircraft.The interface FPGA module is practiced throughout the development process to ensure the organic integration of theory and practice in this article.In the innovative results of this dissertation,the BFA two-way analysis fault prediction model designed by FTA and FMEA and the three-step method of airborne FPGA verification based on feasibility and airworthiness theory are the core results.The above achievements are highly consistent with DO-254 in terms of safety assurance concept,which achieves the correspondence between verification practice methods and airworthiness regulations,and provides theoretical and practical reference for the airborne FPGA verification of general aviation.