Title
A General Framework for Parameterized Schedulability Bound Analysis of Real-Time Systems
Abstract
In real-time systems, utilization-based schedulability test is a common approach to determine whether or not tasks can be admitted without violating deadline requirements. The test is extremely simple, since it only needs to compare the utilization of the tasks with a predetermined bound. As such, utilization-based schedulability tests are suitable for online use. The challenge is how to derive a reasonable utilization bound for a given system. Most existing results are obtained on a case-by-case basis because of their analytical complexity. In this paper, we develop a flexible and unified representation framework of real-time systems (i.e., tasks and schedulers) based on network calculus techniques. Our representation framework, together with the proposed bound derivation method, leads to a general bound result, which is applicable to a large family of real-time systems.
Year
DOI
Venue
2010
10.1109/TC.2010.31
IEEE Trans. Computers
Keywords
Field
DocType
unified representation framework,general bound result,representation framework,analytical complexity,scheduling,schedulability test,program testing,proposed bound derivation method,utilization,reasonable utilization,case-by-case basis,utilization-based schedulability test,network calculus.,real-time system,workload rate,parameterized schedulability bound analysis,general framework,network calculus techniques,common approach,process algebra,real-time systems,deadline requirements,calculus,lead,stability,job shop scheduling,real time systems,harmonic analysis,application software,computer applications,system testing
Parameterized complexity,Derivation method,Computer science,Scheduling (computing),Real-time computing,Harmonic analysis,Network calculus,Program testing,Process calculus
Journal
Volume
Issue
ISSN
59
6
0018-9340
Citations 
PageRank 
References 
7
0.48
39
Authors
3
Name
Order
Citations
PageRank
Jianjia Wu1585.02
Jyh-Charn Liu235146.00
Wei Zhao33532404.01