Name
Abstract | ||
|---|---|---|
This paper proposes a safe stochastic analysis for fixed-priority scheduling, which is applicable to a broader spectrum of periodic tasks than the ones analyzable by any of the existing techniques. The proposed analysis can find a safe upper-bound of deadline miss probability for periodic tasks with 1) arbitrary execution time distributions, 2) varying interrelease times with the period as the minimum, and 3) the maximum utilization factor U^{max} that can be greater than 1. One challenge for this is that the release times of tasks are not known a priori because we are not limiting the interrelease times of each task to a constant, i.e., the period. In such a situation, the relative phases of task instances at run time can be arbitrary. Thus, we need to consider all possible phase combinations among jobs to find the worst case deadline miss probability, which is not tractable. To handle this difficulty, we first derive the worst case phase combination for harmonic task sets. Then, we present a safe way to transform a nonharmonic task set to a harmonic task set such that the deadline miss probabilities obtained with the worst case phase combination for the transformed harmonic task set are guaranteed to be worse than those for the original nonharmonic task set with all possible phase combinations. Therefore, the worst case deadline miss probabilities of the transformed harmonic tasks can be used as safe upper-bounds of deadline miss probabilities of the original nonharmonic tasks. Through experiments, we show that the safe upper-bound computed by the proposed analysis is tight enough for practical uses. |
Year | DOI | Venue |
|---|---|---|
2009 | 10.1109/TC.2008.208 | IEEE Trans. Computers |
Keywords | Field | DocType |
safe stochastic analysis,worst case deadline,relaxed limitations,nonharmonic task,safe upper-bound,periodic task model,possible phase combination,proposed analysis,harmonic task,worst case phase combination,periodic task,original nonharmonic task,harmonic task set,real time systems,motion pictures,harmonic analysis,upper bound,scheduling,spectrum,stochastic processes,embedded system,control systems,statistical distributions,radar tracking,random variables,interference,probability,stochastic analysis | Mathematical optimization,Random variable,Scheduling (computing),Upper and lower bounds,Computer science,A priori and a posteriori,Parallel computing,Harmonic,Stochastic process,Real-time computing,Probability distribution,Periodic graph (geometry) | Journal |
Volume | Issue | ISSN |
58 | 5 | 0018-9340 |
Citations | PageRank | References |
4 | 0.71 | 20 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Kanghee Kim | 1 | 223 | 20.24 |
| Chang-Gun Lee | 2 | 1033 | 66.13 |