The Research Of Testability Modeling Method For Avionic Configuration Control System Based On AADL

Function verification and new function upgrade modification scheme validation of avionics system is one of the key issues in the field of civil aviation maintenance. Currently, the approach of the problem is changing the hardware electric circuit at the system level according to different models. However, this method has a few limited elements such as low efficiency, high cost and high failure rate. Therefore, the research of avionics configuration control system to achieve system level maintenance platform's reliable conversion according to different configurations becomes much more important.The system must has a good testability so that the avionics configuration control system can run stably and reliably in the avionics simulation validation process. Test-ability is a design feature of the system, test-ability analysis based on the model can evaluate a system's test-ability design qualitatively and quantitatively.AADL(Architecture Analysis and Design Language) modeling language, can describe system architecture formally, and meet the real-time requirement of avionics system, and also possess a strong ability to describe the nun-functional attribute of the system. Therefore, this article is focused on the research of test-ability modeling method of the avionics configuration control system based on AADL language. The main contents are as followings :First of all, we researched the composition of the avionic configuration control system, analyzed the working principle of the avionic configuration control system, and studied the functions of different components.Secondly, the modeling method and language semantic stuff of AADL are studied, set the architecture of the avionic configuration control system as software and hardware, and mapped them to the corresponding AADL component, described the interaction between components and built the test model of avionic configuration control system via the AADL semantic stuff.Finally, based on AADL model system's flow theory in the avionic configuration control system, analyzed the system-fault propagation state and set up the corresponding test with the features of the system's fault. On this basis, analyzed the correlation between failure and testing, and generated fault- test correlation matrix of the system, at last analyzed the test-ability of avionic configuration control system via the related matrix.By the analysis of test results, it testified that the method mentioned in this paper which turned out a good feasibility, and was able to meet the demand of the function and nun-functional properties test and validation of the avionic configuration control system.