package example

public

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

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

  thread implementation T1.impl
  end T1.Impl;

  thread implementation T2.Impl
  end T2.Impl;

  process app
  end app;

  process implementation app.Impl
  subcomponents
    T1 : thread T1.Impl;
    T2 : thread T2.Impl;
  end app.Impl;

  processor cpu
  properties
    Scheduling_Protocol=>RATE_MONOTONIC_PROTOCOL;
  end cpu;

  system asys
  end asys;

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

end example;