thus is not very amenable to system developers. In particular, it is not straightforward to take into account tasks with complex control flow graphs [13]. Additionally it can not be easily applied in situations where the task-sets are subject to run-time change, since the maximum allowed distance between preemption points is defined by the higher priority workload.
Our work addresses the computation of the preemption delay in systems using preemption triggered floating non-preemptive regions which was previously not covered in the literature.