package Anomaly_reduce_wcet
public

	with Cheddar_Properties;	
	data ressource		
	end ressource;
	data implementation ressource.impl
		properties
			Concurrency_Control_Protocol =>Priority_Ceiling;
	end ressource.impl;

	thread T1
		features
			fe: requires data access ressource.impl;
		properties
			Dispatch_Protocol => Periodic;
			Compute_Execution_Time=>6ms..6ms;
			Deadline => 16ms;
			Period => 16ms;			
			--Priority =>3;
	end T1;
	thread implementation T1.impl		
	end T1.impl;
	
	thread T2	
		features
			fe: requires data access ressource.impl;
		properties
			Dispatch_Protocol => Periodic;
			Compute_Execution_Time=>2ms..2ms;
			Deadline => 6ms;
			Period => 8ms;			
			--Priority =>2;
	end T2;
	thread implementation T2.impl		
	end T2.impl;
	
	thread T3
		properties
			Dispatch_Protocol => Periodic;
			Compute_Execution_Time=>5ms..5ms;
			Deadline => 15ms;
			Period => 16ms;			
			--Priority =>1;
	end T3;
	thread implementation T3.impl		
	end T3.impl;
	
	
	process appli		
	end appli;
	process implementation appli.impl
		subcomponents
			J1:thread T1.impl;
			J2:thread T2.impl;
			J3:thread T3.impl;
			d:data ressource.impl;
		connections
			 cx1: data access d ->J1.fe;
			 cx2: data access d ->J2.fe;
	end appli.impl;
	
	processor cpu
		properties
			Scheduling_Protocol =>(DMS);
			Cheddar_Properties::preemptive_scheduler => true;
	end cpu;
	
	system reduce_resource_ano
		
	end reduce_resource_ano;
	system implementation reduce_resource_ano.impl
		subcomponents
			process1: process appli.impl;
			cpu1: processor cpu;
		properties
			Actual_Processor_Binding =>(reference (cpu1)) applies to process1;
	end reduce_resource_ano.impl;


end Anomaly_reduce_wcet;