package refrigerateur

public 


  thread tache_periodique
    properties
         Dispatch_Protocol => Periodic;
  end tache_periodique;

  thread implementation tache_periodique.Impl
  end tache_periodique.Impl;
 


  process implementation Application.Impl
  subcomponents
    thermostat : thread tache_periodique.Impl;
    porte : thread tache_periodique.Impl;
    lampe : thread tache_periodique.Impl;
    alarme : thread tache_periodique.Impl;
    sonde : thread tache_periodique.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 porte;
       Period => 30 ms applies to porte;
       Compute_Execution_Time => 1 ms .. 2 ms applies to porte;
       Priority => 60 applies to porte;

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

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

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

  end Application.Impl;

 
  processor cpu
  properties
    Scheduling_Protocol=> HPF;
  end cpu;

  system froid
  end froid;

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

end refrigerateur;