package main

public 
with Cheddar_Parameters_Properties;
with Cheddar_Properties;

    data dta1
    end dta1;

    data implementation dta1.Impl
    properties 
      Concurrency_Control_Protocol => Priority_Ceiling;      
    end dta1.Impl;

	system root
	end root;
	
	system implementation root.impl
		subcomponents
			p1: process proc.impl;
			cpu: processor cpu;
		properties
			Actual_Processor_Binding => (reference(cpu)) applies to p1;
			
			Cheddar_Parameters_Properties::Scheduling_Feasibility_Interval => 100;
			Cheddar_Parameters_Properties::Response_Time_From_Scheduling_Simulation => true;
			Cheddar_Parameters_Properties::Cheddar_Working_Folder 
	   			=> "C:\\Users\\singhoff//Desktop//Cheddar_Bin//";
			Cheddar_Parameters_Properties::Cheddar_Install_Folder 
	   			=> "C:\\Users\\singhoff//Desktop//Cheddar_Bin//";
	end root.impl;
				
	processor cpu
		properties
			Scheduling_Protocol => (RMS);
	end cpu;
	
	process proc
	end proc;
	
	process implementation proc.impl
		subcomponents
			t1: thread th1;
			t2: thread th1;	
			d1 : data  dta1.impl;
		connections
    		cx1 : data access d1 -> t1.d;	
    		cx2 : data access d1 -> t2.d;	
		properties
			Cheddar_Properties::Critical_Section_Time => 1 ms .. 9 ms 
				applies to t1.d; 
			Cheddar_Properties::Critical_Section_Time => 2 ms .. 4 ms 
				applies to t2.d;
    end proc.impl;	
    
	thread th1
		features
			d: requires data access dta1;
	end th1;
			
		
end main;