package Anomaly_multi_increase_period
public
	with aadlv3;
	with Cheddar_Multicore_Properties;
	with Cheddar_Properties;
	
	thread tache		
	end tache;
	thread implementation tache.impl
		properties
			Dispatch_Protocol => Periodic;
	end tache.impl;
	
	process application		
	end application;
	process implementation application.impl
		subcomponents
			T1:thread tache.impl
			{
				Compute_Execution_Time =>1ms..1ms;
				Deadline => 2ms;
				Period => 5ms;
				Priority =>3;
			};
			T2:thread tache.impl
			{
				Compute_Execution_Time =>3ms..3ms;
				Deadline => 3ms;
				Period => 5ms;
				Priority =>2;
			};
			T3:thread tache.impl
			{
				Compute_Execution_Time =>7ms..7ms;
				Deadline => 8ms;
				Period => 20ms;
				Priority =>1;
			};
			
	end application.impl;
	
	processor cpu
		properties
			Scheduling_Protocol=>(DMS);
			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 ano_period_increase
		
	end ano_period_increase;
	system implementation ano_period_increase.impl
		subcomponents
			multi_cpu:system multi_core.impl;
			process1:process application.impl;
		properties
			Actual_Processor_Binding =>(reference (multi_cpu)) applies to process1;
			Scheduling_Protocol => (DMS) applies to multi_cpu;	
		
	end ano_period_increase.impl;



end Anomaly_multi_increase_period;