package fridge

public 


  thread periodic_task
    properties
         Dispatch_Protocol => Periodic;
  end periodic_task;

  thread implementation periodic_task.Impl
  end periodic_task.Impl;
 


  process implementation Application.Impl
  subcomponents
    thermostat : thread periodic_task.Impl;
    door : thread periodic_task.Impl;
    lamp : thread periodic_task.Impl;
    alarm : thread periodic_task.Impl;
    probe : thread periodic_task.Impl;
  properties
       Deadline => 15 ms applies to thermostat;
       Period => 15 ms applies to thermostat;
       Compute_Execution_Time => 1 ms .. 2 ms applies to thermostat;
       Priority => 70 applies to thermostat;

       Deadline => 30 ms applies to door;
       Period => 30 ms applies to door;
       Compute_Execution_Time => 1 ms .. 2 ms applies to door;
       Priority => 60 applies to door;

       Deadline => 10 ms applies to alarm;
       Period => 10 ms applies to alarm;
       Compute_Execution_Time => 2 ms .. 3 ms applies to alarm;
       Priority => 90 applies to alarm;

       Deadline => 7 ms applies to lamp;
       Period => 7 ms applies to lamp;
       Compute_Execution_Time => 1 ms .. 1 ms applies to lamp;
       Priority => 100 applies to lamp;

       Deadline => 14 ms applies to probe; 
       Period => 14 ms applies to probe;
       Compute_Execution_Time => 1 ms .. 2 ms applies to probe;
       Priority => 80 applies to probe;

  end Application.Impl;

 
  processor cpu
  properties
    Scheduling_Protocol=> HPF;
  end cpu;

  system cold
  end cold;

  system implementation cold.Impl
  subcomponents
    process1 : process application.Impl;
    cpu1 : processor cpu;
  properties
    Actual_Processor_Binding => (reference(cpu1)) applies to process1;
  end cold.Impl;

end fridge;