Dynamic analysis method for state associations for IMA resource sharing mechanism

A technology of resource sharing and analysis methods, applied in the field of IMA system design analysis, can solve problems such as no applicable analysis methods
CN106598766AActive Publication Date: 2017-04-26BEIHANG UNIV
3 Cites 6 Cited by

Patent Information

Authority / Receiving Office
CN · China
Current Assignee / Owner
BEIHANG UNIV
Publication Date
2017-04-26

Smart Images

  • Figure 1
    Figure 1
  • Figure 2
    Figure 2
  • Figure 3
    Figure 3
Patent Text Reader

Abstract

The invention provides a dynamic analysis method for state associations for an IMA resource sharing mechanism. The method comprises following steps: 1: determining IMA system objects and utilizing AADL to model a sharing mechanism of an IMA system; 2, converting an AADL model into a CGSPN model through model conversion; 3, constraining system design to the CGSPN model; 4, simulating and analyzing the CGSPN model. By taking the above steps, the purpose of associating and analyzing states of an IMA system is fulfilled. The simulation of the created CGSPN model fully takes dynamic behaviors of associations of system states. Firstly, the method is capable of analyzing whether state associations of system faults can affected after recovery of resources faults, namely, whether other parts of the system enter the failure state or not after analyzing recovery of resources faults. Secondly, the method is capable of analyzing whether the system design satisfies the dynamic constraint.
Need to check novelty before this filing date? Find Prior Art

Description

technical field

[0001] The present invention provides a state association dynamic analysis method for an IMA resource sharing mechanism, which relates to a state association dynamic analysis method in the design and analysis of an IMA system (system for short), and specifically relates to a state association model-based multi-constraint analysis method . It belongs to the field of IMA system design analysis. Background technique

[0002] The development of avionics has gone through several stages of discrete, combined, integrated and advanced integrated, aiming to enhance the function and performance of the avionics system, reduce the cost of the aircraft life cycle, and solve the problem of system software and hardware upgrade and transplantation. In response to the problems existing in traditional avionics systems, the American Aeronautical Electronics Council proposed the concept of Integrated Modular Avionics (IMA) in 1990, and was adopted by the aviation industry organ...

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