Next: , Previous: Standard AADL property files, Up: Top


Annexe B Ocarina AADL property files

B.1 ARAO

     
     --  Property set for ARAO features
     
     property set ARAO is
     
       simple_type   : type enumeration
        (boolean,
         character,
         float,
         fixed,
         integer,
         null,
         string,
         wide_character,
         wide_string);
       --  Supported data types
     
       data_type     : simple_type applies to (data);
       --  Available data type
     
       data_digits   : aadlinteger applies to (data);
       data_scale    : aadlinteger applies to (data);
       --  Properties for fixed point types
     
       max_length    : aadlinteger applies to (data);
       --  Max length for string data
     
       symbolic_values : list of aadlstring applies to (data);
       --  Special values for data defined following AADL standard specs
     
       location    : aadlstring applies to (processor);
       --  Processor network's address
     
       port_number : aadlinteger applies to (process);
       --  Port number used by a node
     
       process_id : aadlinteger applies to (process);
       --  Identifier of the process (used by SpaceWire)
     
       channel_address : aadlinteger applies to (process);
       --  SpaceWire channel address
     
       protocol_type : type enumeration (iiop, diop);
       --  Available communication protocol implementations
     
       protocol      : protocol_type applies to (system);
       --  Protocol implementation used for communications
       --  currently only support GIOP implementations
     
       priority_type : type aadlinteger 0 .. 255;
     
       priority      : priority_type applies to (data, thread);
       --  Thread and data component priority
     
       Level_A : constant priority_type => 250;
       Level_B : constant priority_type => 190;
       Level_C : constant priority_type => 130; --  Default
       Level_D : constant priority_type => 70;
       Level_E : constant priority_type => 10;
       --  Some predefined priorities
     
       Allowed_Execution_Platform : type enumeration
        (Native,
         LEON,
         ERC_32);
       --  Available platform to which distributed applications can be
       --  generated.
     
       Execution_Platform : Allowed_Execution_Platform applies to (processor);
       --  The execution platform of a distributed application
     
       Allowed_Transport_Layers : type enumeration
         (Ethernet,
          SpaceWire,
          Serial);
       --  Available transport layers
     
       Transport_Layer : Allowed_Transport_Layers applies to (bus);
       --  The transport layer of a bus component
     
       IP_Address : access aadlstring applies to (bus);
       --  IPv4 address of a network card
     
       MAC_Address : access aadlstring applies to (bus);
       --  MAC id. of a network card
     
       Memory_Size : Size applies to (memory);
       --  Memory size 
     
     end ARAO;