Research on Model-based IMA Resources Allocation

ever increasing complexity of avionics system and amount of platform devices makes allocating the IMA resources more error-prone and harder to evaluate. This paper proposes a method of preliminary design of IMA platform based on models. The definition of system and platform respectively bases on meta-model of system structure and platform structure, thus specific format of system and platform makes the definition clearer, 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 generated 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.