deployment.aadl 3.37 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
  --  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
28 29 30 31 32
   (Native,                   -- Native platforms (GNU/Linux, Solaris, Windows...)
    Native_Compcert,          -- Native platforms using the Compcert compiler
    bench,                    -- Benchmark platform (native with instrumentation).
    LEON_RTEMS,               -- LEON2 board or tsim-leon (RTEMS)
    LEON_RTEMS_POSIX,         -- LEON2 board or tsim-leon (RTEMS)
jdelange's avatar
 
jdelange committed
33
    LEON3_SCOC3,              -- LEON3 with RTEMS for SCOC3
34 35 36 37 38 39 40 41 42 43 44
    LEON3_XTRATUM,            -- LEON3 with Xtratum
    LEON3_XM3,                -- RTEMS for XTRATUM/LEON3
    LEON_ORK,                 -- LEON2 board or tsim-leon (ORK)
    LEON_GNAT,                -- LEON2 board or qemu (GNATPRO/HI-E)
    LINUX32,                  -- Linux 32 bits
    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)
    ARM_DSLINUX,              -- Nintendo DS (tm) (DSLinux)
    ARM_N770,                 -- Nokia N770 (tm)
45 46
    GUMSTIX_RTEMS,            -- Gumstix under RTEMS
    NDS_RTEMS,                -- Nintendo DS under RTEMS
47 48 49 50
    X86_RTEMS,                -- x86 under RTEMS
    X86_RTEMS_POSIX,          -- x86 under RTEMS with POSIX layer
    X86_LINUXTASTE,           -- TASTE-specific linux distribution
    MARTE_OS,                 -- MaRTE OS
51
    WIN32,                    -- WIN32
52
    VXWORKS                   -- VXWORKS
53 54 55
    );
  --  Supported platforms

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

60 61 62 63 64 65 66 67 68 69 70 71 72
  Supported_Execution_Platform : list of Deployment::Allowed_Execution_Platform
    applies to (device);
  --  List execution platforms supported by a particular driver

  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

73
  Priority_Type : type aadlinteger 0 .. 255;
74

75 76 77
  Priority : Deployment::Priority_Type applies to (data, thread);
  --  Thread and data component priority

78 79
  Driver_Name : aadlstring applies to (device);

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

82
  Config : aadlstring applies to (device);
83

84 85 86 87 88
  ASN1_Module_Name : aadlstring applies to (all);

  Help : aadlstring applies to (all);

  Version : aadlstring applies to (all);
89

90 91
  Configuration_Type : classifier (data) applies to (all);

92
end Deployment;