deployment.aadl 2.39 KB
Newer Older
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
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)

17
  Process_ID : aadlinteger applies to (process, device);
18
19
  --  Process identifier (SpaceWire specific)

20
  Channel_Address : aadlinteger applies to (process, device);
21
22
23
24
25
26
27
28
  --  Communication channel address (SpaceWire specific)

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

  Allowed_Execution_Platform : type enumeration
   (Native,        -- Native platforms (GNU/Linux, Solaris, Windows...)
29
    Native_Compcert, -- Native platforms using the Compcert compiler
30
    LEON_RTEMS,    -- LEON2 board or tsim-leon (RTEMS)
31
    LEON3_XTRATUM, -- LEON3 with Xtratum
32
    LEON3_XM3,     -- RTEMS for XTRATUM/LEON3
33
34
    LEON_ORK,      -- LEON2 board or tsim-leon (ORK)
    LEON_GNAT,     -- LEON2 board or qemu (GNATPRO/HI-E)
35
    LINUX32,       -- Linux 32 bits
36
37
    LINUX32_XENOMAI_NATIVE, -- Linux 32 bits with native Xenomai
    LINUX32_XENOMAI_POSIX, -- Linux 32 bits with Xenomai and POSIX skin
38
    LINUX64,       -- Linux 64 bits
39
40
41
    ERC32_ORK,     -- ERC32 board or tsim-erc32 (ORK)
    ARM_DSLINUX,   -- Nintendo DS (tm) (DSLinux)
    ARM_N770,      -- Nokia N770 (tm)
julien.delange's avatar
julien.delange committed
42
    X86_RTEMS,     -- x86 under RTEMS
43
    X86_LINUXTASTE,-- TASTE-specific linux distribution
44
45
    MARTE_OS,      -- MaRTE OS
    VXWORKS        -- VXWORKS
46
47
48
49
    );
  --  Supported platforms

  Execution_Platform : Deployment::Allowed_Execution_Platform 
50
    applies to (all);
51
52
53
54
55
56
57
  --  Execution platform of a processor

  Priority_Type : type aadlinteger 0 .. 255;
 
  Priority : Deployment::Priority_Type applies to (data, thread);
  --  Thread and data component priority

58
59
  Driver_Name : aadlstring applies to (device);

60
  Configuration : aadlstring applies to (device);
61

62
  Config : aadlstring applies to (device);
63

64
65
66
67
68
  ASN1_Module_Name : aadlstring applies to (all);

  Help : aadlstring applies to (all);

  Version : aadlstring applies to (all);
69

70
71
  Configuration_Type : classifier (data) applies to (all);

72
end Deployment;