Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

AADL-based ima dynamic reconstruction modeling method

A technology of dynamic reconstruction and modeling method, applied in the direction of CAD numerical modeling, instrumentation, calculation, etc., can solve the analysis method and research on the difficulty of security analysis, the complexity of the dynamic reconstruction process, and the safety of the dynamic reconstruction process Few other problems, to achieve the effect of easy analysis and related analysis work

Active Publication Date: 2018-09-28
BEIHANG UNIV
View PDF3 Cites 0 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. 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

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 reconstruction modeling method
  • AADL-based ima dynamic reconstruction modeling method
  • AADL-based ima dynamic reconstruction 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 present 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 (AADL), It belongs to the technical field of avionics system safety modeling. 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 equipment. The s...

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
Patent Type & Authority Patents(China)
IPC IPC(8): G06F17/50
CPCG06F30/367G06F2111/10
Inventor 鞠宏艳王世海李泽林赵廷弟
Owner BEIHANG UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com