Safety Analysis And Research On Modelbased For Resource Configuration In Integrated Modular Avionics System

Resource allocation is a significant part of integrated modular avionics system(IMA) design, therefore, security analysis of configuration information is the key to ensuring the safety of the whole avionics system. However, traditional security analysis cannot show the security properties as the result of the analysis cannot feed back into the model of system design, and it also takes security engineers a lot of effort to collect system structure and behavior information for lack of accurate model of system structure and its failure mode. Security analysis methods based on model can largely cover the shortage of traditional ones, but existing security analysis methods based on model use different kinds of analysis tools which have different emphases and are short of necessary link while a complete analysis of the security of the resource allocation of IMA system combines three levels of analysis of system information, function integration and task synthesis together which includes IMA configuration tool, the analysis tool of system structure and the construction and analysis tool of failure mode. In the actual project, the tools of IMACT and AADL language and the Alta Rica language can support the work of the three levels respectively while automatic conversion of he models of different tools cannot be performed, making the whole analysis separated. In order to analyze the security of configuration information of IMA completely, conversion and the security analysis of task level of the model of configuration information is necessary.Aiming at above problems, this paper makes the following work.Firstly, IMA configuration and ARINC653 standard is researched to design the safety analysis and verification framework of configuration information of avionics system based on model.Secondly, IMA configuration information meeting ARINC653 standard is modeled using EMF and the model is configured by IMACT, the configuration tool of IMA, and the configuration information is converted into AADL model. Next, Safety properties which need verified are described by REAL language and verified automatically and the function is integrated into IMACT.Finally, a model is established about operation systems and application of IMA system based on the configuration information AADL model, and the failure model is established based on Alta Rica language and the fault tree is researched using Sim Fia Tool.