package test_cheddaradl_entities_properties

public
with Cheddar_Properties;

  thread ordo_bus
  properties
    Dispatch_Protocol => Periodic;
    Period => 125 ms;
    Cheddar_Properties::Completion_Time => 15 ms;
    Cheddar_Properties::Dispatch_Jitter => 15 ms;
    Deadline => 125 ms;
    Compute_Execution_Time => 1 ms .. 25 ms;
    Priority => 10;
    POSIX_Scheduling_Policy => SCHED_RR;
  end ordo_bus;
  thread implementation ordo_bus.Impl
  end ordo_bus.Impl;

  
  process Application
  end Application;

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



  system mars
  end mars;

  system implementation mars.Impl
  subcomponents
    process1 : process application.Impl;
  end mars.Impl;
  
	
end test_cheddaradl_entities_properties;