A Design That Incorporates Adaptive Reservation into Mixed-Criticality Systems

作者:Guan Fei; Peng Long; Perneel Luc; Fayyad Kazan Hasan; Timmerman Martin
来源:Scientific Programming, 2017, 2017: 3403685.
DOI:10.1155/2017/3403685

摘要

<jats:p>This paper presents a design and implementation of a Mixed-Criticality System (MCS) extended from<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" id="M1"><mml:mrow><mml:mi>μ</mml:mi></mml:mrow></mml:math>C/OS III. It is based on a MCS model that uses an adaptive reservation mechanism to cope with the uncertainties in task execution times and to increase the resource utilization in MCS. The implementation takes advantage of the tasks’ recent execution records to predict their required computational resource in the near future and adjusts their reserved budget according to their criticality levels. The designed system focuses on soft real-time tasks. An overrun tolerance algorithm is used to limit the deadline miss ratios between a rise to the task’s actual consumption and the change to the amount of reservation. More than two criticality levels can be handled without introducing obvious additional overhead at each added level. The case study evaluation demonstrates that the reserved resource for each task is always close to its actual consumption; the tasks’ deadline misses are bounded by the different requirements specified by the criticality levels; during overload conditions, high-criticality tasks are guaranteed to have sufficient resource reservation. Although there is still room for improvement if it comes to processing overhead, this research brings some inspirations in both modelling and implementation aspects of MCS.</jats:p>

  • 出版日期2017