package uni_reduce
public	

	with Cheddar_Properties;

	
	thread Tache1
		properties
			Dispatch_Protocol => Periodic;
			Deadline => 18 ms;
			Period => 18 ms;
			Compute_Execution_Time => 5 ms .. 5 ms ;
			Priority => 2;
	end Tache1;
	thread implementation Tache1.impl
	end Tache1.impl;
	
	thread Tache2
		properties
			Dispatch_Protocol => Periodic;
			Deadline => 6 ms;
			Period => 6 ms;
			Compute_Execution_Time => 2 ms .. 2 ms ;
			Priority => 3;
	end Tache2;
	thread implementation Tache2.impl
	end Tache2.impl;
	
	thread Tache3
		features
			output:out data port;
		properties
			Dispatch_Protocol => Periodic;
			Deadline => 18 ms;
			Period => 18 ms;
			Compute_Execution_Time => 1 ms .. 1 ms ;
			Priority => 1;
	end Tache3;
	thread implementation Tache3.impl
	end Tache3.impl;
	
	thread Tache4
		features
			input:in data port;
		properties
			Dispatch_Protocol => Periodic;
			Deadline => 18 ms;
			Period => 18 ms;
			Compute_Execution_Time => 5 ms .. 5 ms ;
			Priority => 4;
	end Tache4;
	thread implementation Tache4.impl
	end Tache4.impl;
	
	process application
		
	end application;
	process implementation application.impl
		subcomponents
			T1 : thread Tache1.impl;
			T2 : thread Tache2.impl;
			T3 : thread Tache3.impl;
			T4 : thread Tache4.impl;			
		connections
			C0: port T3.output ->T4.input;
		properties
		Timing => immediate applies to C0;
	end application.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;
			cpu1:processor cpu;
		properties
			Actual_Processor_Binding => (reference (cpu1)) applies to process1;
	end reduce.impl;
end uni_reduce;