Reasearch On Automatic Generation Method Of Communication Scheduling Data In The Network Of IMA Platform

The complement of IMA system is based on the common standardized platforms(the IMA platforms) and standardized aircraft networking technology, before the integration of IMA and AFDX, it is advisory to perform network integration tests with the configured modules to show their compliance and compatibility with respect to the network configuration.As for the network integration tests of IMA system, the main method is to perform a test on the scheduling communication flows which exist in the network of IMA platforms. The automatically generation of communication scheduling data which act as the input data of communication flows test becomes complicated and difficult to achieve, because it’s generation procedure should take into account the configuration information in the network of IMA platforms and the performance information of the used communication technology.Finding an efficient and general way to generate communication scheduling data automatically can save the cost and improve the accuracy of the test.The subject is the input data of the test which performed on the scheduling communication flows in network of IMA platforms—the communication scheduling data produced in the network of IMA platforms. The object is to find a recursive method to generate the communication scheduling data automatically and verify the feasibility of the algorithm based on schedulability verification of generated communication scheduling data.The main research content is as follows.Firstly, according to ARINC653 specification, an introduction about the architecture of IMA is given, then the communication and scheduling concepts in the IMA. Secondly, a detailed analysis on the characteristics of communication scheduling in the IMA platform is put, then, an instance which shows the progresses of generating a communication scheduling is given. Based on this instance, a recursive method is raised up to generating the communication scheduling data automatically. Finally,by means of the Architecture Analysis and Design Language(AADL), the network of an IMA platform instance is modeled, then, an analysis tool—AADL Inspector was used to verify the schedulability of these tasks, and the verified results of generated data can lead an estimate on the feasibility of recursive algorithm.The results show that the algorithm raised can generate communication scheduling data which conform to the specification in a quickly and accurately way.