Name
Title | ||
|---|---|---|
Scheduling Mixed-Criticality Systems to Guarantee Some Service under All Non-erroneous Behaviors |
Abstract | ||
|---|---|---|
Many reactive systems must be designed and analyzed prior to deployment in the presence of considerable epistemic uncertainty: the precise nature of the external environment the system will encounter, as well as the run-time behavior of the platform upon which it is implemented, cannot be predicted with complete certainty prior to deployment. The widely-studied Vestal model for mixed-criticality workloads addresses uncertainties in estimating the worst-case execution time (WCET) of real-time code. Different estimations, at different levels of assurance, are made about these WCET values, it is required that all functionalities execute correctly if the less conservative assumptions hold, while only the more critical functionalities are required to execute correctly in the (presumably less likely) event that the less conservative assumptions fail to hold but the more conservative assumptions do. A generalization of the Vestal model is considered here, in which a degraded (but non-zero) level of service is required for the less critical functionalities even in the event of only the more conservative assumptions holding. An algorithm is derived for scheduling dual-criticality implicit-deadline sporadic task systems specified in this more general model upon preemptive uniprocessor platforms, and proved to be speedup-optimal. |
Year | DOI | Venue |
|---|---|---|
2016 | 10.1109/ECRTS.2016.12 | 2016 28th Euromicro Conference on Real-Time Systems (ECRTS) |
Keywords | Field | DocType |
mixed-criticality system scheduling,epistemic uncertainty,Vestal model,worst-case execution time,WCET,dual-criticality implicit-deadline sporadic task,preemptive uniprocessor platform | Fixed-priority pre-emptive scheduling,Uniprocessor system,Fair-share scheduling,Computer science,Mixed criticality,Real-time computing,Two-level scheduling,Rate-monotonic scheduling,Earliest deadline first scheduling,Dynamic priority scheduling,Distributed computing | Conference |
ISSN | ISBN | Citations |
2159-3833 | 978-1-5090-2812-2 | 8 |
PageRank | References | Authors |
0.48 | 10 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Sanjoy K. Baruah | 1 | 4664 | 374.79 |
| Alan Burns | 2 | 739 | 59.60 |
| Zhishan Guo | 3 | 329 | 34.04 |