scenario-compcert.aadl 660 Bytes
Newer Older
1
2
3
package scenario
public
  with Ocarina_Config;
4

5
6
7
8
  system rma
  properties
    Ocarina_Config::Timeout_Property     => 4000ms;
    Ocarina_Config::Referencial_Files    =>
9
    ("node_a", "node_a.ref");
10
    Ocarina_Config::AADL_Files           =>
11
12
    ("rma.aadl");
    Ocarina_Config::Root_System_Name     => "rma.compcert";
13
14
15
16
17
18
19
    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         => AADLv2;
  end rma;
20

21
22
  system implementation rma.Impl
  end rma.Impl;
23

24
end scenario;