Linear transformation of conditional real-time tasks
Annie Choquet‐Geniet, Christian Fotsing · 2012
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.