Title | ||
---|---|---|
Degree of Schedulability of Mixed-Criticality Real-Time Systems with Probabilistic Sporadic Tasks. |
Abstract | ||
---|---|---|
We present the concept of degree of schedulability for mixed-criticality scheduling systems. This concept is given in terms of the two factors 1) Percentage of Missed Deadlines (PoMD); and 2) Degradation of the Quality of Service (DoQoS). The novel aspect is that we consider task arrival patterns that follow user-defined continuous probability distributions. We determine the degree of schedulability of a single scheduling component which can contain both periodic and sporadic tasks using statistical model checking in the form of UPPAAL SMC. We support uniform, exponential, Gaussian and any user-defined probability distribution. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/TASE.2014.27 | TASE |
Keywords | DocType | Citations |
real time systems,scheduling,probability distribution,degradation,model checking | Conference | 2 |
PageRank | References | Authors |
0.36 | 16 | 7 |
Name | Order | Citations | PageRank |
---|---|---|---|
Abdeldjalil Boudjadar | 1 | 46 | 6.32 |
Alexandre David | 2 | 1667 | 76.52 |
Jin Hyun Kim | 3 | 37 | 6.75 |
Kim G. Larsen | 4 | 3922 | 254.03 |
Marius Mikučionis | 5 | 799 | 33.52 |
Ulrik Nyman | 6 | 533 | 26.49 |
Arne Skou | 7 | 1279 | 102.75 |