scenario-local.aadl 636 Bytes
Newer Older
1 2 3 4 5 6 7 8
package Scenario
public
  with Ocarina_Config;

  system ping
  properties
    Ocarina_Config::Timeout_Property     => 4000ms;
    Ocarina_Config::Referencial_Files    =>
9
    ("node_a", "node_a_local.ref");
10
    Ocarina_Config::AADL_Files           =>
11
    ("ping-local.aadl" , "software.aadl");
12 13 14 15 16 17 18
    Ocarina_Config::Generator            => polyorb_hi_c;
    Ocarina_Config::Needed_Property_Sets =>
    (Ocarina_Config::Data_Model,
     Ocarina_Config::Deployment,
     Ocarina_Config::Cheddar_Properties);
    Ocarina_Config::AADL_Version         => AADLv1;
  end ping;
19

20 21
  system implementation ping.impl
  end  ping.impl;
22

23
end scenario;