Input: the active task , readyQ and current time
Output: the slack time for
 Identify the task that has the earliest upcoming deadline among tasks whose
  priorities are not higher than that of ;
CalcLowerPriorityWork(τ β, , );
;
max ;
return ;
Algorithm 2: CalcSlackTime(additional slack ).