scenario_dist.aadl 905 Bytes
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
--  This is a scenario file describing the AADL 
--  application sunseeker

--  $Id: scenario_dist.aadl 394 2007-05-31 18:59:00Z zalila $

system sunseeker
properties
  Ocarina_Config::Timeout_Property     => 4000ms;
  Ocarina_Config::Referencial_Files    =>
    ("sunseekercontroller", "sunseekercontroller.ref",
    "sunseekerplant", "sunseekerplant.ref");
  Ocarina_Config::AADL_Files           => 
    ("sunseeker.aadl", "sunseeker_dist.aadl");
  Ocarina_Config::Generator            => polyorb_hi_c;
  Ocarina_Config::Needed_Property_Sets => 
    (value (Ocarina_Config::Data_Model),
     value (Ocarina_Config::Deployment),
18
     value (Ocarina_Config::ARINC653_Properties),
19
20
     value (Ocarina_Config::Cheddar_Properties));
  Ocarina_Config::AADL_Version         => AADLv2;
21
  Ocarina_Config::Use_Components_Library => true;
22
23
24
25
26
end sunseeker;

system implementation sunseeker.Impl
end  sunseeker.Impl;