Model Based Research On IMA Resource Safe Allocation And Satisfy Verification Of Safety Requirement

The resource allocation of integrated modular Avionics(IMA) system is a significant part of avionics design. To make sure the allocation strategy to satisfy general requirements and safety requirements is a key point to ensure all systems of aircraft function normally.Because of involving numbers of complex structures of systems and resources, lacking of accurate model of system and platform architectures, the resource allocating experts usually need to speed great energy to collect system and platform resource information, and interpenetrated manually hardly makes a lot of trouble to evaluate whether defined architectures are valid. The use of formal model descripting IMA architecture including allocation requirement and allocation results improves the dialogue between system designers and IMA integrators, and makes constraint extraction and structure verification more automaticly. Furthermore, civil aviation as a safety-critical area puts forward higher requirements for the safety of IMA system. Resource allocation, as the first-phase preparation of IMA des ign, not only need distributing shared resources for each subsystem suitably, but also need ensuring the integrity and availability of functions hosted on IMA. In order to take safety as an important constraint of resource allocation, combination consideration between quantitative and qualitative safety requirements in the process of resource allocation is considered.This thesis puts forward a Model Based Research on IMA Resource Safe Allocation and Satisfy Verification of Safety Requirement. The three main research contents are as follows:Firstly, failure propagation based safety analysis is researched in this thesis the process which begins with modeling the system failure propagation using AltaRica language, then compiling into Guarded Transition System,and then compiling into fault tree model, ends with giving the safety analysis results using XFTA which can execute safety analysis by script file.Secondly, the architecture features of IMA platform and avionics system are analyzed. Based on the features of system and platform architecture, meta-models are given. Through the defined meta-models expressed by the EMF and the GMF technique, a kit of tool is developed which can model the system and platform architecture by dragging primit ives, making the process of modelling easier for system designers and platform designers.Finally, based on the general requirements of shared resources which are needed by analyzing the system to be hosted and the IMA platform and the safety requirements through safety analysis, a series of constraints can be abstracted. A kit of tool is designed to transform the mathematical constraint expressions into the OPL format input files. Mult i-solut ions can be got by ILOG solver. Candidate allocation strategy can be performed safety analysis to decide whether it can meet other safety requirements in order to decide w hether to accept the allocation or not.