A Design That Incorporates Adaptive Reservation into Mixed-Criticality Systems

Algorithm 7

(1)  

(2)  while do

(3)    

(4)    if then

(5)      break the loop

(6)    end if

(7)    

(8)    bit at position in

(9)  end while

(10)  if then

(11)   

(12)   bit at position in

(13)   

(14)  else

(15)   

(16)   

(17)   

(18)  end if