package Period_increase_global
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 =>2ms..2ms;
				Deadline => 3ms;
				Period => 3ms;
				Priority =>3;
			};
			T2:thread tache.impl
			{
				Compute_Execution_Time =>2ms..2ms;
				Deadline => 4ms;
				Period => 4ms;
				Priority =>2;
			};
			T3:thread tache.impl
			{
				Compute_Execution_Time =>7ms..7ms;
				Deadline => 12ms;
				Period => 12ms;
				Priority =>1;
			};
			
	end application.impl;
	
	processor cpu
		properties
			Scheduling_Protocol=>(POSIX_1003_Highest_Priority_First_Protocol);
			Cheddar_Properties::Preemptive_Scheduler => true;			
	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 period_increase
		
	end period_increase;
	system implementation 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 => (POSIX_1003_Highest_Priority_First_Protocol) applies to multi_cpu;	
		
	end period_increase.impl;
end Period_increase_global;