----------------------------------------
-- Default AADL_Project Property Set
-- AADL 2.1 (SAE AS-5506 B) 
-- AADL Inspector
-- Ellidiss Technologies
-- Updated: January 2015
----------------------------------------

PROPERTY SET aadl_project IS

  Supported_Concurrency_Control_Protocols : TYPE ENUMERATION (
    PCP,	... ); 

  Supported_Dispatch_Protocols : TYPE ENUMERATION (
	Periodic,  ...);

  Supported_Scheduling_Protocols : TYPE ENUMERATION (
	POSIX_1003_Highest_Priority_First_Protocol, HPF, 
	Rate_Monotonic_Protocol, RMS, RM,  ... );

 ...
 

END aadl_project;