Fixed-priority scheduling of dual-criticality systems

TY - GEN

T1 - Fixed-priority scheduling of dual-criticality systems

AU - Baruah, Sanjoy

AU - Burns, Alan

PY - 2013/12/1

Y1 - 2013/12/1

N2 - In modern embedded platforms, safety-critical functionalities that must be certified correct to very high levels of assurance may co-exist with less critical software that is not subject to certification requirements. One seeks to satisfy two, sometimes contradictory, goals upon such mixed-criticality platforms: (i) certify the safety-critical functionalities under very conservative assumptions, and (ii) achieve high resource utilization during run-time, when actual behavior does not live up to the pessimistic assumptions under which certification was made. This paper makes two contributions: (i) it surveys different fixed-priority scheduling algorithms that have been proposed, that seek to balance these two requirements, and (ii) it completes prior work that performs a comparative evaluation of these different fixed-priority scheduling algorithms. It particularly focuses upon the period transformation technique for dual-criticality scheduling, since this technique has received relatively less attention in prior work.

AB - In modern embedded platforms, safety-critical functionalities that must be certified correct to very high levels of assurance may co-exist with less critical software that is not subject to certification requirements. One seeks to satisfy two, sometimes contradictory, goals upon such mixed-criticality platforms: (i) certify the safety-critical functionalities under very conservative assumptions, and (ii) achieve high resource utilization during run-time, when actual behavior does not live up to the pessimistic assumptions under which certification was made. This paper makes two contributions: (i) it surveys different fixed-priority scheduling algorithms that have been proposed, that seek to balance these two requirements, and (ii) it completes prior work that performs a comparative evaluation of these different fixed-priority scheduling algorithms. It particularly focuses upon the period transformation technique for dual-criticality scheduling, since this technique has received relatively less attention in prior work.

KW - fixed priorities

KW - mixed criticalities

KW - period transformation

UR - http://www.scopus.com/inward/record.url?scp=84893474233&partnerID=8YFLogxK

U2 - 10.1145/2516821.2516827

DO - 10.1145/2516821.2516827

M3 - Conference contribution

AN - SCOPUS:84893474233

SN - 9781450320580

SP - 173

EP - 181

BT - ACM International Conference Proceeding Series

PB - ACM

T2 - 21st International Conference on Real-Time Networks and Systems, RTNS 2013

Y2 - 16 October 2013 through 18 October 2013

ER -