package reduce_wcet_resource
public
		
	data ressource		
	end ressource;
	data implementation ressource.impl
		properties
			Concurrency_Control_Protocol =>Priority_Ceiling;
	end ressource.impl;

	thread T1
		properties
			Dispatch_Protocol => Periodic;
			Period => 17ms;
			Compute_Execution_Time=>5ms..5ms;
			Priority =>2;
	end T1;
	thread implementation T1.impl		
	end T1.impl;
	
	thread T2	
		features
			fe: requires data access ressource.impl;
		properties
			Dispatch_Protocol => Periodic;
			Period => 17ms;
			Compute_Execution_Time=>6ms..6ms;
			Priority =>1;
	end T2;
	thread implementation T2.impl		
	end T2.impl;
	
	thread T3
		properties
			Dispatch_Protocol => Periodic;
			Period => 17ms;
			Compute_Execution_Time=>5ms..5ms;
			Priority =>3;
	end T3;
	thread implementation T3.impl		
	end T3.impl;
	
	thread T4	
		features
			fe: requires data access ressource.impl;
		properties
			Dispatch_Protocol => Periodic;
			Period => 17ms;
			Compute_Execution_Time=>4ms..4ms;
			Priority =>2;
	end T4;
	thread implementation T4.impl		
	end T4.impl;
	
	thread T5
		properties
			Dispatch_Protocol => Periodic;
			Period => 17ms;
			Compute_Execution_Time=>8ms..8ms;
			Priority =>1;
	end T5;
	thread implementation T5.impl		
	end T5.impl;
	
	process appli1		
	end appli1;
	process implementation appli1.impl
		subcomponents
			J1:thread T1.impl;
			J2:thread T2.impl;
			d:data ressource.impl;
		connections
			 cx1: data access d ->J2.fe;
	end appli1.impl;
	
	process appli2		
	end appli2;
	process implementation appli2.impl
		subcomponents
			J3:thread T3.impl;
			J4:thread T4.impl;
			J5:thread T5.impl;
			d:data ressource.impl;
		connections
			 cx2: data access d ->J4.fe;
	end appli2.impl;
	
	processor cpu
		properties
			Scheduling_Protocol =>(POSIX_1003_Highest_Priority_First_Protocol);
	end cpu;
	
	system reduce_resource
		
	end reduce_resource;
	system implementation reduce_resource.impl
		subcomponents
			process1: process appli1.impl;
			process2: process appli2.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_resource.impl;
end reduce_wcet_resource;