****************************************************** AADL Standard AADL_V1.0 Appendix A (normative) Predeclared Property Sets 03Nov04 Revised 14May06 ****************************************************** The following are example software source languages. ( Ada95, C, Simulink_6_5 ) one of the choices of Supported_Active_Thread_Handling_Protocols. a subset may be supported. The following are example protocols. (HTTP, HTTPS, UDP, IP_TPC); phf : NoneSpecified instead of None The following are example concurrency control protocols. (Interrupt_Masking, Maximum_Priority, Priority_Inheritance, Priority_Ceiling) The following are protocols for which the semantics are defined. (Periodic, Sporadic, Aperiodic, Background); The following is an example hardware description language. (VHDL) phf A26: added The Supported_Queue_Processing_Protocols property enumeration type specifies the set of queue processing protocols that are supported. The following are example scheduling protocols. (RMS, EDF, Sporadicserver, SlackServer, ARINC653)