EDF-VD scheduling of flexible mixed-criticality system with multiple-shot transitions

Gang Chen, Nan Guan, Biao Hu, Wang Yi

Research output: Journal article publicationJournal articleAcademic researchpeer-review

10 Citations (Scopus)


The existing mixed-criticality (MC) real-time task models assume that once any high-criticality task overruns, all high-criticality jobs execute up to their most pessimistic WCET estimations simultaneously in a one-shot manner. This is very pessimistic in the sense of unnecessary resource overbooking. In this paper, we propose a more generalized mixed-critical real-time task model, called flexible MC model with multiple-shot transitions (FMC-MST), to address this problem. In FMC-MST, high-criticality tasks can transit multiple intermediate levels to handle less pessimistic overruns independently and to nonuniformly scale the deadline on each level. We develop a run-time schedulability analysis for FMC-MST under EDF-VD scheduling, in which a better tradeoff between the penalties of low-criticality tasks and the overruns of high-criticality tasks is achieved to improve the service quality of low-criticality tasks. We also develop a resource optimization technique to find resource-efficient level-insertion configurations for FMC-MST task systems under MC timing constraints. Experiments demonstrate the effectiveness of FMC-MST compared with the state-of-the-art techniques.

Original languageEnglish
Article number8413157
Pages (from-to)2393-2403
Number of pages11
JournalIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Issue number11
Publication statusPublished - Nov 2018


  • EDF-VD scheduling
  • flexible mixed-criticality (FMC) system
  • multiple-shot transitions

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design
  • Electrical and Electronic Engineering


Dive into the research topics of 'EDF-VD scheduling of flexible mixed-criticality system with multiple-shot transitions'. Together they form a unique fingerprint.

Cite this