package Anomaly_multicoeur_reduce_wcet
public


	with aadlv3;
	with Cheddar_Multicore_Properties;
	with Cheddar_Properties;
	
	data resource
	end resource;
	data implementation resource.impl
 		--properties
  			--Concurrency_Control_Protocol => Priority_Ceiling;
	end resource.impl;

	thread tache
		features
    		fe: requires data access resource.impl;		
	end tache;
	thread implementation tache.impl
		properties
			Dispatch_Protocol => Periodic;
	end tache.impl;
	
	process mon_process		
	end mon_process;
	process implementation mon_process.impl
		subcomponents
			T1:thread tache.impl
			{	Compute_Execution_Time =>5ms..5ms;
				Deadline => 7ms;
				Period => 18ms;
				Priority =>4;
			};
			T2:thread tache.impl
			{	Compute_Execution_Time =>4ms..4ms;
				Deadline => 8ms;
				Period => 18ms;
				Priority =>3;
			};
			T3:thread tache.impl
			{
				Compute_Execution_Time =>4ms..4ms;
				Deadline => 14ms;
				Period => 18ms;
				Priority =>2;
				Dispatch_Jitter => 4 ms;
			};				
			T4:thread tache.impl
			{
				Compute_Execution_Time =>6ms..6ms;
				Deadline => 18ms;
				Period => 18ms;
				Priority =>1;
				Dispatch_Jitter => 2 ms;
			};	
		 d1:data resource.impl;
		 d2:data resource.impl;
  connections
    cx1: data access d1 ->T1.fe;
    cx2: data access d1 ->T3.fe;
    cx3: data access d2 ->T2.fe;
    cx4: data access d2 ->T4.fe; 
					
			
	end mon_process.impl;

	processor cpu
		properties
			Scheduling_Protocol=>(POSIX_1003_Highest_Priority_First_Protocol);
			Cheddar_Properties::Preemptive_Scheduler => false;
	end cpu;
	processor implementation cpu.impl
	end cpu.impl;

 	system multi_core		
	end multi_core;
	system implementation multi_core.impl
		subcomponents
			cpu1:processor cpu;
			cpu2:processor cpu;
		properties
			aadlv3::System_Soc_Type => SoC_Processing_Unit;
			Cheddar_Multicore_Properties::SoC_Interconnection_Type => Crossbar;
			Cheddar_Multicore_Properties::Migrations_type => Time_Unit_Migration_Type;
    		Cheddar_Multicore_Properties::Processors_type => Identical_Multicores_Type;			
	end multi_core.impl;



	system reduce_global
		
	end reduce_global;
	system implementation reduce_global.impl
		subcomponents
			cpu_core:system multi_core.impl;
			process1:process mon_process.impl;
		properties
			Actual_Processor_Binding =>(reference (cpu_core)) applies to process1;
			
		
	end reduce_global.impl;

end Anomaly_multicoeur_reduce_wcet;