AADL based IMA dynamic reconfiguration modeling method

Abstract

The invention discloses an AADL based IMA dynamic reconfiguration modeling method used for avionics system security modeling. The method comprises: determining dynamic reconfiguration process elements, decomposing a dynamic reconfiguration process into sub-states, and determining trigger and conversion actions required for conversion between each state configuration situation and a state; representing software and hardware constitution of IMA by utilizing ARINC653 accessories, describing the dynamic reconfiguration process by utilizing behavior accessories, describing a trigger behavior by utilizing error model accessories, and representing different configuration situations of the dynamic reconfiguration process by utilizing modes; determining IMA dynamic reconfiguration process model instances; describing a dynamic reconfiguration conversion process by utilizing combination of the AADL behavior accessories and the modes; and realizing and perfecting an established model by utilizing software. According to the method, the complicated dynamic reconfiguration process is modeled, so that the security of the dynamic reconfiguration process can be conveniently analyzed; and a brand-new process modeling method is constructed by combining a mature AADL language with the IMA dynamic reconfiguration process.

Description

technical field [0001] The invention relates to a dynamic reconfiguration process modeling method, specifically refers to a method for modeling the dynamic reconfiguration process of an integrated modular avionics system (IMA) based on the Architecture Analysis & Design Language (the Architecture Analysis & Design Language, AADL). Electrical system safety modeling technical field. Background technique [0002] Avionics refers to the technology that applies electronic technology to the aviation field, and also refers to the sum of all electronic systems on the aircraft. A basic avionics system consists of multiple systems such as communication, navigation and display management. The development and transformation of the avionics system is mainly reflected in the innovation of its system architecture. The architecture of the avionics system defines the integration method of subsystems and related equipment, as well as the related interfaces inside the system and with external...

AI Technical Summary

Problems solved by technology

[0013] Although the above studies have made some achievements, the analysis of the dynamic reconfiguration process of IMA is still not deep enough. The dynamic reconfiguration process of the IMA system can greatly enhance the flexibility and configuration efficiency of the system. Performing error recovery also greatly reduces hardware redundancy, but the dynamic reconfiguration process is more complicated, and its security analysis is difficult to implement, and there are few analysis methods and researches on the security of the dynamic reconfiguration process

Images