Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks

Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review

22 Scopus Citations
View graph of relations

Author(s)

  • Di Liu
  • Jelena Spasic
  • Gang Chen
  • Songran Liu
  • Todor Stefanov
  • Wang Yi

Detail(s)

Original languageEnglish
Article number8247214
Pages (from-to)975-991
Journal / PublicationIEEE Transactions on Computers
Volume67
Issue number7
Publication statusPublished - 1 Jul 2018
Externally publishedYes

Abstract

In this paper, we study the scheduling problem of the imprecise mixed-criticality model (IMC) under earliest deadline first with virtual deadline (EDF-VD) scheduling upon uniprocessor systems. Two schedulability tests are presented. The first test is a concise utilization-based test which can be applied to the implicit deadline IMC task set. The suboptimality of the proposed utilization-based test is evaluated via a widely-used scheduling metric, speedup factors. The second test is a more effective test but with higher complexity which is based on the concept of demand bound function (DBF). The proposed DBF-based test is more generic and can apply to constrained deadline IMC task set. Moreover, in order to address the high time cost of the existing deadline tuning algorithm, we propose a novel algorithm which significantly improve the efficiency of the deadline tuning procedure. Experimental results show the effectiveness of our proposed schedulability tests, confirm the theoretical suboptimality results with respect to speedup factor, and demonstrate the efficiency of our proposed algorithm over the existing deadline tunning algorithm. In addition, issues related to the implementation of the IMC model under EDF-VD are discussed.

Research Area(s)

  • imprecise model, mixed-criticality, Real-time systems

Bibliographic Note

Publication details (e.g. title, author(s), publication statuses and dates) are captured on an “AS IS” and “AS AVAILABLE” basis at the time of record harvesting from the data source. Suggestions for further amendments or supplementary information can be sent to lbscholars@cityu.edu.hk.

Citation Format(s)

Scheduling Analysis of Imprecise Mixed-Criticality Real-Time Tasks. / Liu, Di; Guan, Nan; Spasic, Jelena; Chen, Gang; Liu, Songran; Stefanov, Todor; Yi, Wang.

In: IEEE Transactions on Computers, Vol. 67, No. 7, 8247214, 01.07.2018, p. 975-991.

Research output: Journal Publications and Reviews (RGC: 21, 22, 62)21_Publication in refereed journalpeer-review