Research On Conformance Test Method Of IMA Partition Communication Mechanism

Security verification is a key problem that relates to flight safety.Because the system integration level is increasing,the system verification has been one of most difficult problem in the field of integrated modular avionics system.The method is used to ensure the correct IMA communicating behavior,solve the problem about portability of the partition applications,and reduce the manpower and time cost of system test.A conformance test method is put forward.This test is about IMA port behavior which obey ARINC653 specification between partitions.First of all,the IMA partition communication mechanism is analyzed,then the IMA partition communication mode is got,and the allocation of the IMA system resources and time resource is determined.Secondly,a conformance testing plan is proposed which is based on an architecture model,this test plan use the architecture analysis and design language,then communication instances model of IMA partition is set up.In this plan,a method is given,this method is used to solve the problem of determining the overall system framework of time.In the end,according to the test standards and test steps,the conformance test specification is written.Then the conformance test program is implemented in software,test results is analyzed from the views of static and dynamic,the results show that the model passed the conformance test.The method of signal flow graph model is put forward for test of correlation matrix,which is used to test the conformance test efficiency.The results prove the feasibility of test method,which provides a theoretical basis and practical experience for more complex IMA system conformance test...