deployment.aadl 4.13 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
property set Deployment is

  Allowed_Transport_APIs : type enumeration
    (BSD_Sockets,
     SpaceWire);
  -- Supported transport API

  Transport_API : Deployment::Allowed_Transport_APIs applies to (bus);
  --  Transport API of a bus

  Location : aadlstring applies to (processor, device);
  --  Processor IP address (BSD_Sockets specific)

  Port_Number : aadlinteger applies to (process, device);
  --  IP port number of a process (BSD_Sockets specific)

  Protocol_Type : type enumeration (iiop, diop);
  --  Supported communication protocols
  Protocol : Deployment::Protocol_Type applies to (system);

  Allowed_Execution_Platform : type enumeration
22
23
24
   (Native,                   -- Native platforms (GNU/Linux, Solaris, Windows...)
    Native_Compcert,          -- Native platforms using the Compcert compiler
    bench,                    -- Benchmark platform (native with instrumentation).
25
    GNAT_Runtime,             -- Use a GNAT Runtime, e.g. from the Ada_Drivers_Library
Maxime Perrotin's avatar
Maxime Perrotin committed
26
    RPI,                      -- For RPi xcompilation.
27
    LEON_ORK,
28
29
    LEON_RTEMS,               -- LEON2 board or tsim-leon (RTEMS)
    LEON_RTEMS_POSIX,         -- LEON2 board or tsim-leon (RTEMS)
jdelange's avatar
   
jdelange committed
30
    LEON3_SCOC3,              -- LEON3 with RTEMS for SCOC3
31
32
33
34
    LEON3_XTRATUM,            -- LEON3 with Xtratum
    LEON3_XM3,                -- RTEMS for XTRATUM/LEON3
    LEON_GNAT,                -- LEON2 board or qemu (GNATPRO/HI-E)
    LINUX32,                  -- Linux 32 bits
35
    LINUX_DLL,                -- Linux Dynamic Library
36
37
38
39
40
41
42
    LINUX32_XENOMAI_NATIVE,   -- Linux 32 bits with native Xenomai
    LINUX32_XENOMAI_POSIX,    -- Linux 32 bits with Xenomai and POSIX skin
    LINUX64,                  -- Linux 64 bits
    ERC32_ORK,                -- ERC32 board or tsim-erc32 (ORK)
    X86_RTEMS_POSIX,          -- x86 under RTEMS with POSIX layer
    X86_LINUXTASTE,           -- TASTE-specific linux distribution
    MARTE_OS,                 -- MaRTE OS
43
    WIN32,                    -- WIN32
44
    VXWORKS,                  -- VXWORKS
yoogx's avatar
yoogx committed
45
    FREERTOS,                 -- FREERTOS
Maxime Perrotin's avatar
Maxime Perrotin committed
46
    MSP430_FREERTOS,          -- MSP430 board with FreeRTOS
47
    AIR,                      -- AIR Hypervisor, by GMV
Thanassis Tsiodras's avatar
Thanassis Tsiodras committed
48
49
    AIR_IOP,                  -- AIR IOP partition
    ZYNQZC706_RTEMS,          -- Zynq support, for CoRA-MBAD
Thanassis Tsiodras's avatar
Thanassis Tsiodras committed
50
    ZYNQ_RTEMS_QEMU,          -- Zynq support, for CoRA-MBAD, for QEMU
51
    MSP430_FREERTOS,          -- MSP430 board with FreeRTOS
Rafal Babski's avatar
Rafal Babski committed
52
53
    GENERIC_LINUX,            -- Linux generic
    SAMV71_FREERTOS           -- SAM V71 with FreeRTOS
54
55
56
    );
  --  Supported platforms

57
  Execution_Platform : Deployment::Allowed_Execution_Platform
58
    applies to (all);
59
60
  --  Execution platform of a processor

61
  Ada_Runtime : aadlstring applies to (processor);
62
63
64
65
66
67
68
  --  If Execution_Platform is set to GNAT_Runtime, this property
  --  points to the name of the GNAT Project file that configures the
  --  Ada_Runtime, e.g. from the Ada Device Drivers project.

  USER_CFLAGS : aadlstring applies to (processor);
  USER_LDFLAGS : aadlstring applies to (processor);
  --  User defined CFLAGS and LDFLAGS
69

70
71
72
73
  Supported_Execution_Platform : list of Deployment::Allowed_Execution_Platform
    applies to (device);
  --  List execution platforms supported by a particular driver

74
75
76
77
78
  USER_ENV: aadlstring applies to (processor);
  --  Additional configuration parameters passed as environment
  --  variables as part of the build phase. These env. variables are
  --  passed in the generated makefiles.

79
80
81
82
83
84
85
86
87
  Runtime : type enumeration
    (PolyORB_HI_C,
     PolyORB_HI_Ada,
     POK);
  --  List of supported runtime

  Supported_Runtime : Deployment::Runtime applies to (all);
  --  List the runtime compatible with the component

88
  Priority_Type : type aadlinteger 0 .. 255;
89

90
91
92
  Priority : Deployment::Priority_Type applies to (data, thread);
  --  Thread and data component priority

93
94
  Driver_Name : aadlstring applies to (device);

yoogx's avatar
yoogx committed
95
  Configuration : aadlstring applies to (device, thread);
96

97
  Config : aadlstring applies to (device);
98

99
100
101
102
103
  ASN1_Module_Name : aadlstring applies to (all);

  Help : aadlstring applies to (all);

  Version : aadlstring applies to (all);
104

105
106
  Configuration_Type : classifier (data) applies to (all);

107
end Deployment;