EDF-VD-based energy efficient scheduling for imprecise mixed-criticality task with resource synchronization

Abstract

Prior work on mixed-criticality scheduling with resource synchronization based on Earliest Deadline First with Virtual Deadlines immediately abandons all low-criticality (LO) tasks when the system enters high-criticality (HI) mode, which is not reasonable in practical systems. In this paper, we address the scheduling problem of the imprecise mixed-criticality task model with shared resources in which LO tasks continue to execute with a reduced time budget in HI mode. Thereafter, we propose a new resource access protocol called IMC-SRP, and outline some properties of the IMC-SRP. Moreover, we present sufficient conditions for the schedulability analysis of the IMC-SRP. To save energy, we propose a new algorithm called EAS-IMC-SRP. Furthermore, we use synthetic tasksets to evaluate the proposed algorithm.