package producteur_consommateur 

public 

  thread Producteur
    properties
    Dispatch_Protocol => Periodic;
    Period => 10 ms;
    Deadline => 10 ms;
    Compute_Execution_Time => 1 ms .. 3 ms;
    Priority => 10 ;
  end Producteur;

  thread Consommateur
    properties
    Dispatch_Protocol => Periodic;
    Period => 10 ms;
    Deadline => 10 ms;
    Compute_Execution_Time => 1 ms .. 2 ms;
    Priority => 20 ;
  end Consommateur;

  thread implementation Producteur.Impl
  end Producteur.Impl;

  thread implementation Consommateur.Impl
  end Consommateur.Impl;

  process Application
  end Application;

  process implementation Application.Impl
  subcomponents
    P1 : thread Producteur.Impl;
    C1 : thread Consommateur.Impl;
  end Application.Impl;

  processor cpu
  properties
    Scheduling_Protocol=>POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL;
  end cpu;

  system prodcons
  end prodcons;

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

end producteur_consommateur;