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

Active Publication Date: 2017-04-26
BEIHANG UNIV
View PDF3 Cites 6 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0005] At present, the analysis and research on the IMA system is to evaluate the IMA system from the perspectives of reliability, security, real-time and schedulability. However, there is still no applicable analysis method...

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
  • Dynamic analysis method for state associations for IMA resource sharing mechanism
  • Dynamic analysis method for state associations for IMA resource sharing mechanism
  • Dynamic analysis method for state associations for IMA resource sharing mechanism

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0086] Case background:

[0087] In this case, the example IMA system uses the device radar to transmit signals. Five partitions need to process and share the signals. Each partition has an application. The interaction between partitions is as follows: image 3 As shown, at the same time, this figure is the architecture diagram of AADL modeling.

[0088] Due to space limitation, the present invention only briefly introduces the IMA system. There is a shared data area in Partition 1. In the case, the data generated by the application in Partition 1 is stored in the shared data area. Partition 2 and Partition 3 share this data area. The occurrence time of data error events in this shared data area obeys the exponential distribution . Since partition 1 performs a write operation on the data area, it is stipulated that an operation error in the shared data area will affect the normal operation of applications in partition 1. The application in partition 3 may fail during operatio...

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

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

Application Information

Patent Timeline
no application Login to view more
IPC IPC(8): G06F11/07
CPCG06F11/0715G06F11/0739G06F11/079
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

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

© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap