package Anomaly_reduce_wcet
public

	with aadlv3;
	with Cheddar_Multicore_Properties;
	with Cheddar_Properties;

	thread T1
		properties
			Dispatch_Protocol => Periodic;
			Compute_Execution_Time=>2ms..2ms;
			Deadline =>3ms;
			Period => 6ms;			
			--Priority =>5;
	end T1;
	thread implementation T1.impl		
	end T1.impl;
	
	thread T2	
		properties
			Dispatch_Protocol => Periodic;
			Compute_Execution_Time=>2ms..2ms;
			Deadline =>2ms;
			Period => 6ms;			
			--Priority =>4;
	end T2;
	thread implementation T2.impl		
	end T2.impl;
	
	thread T3
		properties
			Dispatch_Protocol => Periodic;
			Compute_Execution_Time=>4ms..4ms;
			Deadline =>6ms;
			Period => 6ms;			
			--Priority =>3;
	end T3;
	thread implementation T3.impl		
	end T3.impl;
	
	thread T4	
		properties
			Dispatch_Protocol => Periodic;
			Compute_Execution_Time=>1ms..1ms;
			Deadline =>6ms;
			Period => 6ms;			
			--Priority =>2;
	end T4;
	thread implementation T4.impl		
	end T4.impl;
	
	thread T5
		properties
			Dispatch_Protocol => Periodic;
			Compute_Execution_Time=>1ms..1ms;
			Deadline =>6ms;
			Period => 6ms;			
			--Priority =>1;
	end T5;
	thread implementation T5.impl		
	end T5.impl;
	
	process appli		
	end appli;
	process implementation appli.impl
		subcomponents
			J1:thread T1.impl;
			J2:thread T2.impl;
			J3:thread T3.impl;
			J4:thread T4.impl;
			J5:thread T5.impl;
	end appli.impl;
	

	processor cpu
		properties
			Scheduling_Protocol =>(EDF);
			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_wcet
		
	end reduce_wcet;
	system implementation reduce_wcet.impl
		subcomponents
			process1: process appli.impl;
			cpu_core:system multi_core.impl;
		properties
			Actual_Processor_Binding =>(reference (cpu_core)) applies to process1;
			
	end reduce_wcet.impl;



end Anomaly_reduce_wcet;