-- Those properties are used to give parameters to Cheddar plugins or 
-- its analysis features
--

property set Cheddar_Parameters_Properties is


    -- Set the time interval on which scheduling simulation has to be computed
    -- by Cheddar tools 
    -- 
    Scheduling_Feasibility_Interval : aadlinteger applies to (system);
	

    -- Select the type of interference we apply when computing WCRT with
    -- feasibility tests
    --
    CRPD_Interference_Type  : type enumeration (No_CRPD, ECB_Only, ECB_Union_Multiset,
			UCB_Union_Multiset, Combined_Multiset);
    CRPD_Interference : Cheddar_Parameters_Properties::CRPD_Interference_Type  applies to (system);  

    Memory_Interference_Type  : type enumeration (No_Memory_Interference,
			DRAM_Single_Arbiter, Kalray_Multi_Arbiter);
    Memory_Interference : Cheddar_Parameters_Properties::Memory_Interference_Type  applies to (system);  


    -- Allow user to select how to compute WCRT with scheduling simulation or with
    -- feasibility tests
    -- 
    Response_Time_From_Scheduling_Simulation : aadlboolean applies to (system);
    Response_Time_From_Feasibility_Test : aadlboolean applies to (system);

	
    -- Properties to customize the scheduling simulations. 
    -- if True, those parameters allow scheduling simulator to take into account 
    -- offset, jitter, CRPD, precedencies and shared resources.
    -- Those parameters have the following default values:
    --    Scheduling_With_Offsets => False
    --    Scheduling_With_Jitters => True
    --    Scheduling_With_CRPD => False
    --    Scheduling_With_Precendencies => True	
    --    Scheduling_With_Resources => True
    --
    Scheduling_With_Offsets : aadlboolean applies to (system);
    Scheduling_With_Jitters : aadlboolean applies to (system);
    Scheduling_With_CRPD : aadlboolean applies to (system);
    Scheduling_With_Precendencies : aadlboolean applies to (system);	
    Scheduling_With_Resources : aadlboolean applies to (system);	


    -- Configure what is the Cheddar working folder.
    -- The property Cheddar_Working_Folder will be used by Cheddar to store any
    -- of its working files. 
    -- 
    Cheddar_Working_Folder : aadlstring applies to (system);


    -- Configure what is the folder where Cheddar binaries and libraries are installed
    -- 
    Cheddar_Install_Folder : aadlstring applies to (system);

	

end Cheddar_Parameters_Properties;