package execution_time_J2_2
public
	with aadlv3;
	with Cheddar_Multicore_Properties;
	with Cheddar_Properties;
	
	thread tache
		features
			input: in event port;
			output : out event port;
		properties
			Dispatch_Protocol => Aperiodic;
	end tache;
	thread implementation tache.impl		
	end tache.impl;
	
	process application		
	end application;
	process implementation application.impl
		subcomponents
			J1: thread tache.impl
			{	Compute_Execution_Time =>5ms .. 5ms;
				Activate_Execution_Time => 0ms..0ms;
				Deadline => 10ms;
--				Period => 10ms;
				Priority =>6;
			};
			J2: thread tache.impl
			{	Compute_Execution_Time =>2ms .. 2ms;
				Activate_Execution_Time => 0ms..0ms;
				Deadline => 10ms;
--				Period => 10ms;
				Priority =>5;
			};
			J3: thread tache.impl
			{	Compute_Execution_Time =>8ms .. 8ms;
				Activate_Execution_Time => 4ms..4ms;
				Deadline => 15ms;
--				Period => 15ms;
				Priority =>4;
			};
			J4: thread tache.impl
			{	Compute_Execution_Time =>10ms .. 10ms;
				Activate_Execution_Time => 0ms..0ms;
				Deadline => 20ms;
--				Period => 20ms;
				Priority =>3;			
			};
			J5: thread tache.impl
			{	Compute_Execution_Time =>100ms .. 100ms;
				Activate_Execution_Time => 5ms..5ms;
				Deadline => 200ms;
--				Period => 200ms;
				Priority =>2;	
			};
			J6: thread tache.impl
			{	Compute_Execution_Time =>2ms .. 2ms;
				Activate_Execution_Time => 7ms..7ms;
				Deadline => 25ms;
--				Period => 25ms;
				Priority =>1;
			};
			
	end application.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 time_J2_2
	
	end time_J2_2;
	system implementation time_J2_2.impl
		subcomponents
			process1:process application.impl;
			cpu_core:system multi_core.impl;
		properties
			Actual_Processor_Binding =>(reference (cpu_core)) applies to process1;
			Scheduling_Protocol => (POSIX_1003_Highest_Priority_First_Protocol) applies to cpu_core;
			
	end time_J2_2.impl;
	
end execution_time_J2_2;