Fixed-priority scheduling of dual-criticality systems
Fixed-priority scheduling of dual-criticality systems
复制标题
DOI：
10.1145/2516821.2516827
复制
发表时间：
2013-10
期刊：
影响因子：
--
通讯作者：
Sanjoy Baruah;A. Burns
中科院分区：
文献类型：
--
作者：
Sanjoy Baruah;A. Burns
在现代嵌入式平台中，安全关键功能必须经过非常高级别的保证认证，这些功能可能与不受认证要求约束的不太关键的软件共存。人们试图在这种混合关键性平台上满足两个有时相互矛盾的目标：（i）在非常保守的假设下认证安全关键功能，以及（ii）在运行时实现高资源利用率，当实际行为不符合进行认证的悲观假设时。本文作出了两个贡献：（一）它调查不同的固定优先级调度算法，已提出，寻求平衡这两个要求，（ii）它完成了以前的工作，这些不同的固定优先级调度算法进行比较评估。它特别侧重于双临界调度的周期转换技术，因为这种技术在以前的工作中得到了相对较少的关注。
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.