AADL based IMA dynamic reconfiguration modeling method

A technology of dynamic reconstruction and modeling methods, applied in CAD numerical modeling, special data processing applications, instruments, etc., can solve the complex dynamic reconstruction process, difficult security analysis, and security analysis of dynamic reconstruction process There are few problems such as methods and research, so as to achieve the effect of easy related analysis work and easy analysis

Active Publication Date: 2016-03-02
BEIHANG UNIV
View PDF3 Cites 20 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

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. P

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • AADL based IMA dynamic reconfiguration modeling method
  • AADL based IMA dynamic reconfiguration modeling method
  • AADL based IMA dynamic reconfiguration modeling method

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0040] The present invention will be further described in detail below in conjunction with accompanying drawings and examples.

[0041] There have been many studies on the security of IMA dynamic reconfiguration, such as human factors, etc., but the configuration process of IMA dynamic reconfiguration is very complicated, and it is difficult to evaluate its security. In the process of describing embedded systems, AADL has a very wide range of applications in modeling embedded systems to describe their reliability and security. Therefore, the present invention uses AADL to model the dynamic reconfiguration process, so as to visualize the complex dynamic reconfiguration process and facilitate security analysis. The purpose of proposing this modeling method is to further analyze the security constraints on this basis.

[0042] The invention proposes a language modeling method for the IMA dynamic reconstruction process. First, after decomposing and simplifying the abstract dynam...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

PUM

No PUM Login to view more

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...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to view more

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F17/50
CPCG06F30/367G06F2111/10
Inventor 鞠宏艳王世海李泽林赵廷弟
Owner BEIHANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Try Eureka
PatSnap group products