scenario.aadl 694 Bytes
Newer Older
jdelange's avatar
jdelange committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
system ping
properties
  Ocarina_Config::Timeout_Property     => 4000ms;
  Ocarina_Config::Use_Components_Library => true;
  Ocarina_Config::Referencial_Files    =>
    ("node_a", "node_a.ref",
    "node_b", "node_b.ref");
  Ocarina_Config::AADL_Files           => 
    ("ping.aadl" , "software.aadl");
  Ocarina_Config::Generator            => polyorb_hi_c;
  Ocarina_Config::Needed_Property_Sets => 
    (value (Ocarina_Config::Data_Model),
     value (Ocarina_Config::ARINC653_Properties),
     value (Ocarina_Config::Deployment),
     value (Ocarina_Config::Cheddar_Properties));
  Ocarina_Config::AADL_Version         => AADLv2;
end ping;

system implementation ping.impl
end  ping.impl;