package uni_reduce_1
public

	with Cheddar_Properties;

	thread Tache1
		properties
			Dispatch_Protocol => Periodic;
			Deadline => 7 ms;
			Period => 7 ms;
			Compute_Execution_Time => 5 ms .. 5 ms ;
			Priority => 4;
			Dispatch_Jitter => 0 ms;
	end Tache1;
	thread implementation Tache1.impl
	end Tache1.impl;
	
	thread Tache2
		properties
			Dispatch_Protocol => Periodic;
			Deadline => 8 ms;
			Period => 8 ms;
			Compute_Execution_Time => 6 ms .. 6 ms ;
			Priority => 3;
			Dispatch_Jitter => 0 ms;
	end Tache2;
	thread implementation Tache2.impl
	end Tache2.impl;
	
	thread Tache3
		properties
			Dispatch_Protocol => Periodic;
			Deadline => 14 ms;
			Period => 14 ms;
			Compute_Execution_Time => 4 ms .. 4 ms ;
			Priority => 2;
			Dispatch_Jitter => 9 ms;
	end Tache3;
	thread implementation Tache3.impl
	end Tache3.impl;
	
	thread Tache4
		properties
			Dispatch_Protocol => Periodic;
			Deadline => 18 ms;
			Period => 18 ms;
			Compute_Execution_Time => 6 ms .. 6 ms ;
			Priority => 1;
			Dispatch_Jitter => 8 ms;
	end Tache4;
	thread implementation Tache4.impl
	end Tache4.impl;
	
	process application		
	end application;
	process implementation application.impl
		subcomponents
			T1 : thread Tache1.impl;
			T4 : thread Tache4.impl;
	end application.impl;

	process application1		
	end application1;
	process implementation application1.impl
		subcomponents
			T2 : thread Tache2.impl;
			T3 : thread Tache3.impl;
	end application1.impl;

	processor cpu
			properties
			Scheduling_Protocol =>(POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL);
			Cheddar_Properties::Preemptive_Scheduler =>false;
	end cpu;
	system reduce
		
	end reduce;
	system implementation reduce.impl
		subcomponents
			process1:process application.impl;
			process2:process application1.impl;
			cpu1:processor cpu;
			cpu2:processor cpu;
		properties
			Actual_Processor_Binding => (reference (cpu1)) applies to process1;
			Actual_Processor_Binding => (reference (cpu2)) applies to process2;
			
	end reduce.impl;


end uni_reduce_1;