package uni_weak
public
	with Cheddar_Properties;
	thread tache1
		features
			input:in data port;
		properties
			Dispatch_Protocol => Periodic;
			Compute_Execution_Time => 1ms .. 1ms;
			Deadline => 4ms;
			Period => 6ms;
			Priority => 3;
	end tache1;
	thread implementation tache1.impl		
	end tache1.impl;

	thread tache2
		properties
			Dispatch_Protocol => Periodic;
			Compute_Execution_Time => 2ms .. 2ms;
			Deadline => 3ms;
			Period => 3ms;
			Priority => 2;
	end tache2;
	thread implementation tache2.impl		
	end tache2.impl;	
	
	thread tache3
		features
			output:out data port;
		properties
			Dispatch_Protocol => Periodic;
			Compute_Execution_Time => 1ms .. 1ms;
			Deadline => 4ms;
			Period => 6ms;
			Priority => 1;
	end tache3;
	thread implementation tache3.impl		
	end tache3.impl;
	
	process processus		
	end processus;
	process implementation processus.impl
		subcomponents
			T1: thread tache1;
			T2: thread tache2;
			T3: thread tache3;
		connections
			C0:port T3.output ->T1.input;
		properties
			Timing => immediate applies to C0;	
	end processus.impl;
-- 
	processor cpu
		properties
			Scheduling_Protocol =>(POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL);
			Cheddar_Properties::Preemptive_scheduler => false;
	end cpu;
	
	system weak		
	end weak;
	system implementation weak.impl
		subcomponents
			process1:process processus.impl;
			cpu1:processor cpu;
		properties
			Actual_Processor_Binding => (reference (cpu1)) applies to process1;		
	end weak.impl;	
end uni_weak;