package sampling_coms 

public 

  thread writer
  end writer;

  thread reader
  end reader;

  thread implementation reader.impl
  end reader.impl;

  thread implementation writer.impl
  end writer.impl;

  process application
  end application;

  process implementation application.impl
  subcomponents
    P1 : thread writer.impl;
    C1 : thread reader.impl; 
  properties
    Dispatch_Protocol => Periodic applies to P1;
    Deadline => 10 ms applies to P1;
    Period => 10 ms applies to P1;
    Compute_Execution_Time => 1 ms .. 5 ms applies to P1;
    Priority => 20 applies to P1;

    Dispatch_Protocol => Periodic applies to C1;
    Deadline => 20 ms applies to C1;
    Period => 20 ms applies to C1;
    Compute_Execution_Time => 2 ms .. 2 ms applies to C1;
    Priority => 10 applies to C1;
  end application.impl;

 
  processor cpu
  properties
    Scheduling_Protocol=>POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL;
  end cpu;

  system smpl
  end smpl;

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

end sampling_coms;