Abstract: The ever increasing complexity of avionics system and amount of platform devices are going to make allocating the IMA resources for IMA integrator based on subjective impression more error-prone and hard to evaluate. This paper proposed a method of preliminary design of IMA platform based on models. The definition of system and platform respectively based on meta-model of system structure and meta-model of platform structure, thus a specific format of system and platform makes the definition more clearly formal, providing conditions to extract constraints and evaluate the allocation strategy automatically. The constraints can be extracted from the general requirements and safety requirements. Candidate allocation strategies can be got from ILOG solver by inputting constraints described by OPL format. After safety analysis of candidate strategies, the system designers can accept or reject the proposed allocation. The practice and efficiency of the method were illustrated by analyzing IMA resource allocation strategy of cockpit display system.

Key words: integrated modular avionics(IMA), resource allocation, meta-model, constraint