--!TRACE start_section : dynamic_priority : array (tasks_range) of integer; i : integer; end section; priority_section : for i in tasks_range loop dynamic_priority(i) := tasks.start_time(i) + ((tasks.activation_number(i)-1)*tasks.period(i)) + tasks.deadline(i); put(dynamic_priority); end loop; end section; election_section : return min_to_index(dynamic_priority); end section;