Multi-moded Resource Reservations
Multi-moded Resource Reservations
复制标题
多模式资源预留
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Enrico Bini
中科院分区：
文献类型：
--
作者：
L. Santinelli;G. Buttazzo;Enrico Bini
通常，实时系统可以根据外部环境或其内部状态以不同的模式运行。每种操作模式的特征在于具有不同计算需求、资源要求和资源可用性的一组任务。当使用资源预留来实现应用之间的时间隔离时，预留参数可能需要随模式而改变。因此，需要提供额外的保证，以确保不仅适用可行，而且保留可行。本文提出了一种可预测性分析，预测多模式资源预留的定时行为，其参数可能会发生变化，由于模式转换。在所有操作模式中以及在模式改变期间分析资源供应，以保证最小量的资源并导出实时应用和预留的可行性条件。理论结果还通过示例和测试案例进行了说明。
Often real-time systems can run in different modes depending on the external environment or their internal state. Each operational mode is characterized by a set of tasks with different computational demand, resource requirements, and resource availability. When resource reservation is used to achieve temporal isolation among applications, the reservation parameters may need to change from mode to mode. Hence, an additional guarantee is required to ensure feasibility not only of the applications, but also of the reservations. This paper presents a schedulability analysis to predict the timing behavior of a multi-moded resource reservation, whose parameters may change due to a mode transition. Resource provisioning is analyzed in all the operational modes and also during mode-changes in order to guarantee a minimum amount of resources and derive a feasibility condition for realtime applications and reservations. Theoretical results are also illustrated with examples and test cases.