package mars_pathfinder 

public 

  thread sched_bus
  properties
    Dispatch_Protocol => Periodic;
    Period => 125 ms;
    Deadline => 125 ms;
    Compute_Execution_Time => 1 ms .. 25 ms;
    Priority => 10 ;
  end sched_bus;
  thread implementation sched_bus.Impl
  end sched_bus.Impl;

  
  process Application
  end Application;

  process implementation Application.Impl
  subcomponents
    sched_bus : thread sched_bus.Impl;
  end Application.Impl;


  processor cpu
  properties
    Scheduling_Protocol=>(POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL);
  end cpu;

  system mars
  end mars;

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

end mars_pathfinder;