Unlock instant, AI-driven research and patent intelligence for your innovation.

AADL model schedulability verification method based on resource competition model

A technology of resource competition and verification method, applied in the field of schedulability verification of AADL model based on resource competition model, which can solve problems such as long time consumption

Active Publication Date: 2015-05-06
NORTHWESTERN POLYTECHNICAL UNIV
View PDF4 Cites 4 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] In order to overcome the time-consuming deficiency of the existing AADL model schedulability analysis method, the present invention provides a method for verifying the schedulability of the AADL model based on the resource competition model

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 model schedulability verification method based on resource competition model
  • AADL model schedulability verification method based on resource competition model
  • AADL model schedulability verification method based on resource competition model

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0025] refer to Figure 1-2 . The specific steps of the AADL model schedulability verification method based on the resource competition model of the present invention are as follows:

[0026] Step 1: By analyzing the architecture of the AADL model, extracting the time-related attributes of components and the connection relationship between components, find the set of concurrent bodies of each process in the system, and the set of concurrent bodies in the system is represented by CS.

[0027] Step 2: By analyzing the architecture of the AADL model, extracting the time-related attributes of components and the connection relationship between components, find the set of thread interference sets of the system, represented by InterS. After establishing the concurrent body set for each process, on this basis, the following will introduce the process of establishing the interference set for the thread. Without loss of generality, the following for process P i Any thread T in i j ...

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 model schedulability verification method based on a resource competition model. The AADL model schedulability verification method is used for solving the technical problem of long time consumption of the existing schedulability analysis method for the AADL model, and has the technical scheme that the thread executing sequence relationship is obtained through analyzing the interaction relationship between components in an AADL architecture model, and a complication set and a thread interference set of the process is generated according to the connection relationship. Therefore the schedulability analysis model-resource competition model of the system is built. The executing time attribute of the thread component is added to the response time obtained by using the resource competition model to calculation, the result is compared with the deadline attribute of the thread component to obtain the schedulability of each component in the system, and further, the schedulability of the whole system is analyzed. The problem of too many states and calculation difficulty due to complicated system meeting during the use of an automaton model is avoided, and the schedulability analysis result of the system can be calculated in a short time for the AADL model with the complicated structure.

Description

technical field [0001] The invention relates to a method for verifying the schedulability of an AADL model, in particular to a method for verifying the schedulability of an AADL model based on a resource competition model. Background technique [0002] The document "Schedulability Verification of AADL Model Based on UPPAAL. Computer Applications, 2009, (7)" discloses a schedulability analysis method for the AADL model. In this method, the time attributes and state transitions of each construction in the AADL model are described by time automata. By formulating conversion rules, the AADL model is converted into a timed automaton model, and the timed automata analysis tool UPPAAL is used for calculation, so as to obtain the schedulability analysis results of the AADL model. The literature method judges the schedulability of the AADL model by calculating the accessibility of the wrong state of the transformed timed automaton. However, when the AADL model is more complex, 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 Applications(China)
IPC IPC(8): G06F9/46
Inventor 董云卫隗立超童安乐
Owner NORTHWESTERN POLYTECHNICAL UNIV