A Design That Incorporates Adaptive Reservation into Mixed-Criticality Systems

Algorithm 4

(1)  if then

(2)   Return

(3)  else if

    then

(4)   

(5)   

(6)   

(7)  else if then

(8)   

(9)   

(10)   end if