Many existing studies on mixed-criticality (MC) scheduling assume that low-criticality budgets for high-criticality applications are known apriori. These budgets are primarily used as guidance to determine when the scheduler should switch the system mode from low to high. Based on this key observation, in this paper we propose a dynamic MC scheduling model under which low-criticality budgets for individual high-criticality applications are determined at runtime based on a system-wide total low-criticality budget allocation for all the high-criticality applications combined. This total budget is used as guidance in our model to determine the need for a mode-switch. At run time, a job may terminate prior to its allocated low-criticality budget, and hence the remaining low-criticality budget is wasted. Therefore, in the paper, we also propose a budget reclamation scheme that can work along with the dynamic model to further prevent the occurrence of mode-switch.

中文翻译：

---

混合临界系统的动态预算管理和预算回收

许多现有的关于混合临界 (MC) 调度的研究假设高临界应用的低临界预算是先验已知的。这些预算主要用作确定调度程序何时应将系统模式从低切换到高的指导。基于这一关键观察，在本文中，我们提出了一种动态 MC 调度模型，根据该模型，在运行时基于系统范围内所有高关键性应用程序的总低关键性预算分配来确定各个高关键性应用程序的低关键性预算。应用程序相结合。该总预算用作我们模型中的指导，以确定是否需要模式切换。在运行时，作业可能会在其分配的低临界预算之前终止，因此剩余的低临界预算被浪费了。因此，在论文中，