Research On Resources Configuration Verification And Optimisation Of IMA System Based On Model Driven

Integrated Modular Avionics(IMA) as an important system recently widely used in the area of Airborne Avionics. As the IMA has been developed, IMA's resource configuration plays a significant role in meeting the requirement of the resources sharing and the safe and reliable operation. For that reason, it is a remarkable research on how resources should be configurated within the IMA and how the validity of its resources configuration could be guaranteed. Besides, there are two types of resources allocation, that is hardware resources allocation and software resources allocation. Against the backdrop of resources constraint, different allocation leads to different aircraft quality, cost for research and development, and safty. In this case it's of great significance in the IMA to get the optimal allocation based on the optimization of the resources configuration by mutilple objectives.we analyze the process of IMA development and resource configuration, verify the time resource configuration, and model the hardware and software resource allocation by binary programming, finally use multi-objective optimization to get the optimal solution, the details are listed below:1) Based on resources sharing of IMA and according to the analysis of IMA development and resource configuration, we build the model of IMA time behaviors based on Modeling and Analysis of Real-Time and Embedded systems(MARTE) and design the modeling method of IMA based on Model Driven Engineering.2) According to the analysis of scheduling model characteristics of IMA, We convert the MARTE model of time behaviors of IMA to MAST-2 model and add the custom scheduling policies, and design the schedulable verification framework of the system.3) We illustrate the problem of the hardware and software resources allocation, and use the binary programming and formula to model the resources allocation and constraints. Finally we establish the objective function and use multi-objective optimization to get the optimal solution.4) We design and implement an assistant tool, called IMA Resource Configuration &Verification(IMA_RCV) which is based on Eclipse platform and Eclipse Modeling Framework(EMF) and so on. Finally we use the Water and Waste system to illustrate the approach which is proposed in this paper.