scenario_local_xenomai_posix.aadl 834 Bytes
Newer Older
1
--  This is a scenario file describing the AADL
2
3
4
5
6
7
8
9
10
--  application d3_1_3_1

--  $Id: scenario_local.aadl 407 2007-06-19 15:24:28Z delange $

system d3_1_3_1
properties
  Ocarina_Config::Timeout_Property     => 4000ms;
  Ocarina_Config::Referencial_Files    =>
    ("gnc_tmtc_pos", "gnc_tmtc_pos.ref");
11
12
13
  Ocarina_Config::AADL_Files           =>
  ("toy_example.aadl");
  Ocarina_Config::Root_System_Name => "toy_example.xenomai_posix";
14
  Ocarina_Config::Generator            => polyorb_hi_c;
15
  Ocarina_Config::Needed_Property_Sets =>
16
17
18
19
20
21
22
23
24
    (value (Ocarina_Config::Data_Model),
     value (Ocarina_Config::Deployment),
     value (Ocarina_Config::ARINC653_Properties),
     value (Ocarina_Config::Cheddar_Properties));
  Ocarina_Config::AADL_Version         => AADLv2;
end d3_1_3_1;

system implementation d3_1_3_1.Impl
end  d3_1_3_1.Impl;