|
| 1 | +--****************************************************** |
| 2 | +-- AADL Standard AADL_V1.0 |
| 3 | +-- Appendix A (normative) |
| 4 | +-- Predeclared Property Sets |
| 5 | +-- 03Nov04 |
| 6 | +-- Revised 14May06 |
| 7 | +--****************************************************** |
| 8 | +property set AADL_Project is |
| 9 | + Default_Active_Thread_Handling_Protocol: constant Supported_Active_Thread_Handling_Protocols=> abort; |
| 10 | + -- The following are example software source languages. |
| 11 | + -- ( Ada95, C, Simulink_6_5 ) |
| 12 | + Max_Aadlinteger: constant aadlinteger => 2#1#e32; |
| 13 | + Max_Base_Address: constant aadlinteger => 2#1#e32; |
| 14 | + Max_Memory_Size: constant aadlinteger Size_Units=> 2#1#e32 B; |
| 15 | + Max_Queue_Size: constant aadlinteger => 512; |
| 16 | + Max_Thread_Limit: constant aadlinteger => 32; |
| 17 | + Max_Time: constant aadlinteger Time_Units=> 1000 Hr; |
| 18 | + Max_Urgency: constant aadlinteger => 12; |
| 19 | + Max_Word_Count: constant aadlinteger => 2#1#e32; |
| 20 | + Max_Word_Space: constant aadlinteger => 64; |
| 21 | + -- one of the choices of Supported_Active_Thread_Handling_Protocols. |
| 22 | + Supported_Active_Thread_Handling_Protocols: type enumeration (abort, complete_one_flush_queue, complete_one_transfer_queue, complete_one_preserve_queue, complete_all); |
| 23 | + -- a subset may be supported. |
| 24 | + Supported_Connection_Protocols: type enumeration (HTTP, HTTPS, UDP, IP_TCP); |
| 25 | + -- The following are example protocols. |
| 26 | + -- (HTTP, HTTPS, UDP, IP_TPC); |
| 27 | + Supported_Concurrency_Control_Protocols: type enumeration (NoneSpecified, Interrupt_Masking); |
| 28 | + -- phf : NoneSpecified instead of None |
| 29 | + -- The following are example concurrency control protocols. |
| 30 | + -- (Interrupt_Masking, Maximum_Priority, Priority_Inheritance, Priority_Ceiling) |
| 31 | + Supported_Dispatch_Protocols: type enumeration (Periodic, Aperiodic, Sporadic, Background); |
| 32 | + -- The following are protocols for which the semantics are defined. |
| 33 | + -- (Periodic, Sporadic, Aperiodic, Background); |
| 34 | + Supported_Hardware_Source_Languages: type enumeration (VHDL); |
| 35 | + -- The following is an example hardware description language. |
| 36 | + -- (VHDL) |
| 37 | + -- phf A26: added |
| 38 | + Supported_Queue_Processing_Protocols: type enumeration (FIFO); |
| 39 | + -- The Supported_Queue_Processing_Protocols property enumeration type specifies the set of queue processing protocols that are supported. |
| 40 | + Supported_Scheduling_Protocols: type enumeration (RMS, EDF, Sporadicserver, SlackServer, ARINC653); |
| 41 | + -- The following are example scheduling protocols. |
| 42 | + -- (RMS, EDF, Sporadicserver, SlackServer, ARINC653) |
| 43 | + Supported_Source_Languages: type enumeration (Ada95, C, Simulink_6_5); |
| 44 | + Size_Units: type units (Bits, B => Bits * 8, KB => B * 1000, MB => KB * 1000, GB => MB * 1000); |
| 45 | + Time_Units: type units (ps, Ns => ps * 1000, Us => Ns * 1000, Ms => Us * 1000, Sec => Ms * 1000, Min => Sec * 60, Hr => Min * 60); |
| 46 | +end AADL_Project; |
0 commit comments