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

Schedulability analysis method based on AADL model under cache preemption delay constraints

A technology of delay constraints and analysis methods, applied in the field of schedulability analysis of AADL model based on cache preemption delay constraints, can solve problems such as poor real-time performance, and achieve the effect of avoiding repeated development

Active Publication Date: 2020-05-19
NORTHWESTERN POLYTECHNICAL UNIV
View PDF7 Cites 2 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

[0003] In order to overcome the deficiency of poor real-time performance of existing schedulability analysis methods, the present invention provides a schedulability analysis method based on the AADL model under cache preemption delay constraints

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 analysis method based on AADL model under cache preemption delay constraints
  • Schedulability analysis method based on AADL model under cache preemption delay constraints
  • Schedulability analysis method based on AADL model under cache preemption delay constraints

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0046] refer to Figure 1-10 . The specific steps of the schedulability analysis method of the AADL model based on the cache preemption delay constraint of the present invention are as follows:

[0047] Step 1: Establish an AADL scheduling model and perform model analysis for scheduling attribute extraction; the attributes that need to be extracted by the partition scheduling model are shown in Table 1. Figure 5 It is an AADL partition scheduling architecture model, the Cache size is 200KB, the Cache block size is 32byte, the processor frequency is 250MHZ, and the CacheMissTime is 40ns. Figure 5 The partition information is shown in Table 2. The attribute information of the task in the partition is shown in Table 3.

[0048] Table 1 Attributes that need to be extracted for partition scheduling

[0049]

[0050]

[0051] Table 2 Partition Time Attributes and Scheduling Attributes

[0052]

[0053] Table 3 Scheduling properties of task sets in partitions

[0054...

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 analysis method based on an AADL model under cache preemption delay constraints, which is used for solving the technical problem of poor real-time performanceof an existing schedulability analysis method. According to the technical scheme, the component cache utilization rate is initialized according to the size of storage resources allocated by an executable component, a preemption sequence of a task set in one scheduling process is obtained under a specific scheduling algorithm, and a CRPD calculation method based on the preemption sequence is provided in combination with the cache utilization rate of the executable component. According to the method, the CRPD is calculated through the storage resource estimated value of the AADL thread component, so that the cache preemption delay of the component can be calculated without a specific program, and the method can be universally applied to AADL model schedulability verification. Under a specific scheduling strategy, a preemption sequence describes a preemption behavior between tasks in a scheduling process, and a CRPD calculation method based on the preemption sequence is more accurate thana UCB-Union method.

Description

technical field [0001] The invention relates to a schedulability analysis method, in particular to a schedulability analysis method based on the AADL model under cache preemption delay constraints. Background technique [0002] The document "Timing analysis for preemptive multitasking real-time systems with caches, Transactions on Embedded Computing Systems, 2007, Vol6(1):7" proposes a CRPD (Cache Related Preemption Delay) calculation method, which first establishes an executable Task CFG (Control Flow Graph, Control Flow Graph), and then define a useful cache block (UCB, Useful Cache Block) and preemptive cache block (ECB, Evicting Cache Block) for each node in the CFG, and finally propose a preemptive task path analysis And the UCB-Union calculation method calculates the CRPD of the task. The literature provides a good idea to calculate the preemption cost caused by the dynamic runtime preemption behavior of executable components. However, the cache-related preemption de...

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): G06F8/35
CPCG06F8/35
Inventor 董云卫习乐琪陆寅曹阳
Owner NORTHWESTERN POLYTECHNICAL UNIV