DeploymentView.aadl 5.95 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
---------------------------------------------------
-- AADL2.0
-- TASTE
-- (c)Ellidiss Technologies
-- 
---------------------------------------------------

PACKAGE deploymentview::DV::Node1
PUBLIC

WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS node1
END node1;

PROCESS IMPLEMENTATION node1.others
END node1.others;

DEVICE generic_sockets_ip
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "698 1493";
  };
PROPERTIES
  Taste::Interface_Coordinates => "711 1734" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"", address ""127.0.0.1"", port 5488}";
32
  Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65
  Deployment::Version => "0.1beta";
END generic_sockets_ip;

DEVICE IMPLEMENTATION generic_sockets_ip.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END generic_sockets_ip.others;

END deploymentview::DV::Node1;

PACKAGE deploymentview::DV::Node2
PUBLIC

WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS node2
END node2;

PROCESS IMPLEMENTATION node2.others
END node2.others;

DEVICE generic_sockets_ip
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "2247 1452";
  };
PROPERTIES
  Taste::Interface_Coordinates => "2261 1734" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{devname ""eth0"", address ""127.0.0.1"", port 5489}";
66
  Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109
  Deployment::Version => "0.1beta";
END generic_sockets_ip;

DEVICE IMPLEMENTATION generic_sockets_ip.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END generic_sockets_ip.others;

END deploymentview::DV::Node2;

PACKAGE deploymentview::DV
PUBLIC

WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH deploymentview::DV::Node2;
WITH ocarina_buses;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM Node1
FEATURES
  generic_sockets_ip_pohic_ip_i : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END Node1;

SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
  IV_F1 : SYSTEM interfaceview::IV::F1.others {
    Taste::coordinates => "200 518 585 1036";
    Taste::FunctionName => "F1";
  };
  IV_F3 : SYSTEM interfaceview::IV::F3.others {
    Taste::coordinates => "995 513 1293 1072";
    Taste::FunctionName => "F3";
  };
  IV_F4 : SYSTEM interfaceview::IV::F4.others {
    Taste::coordinates => "584 513 979 959";
    Taste::FunctionName => "F4";
  };
  node1 : PROCESS deploymentview::DV::Node1::node1.others {
    Taste::coordinates => "176 447 1323 1102";
    Deployment::Port_Number => 0;
  };
110
  x86_linux32 : PROCESSOR ocarina_processors_x86::x86.native {
111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140
    Taste::coordinates => "121 314 1441 1210";
  };
  generic_sockets_ip_pohic : DEVICE deploymentview::DV::Node1::generic_sockets_ip.others {
    Taste::coordinates => "385 1318 1190 1493";
  };
CONNECTIONS
  generic_sockets_ip_pohic_ip_i_link : BUS ACCESS generic_sockets_ip_pohic_ip_i -> generic_sockets_ip_pohic.link;
PROPERTIES
  Taste::APLC_Binding => (reference (node1)) APPLIES TO IV_F1;
  Taste::APLC_Binding => (reference (node1)) APPLIES TO IV_F3;
  Taste::APLC_Binding => (reference (node1)) APPLIES TO IV_F4;
  Actual_Processor_Binding => (reference (x86_linux32)) APPLIES TO node1;
  Actual_Processor_Binding => (reference (x86_linux32)) APPLIES TO generic_sockets_ip_pohic;
END Node1.others;

SYSTEM Node2
FEATURES
  generic_sockets_ip_pohic_ip_i : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END Node2;

SYSTEM IMPLEMENTATION Node2.others
SUBCOMPONENTS
  IV_F2 : SYSTEM interfaceview::IV::F2.others {
    Taste::coordinates => "2175 672 2493 1021";
    Taste::FunctionName => "F2";
  };
  node2 : PROCESS deploymentview::DV::Node2::node2.others {
    Taste::coordinates => "1889 554 2712 1080";
    Deployment::Port_Number => 0;
  };
141
  x86_linux32 : PROCESSOR ocarina_processors_x86::x86.native {
142 143 144 145 146 147 148 149 150 151 152 153 154 155 156 157 158 159 160 161 162 163 164 165 166 167 168 169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189
    Taste::coordinates => "1786 404 2815 1155";
  };
  generic_sockets_ip_pohic : DEVICE deploymentview::DV::Node2::generic_sockets_ip.others {
    Taste::coordinates => "1862 1236 2770 1452";
  };
CONNECTIONS
  generic_sockets_ip_pohic_ip_i_link : BUS ACCESS generic_sockets_ip_pohic_ip_i -> generic_sockets_ip_pohic.link;
PROPERTIES
  Taste::APLC_Binding => (reference (node2)) APPLIES TO IV_F2;
  Actual_Processor_Binding => (reference (x86_linux32)) APPLIES TO node2;
  Actual_Processor_Binding => (reference (x86_linux32)) APPLIES TO generic_sockets_ip_pohic;
END Node2.others;

SYSTEM deploymentview
END deploymentview;

SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
  Node1 : SYSTEM Node1.others {
    Taste::coordinates => "103 200 1467 1549";
  };
  Node2 : SYSTEM Node2.others {
    Taste::coordinates => "1657 190 2944 1544";
  };
  ip_i : BUS ocarina_buses::ip.i {
    Taste::coordinates => "502 1734 2590 1994";
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
CONNECTIONS
  Connection1 : BUS ACCESS ip_i -> Node1.generic_sockets_ip_pohic_ip_i {
    Taste::coordinates => "698 1493 698 1613 711 1613 711 1734";
  };
  Connection2 : BUS ACCESS ip_i -> Node2.generic_sockets_ip_pohic_ip_i {
    Taste::coordinates => "2247 1452 2247 1593 2261 1593 2261 1734";
  };
PROPERTIES
  Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.F3_AA_F2_AA;
  Taste::Coordinates => "1795 1842 2293 1893" APPLIES TO interfaceview.F3_AA_F2_AA;
END deploymentview.others;

PROPERTIES
  Taste::coordinates => "0 0 2970 2100";
  Taste::version => "1.3.17";
  Taste::interfaceView => "InterfaceView.aadl";
  Taste::HWLibraries => ("../../../../tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;

-- copied aadl libraries