Linear transformation of conditional real-time tasks

  • Authors:
  • Annie Choquet-Geniet;Christian Fotsing

  • Affiliations:
  • LIAS, University of Poitiers, Poitiers, France;LIAS, ENSMA, Poitiers, France

  • Venue:
  • Proceedings of the 20th International Conference on Real-Time and Network Systems
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

The classical schedulability theory generally considers linear tasks. Scheduling conditional task set is much more intricate. We thus propose a transformation of a conditional task set into a linear task set on which the traditional linear schedulability tools can be used. We prove that this transformation is consistent in the sense that a positive linear schedulability diagnosis is not misleading: if the linear task set is feasible, so was the conditional task set. But the converse does not hold.