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

Schedulability verification method of aadl model based on resource competition model

A resource competition and verification method technology, applied in the field of AADL model schedulability verification based on resource competition model, can solve the problem of time-consuming

Active Publication Date: 2017-10-27
NORTHWESTERN POLYTECHNICAL UNIV
View PDF4 Cites 1 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
  • Schedulability verification method of aadl model based on resource competition model
  • Schedulability verification method of aadl model based on resource competition model
  • Schedulability verification method of aadl model 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 a schedulability verification method of an AADL model based on a resource competition model, which is used to solve the technical problem that the schedulability analysis method of the existing AADL model takes a long time. The technical solution is to obtain the thread execution sequence relationship by analyzing the interaction relationship between components in the AADL architecture model, and generate the concurrent body set of the process and the interference set of the thread according to these connection relationships. Thus, the schedulability analysis model of the system—resource competition model is established. Add the execution time attribute of the thread component and the response time calculated by using the resource competition model, and compare it with the deadline attribute of the thread component to obtain the schedulability of each component in the system, and then analyze the schedulability of the entire system. It avoids the problem of too many states that are difficult to calculate when encountering a complex system when using the automaton model, and can calculate the schedulability analysis results of the system in a short time for the AADL model with a complex 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 Patents(China)
IPC IPC(8): G06F9/46
Inventor 董云卫隗立超童安乐
Owner NORTHWESTERN POLYTECHNICAL UNIV