Ticket #14: task_scheduler2.sc

start_section  task2_start :
   partition2_capacity : integer := 10;
   partition2_duration : clock := 0; 
end section;
 

election_section  task2_election :
   return min_to_index(tasks.priority);
end section;


automaton_section  task2_scheduler  :
  Ready : state;
  Pended : initial_state;
    
  transition Pended ==> [ , partition2_duration:=0; ,] ==> Ready;
  transition Ready ==> [partition2_duration < partition2_capacity, ,task2_election! ] ==> Ready;
  transition Ready ==> [partition2_duration=partition2_capacity,  , ] ==> Pended;
end section;