thread T1
end T1;

thread implementation T1.Impl
	properties
		Dispatch_Protocol => Periodic;
		Compute_Execution_time =>  7 ms ..  7 ms;
		Cheddar_Properties::Dispatch_Absolute_Time =>  0 ms;
		Cheddar_Properties::POSIX_Scheduling_Policy => SCHED_FIFO;
		Cheddar_Properties::Fixed_Priority =>  1;
		Cheddar_Properties::Bound_On_Data_Blocking_Time =>  0 ms;
		Period =>  29 ms;
		Deadline =>  29 ms;
		Cheddar_Properties::Dispatch_Jitter =>  0 ms;
end T1.Impl;

thread T2
end T2;

thread implementation T2.Impl
	properties
		Dispatch_Protocol => Periodic;
		Compute_Execution_time =>  1 ms ..  1 ms;
		Cheddar_Properties::Fixed_Priority =>  1;
		Period =>  5 ms;
		Deadline =>  5 ms;
end T2.Impl;

thread T3
end T3;

thread implementation T3.Impl
	properties
		Dispatch_Protocol => Periodic;
		Compute_Execution_time =>  2 ms ..  2 ms;
		Cheddar_Properties::Dispatch_Absolute_Time =>  0;
		Cheddar_Properties::POSIX_Scheduling_Policy => SCHED_FIFO;
		Cheddar_Properties::Fixed_Priority =>  1;
		Cheddar_Properties::Bound_On_Data_Blocking_Time =>  0 ms;
		Period =>  10 ms;
		Deadline =>  10 ms;
		Cheddar_Properties::Dispatch_Jitter =>  0 ms;
end T3.Impl;

process ea1
end ea1;

process implementation ea1.Impl
	subcomponents
		instancied_T1 : thread T1.Impl;
		instancied_T2 : thread T2.Impl;
		instancied_T3 : thread T3.Impl;
end ea1.Impl;

processor exo1
end exo1;

processor implementation exo1.Impl
	properties 
		Scheduling_Protocol => RATE_MONOTONIC_PROTOCOL;
		Cheddar_Properties::Scheduler_Quantum =>  0 ms;
		Cheddar_Properties::Preemptive_Scheduler => true;
end exo1.Impl;

system Cheddar
end Cheddar;

system implementation Cheddar.Impl
subcomponents
	instancied_exo1 : processor exo1.Impl;
	instancied_ea1 : process ea1.Impl;
properties
	Actual_Processor_Binding => reference instancied_exo1  applies to instancied_ea1;

end Cheddar.Impl;