package Anomaly_wcet_non_preemptive
public


	with Cheddar_Properties;	
	thread Tache1
		properties
			Dispatch_Protocol => Periodic;
			Deadline => 3 ms;
			Period => 3 ms;
			Compute_Execution_Time => 1 ms .. 1 ms ;
			Priority => 3;
	end Tache1;
	thread implementation Tache1.impl
	end Tache1.impl;
	
	thread Tache2
		properties
			Dispatch_Protocol => Periodic;
			Deadline => 6 ms;
			Period => 6 ms;
			Compute_Execution_Time => 1 ms .. 1 ms ;
			Priority => 2;
	end Tache2;
	thread implementation Tache2.impl
	end Tache2.impl;
	
	thread Tache3
		properties
			Dispatch_Protocol => Periodic;
			Deadline => 12 ms;
			Period => 12 ms;
			Compute_Execution_Time => 4 ms .. 4 ms ;
			Priority => 1;
	end Tache3;
	thread implementation Tache3.impl
	end Tache3.impl;
	
	process application
		
	end application;
	process implementation application.impl
		subcomponents
			T1 : thread Tache1.impl;
			T2 : thread Tache2.impl;
			T3 : thread Tache3.impl;
	end application.impl;
	processor cpu
			properties
			Scheduling_Protocol =>(POSIX_1003_HIGHEST_PRIORITY_FIRST_PROTOCOL);
			Cheddar_Properties::Preemptive_Scheduler =>false;
	end cpu;
	system reduce
		
	end reduce;
	system implementation reduce.impl
		subcomponents
			process1:process application.impl;
			cpu1:processor cpu;
		properties
			Actual_Processor_Binding => (reference (cpu1)) applies to process1;
	end reduce.impl;


end Anomaly_wcet_non_preemptive;