摘要
混合关键级系统可调度性分析通常基于最坏情况执行时间,导致系统资源的过度预置和低关键级模式下的分析过于苛刻。为解决资源过度预置的问题,简化低关键级模式下的可调度性,针对单核处理器上EDF调度的混合关键级零星任务集,提出随机需求约束函数模型。分析了混合关键级系统的概率性资源需求,得到相应的可调度性条件,并在尽可能增加低关键级任务预算的同时设计出系统可调度性测试算法。实验结果表明,与之前的可调度接受率相比,该方法提高了32%,在降低pDBF模型算法复杂度基础上仍使可调度性得到显著改善。
0 引言
混合关键级系统[1-4](Mixed-Criticality Systems,MCS)在运行资源宽裕的条件下,系统不再单纯为保证安全关键性任务&