DeploymentView.aadl 5.76 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 flight
END flight;

PROCESS IMPLEMENTATION flight.others
END flight.others;

DEVICE generic_sockets_ip
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "836 1418";
  };
PROPERTIES
  Taste::Interface_Coordinates => "1005 1906" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"",  address  ""127.0.0.1"", port 5116 }";
32
  Deployment::Config => "~/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 ground
END ground;

PROCESS IMPLEMENTATION ground.others
END ground.others;

DEVICE generic_sockets_ip
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "2380 1454";
  };
PROPERTIES
  Taste::Interface_Coordinates => "2390 1734" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{ devname ""eth0"",  address  ""127.0.0.1"", port 5115 }";
66
  Deployment::Config => "~/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
  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_obsw : SYSTEM interfaceview::IV::obsw.others {
    Taste::coordinates => "672 487 1441 703";
    Taste::FunctionName => "obsw";
  };
  flight : PROCESS deploymentview::DV::Node1::flight.others {
    Taste::coordinates => "481 337 1587 749";
    Deployment::Port_Number => 0;
  };
102
  x86_linux32 : PROCESSOR ocarina_processors_x86::x86.native {
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
    Taste::coordinates => "353 132 1735 872";
  };
  generic_sockets_ip_pohic : DEVICE deploymentview::DV::Node1::generic_sockets_ip.others {
    Taste::coordinates => "472 985 1154 1421";
  };
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 (flight)) APPLIES TO IV_obsw;
  Actual_Processor_Binding => (reference (x86_linux32)) APPLIES TO flight;
  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_gui : SYSTEM interfaceview::IV::gui.others {
    Taste::coordinates => "2359 533 2662 702";
    Taste::FunctionName => "gui";
  };
  ground : PROCESS deploymentview::DV::Node2::ground.others {
    Taste::coordinates => "2147 356 2821 713";
    Deployment::Port_Number => 0;
  };
131
  x86_linux32 : PROCESSOR ocarina_processors_x86::x86.native {
132
133
134
135
136
137
138
139
140
141
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
    Taste::coordinates => "2043 161 2926 795";
  };
  generic_sockets_ip_pohic : DEVICE deploymentview::DV::Node2::generic_sockets_ip.others {
    Taste::coordinates => "1970 939 2816 1457";
  };
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 (ground)) APPLIES TO IV_gui;
  Actual_Processor_Binding => (reference (x86_linux32)) APPLIES TO ground;
  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 => "26 102 1754 1533";
  };
  Node2 : SYSTEM Node2.others {
    Taste::coordinates => "1841 117 2944 1544";
  };
  ip_i : BUS ocarina_buses::ip.i {
    Taste::coordinates => "1005 1734 2528 2078";
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
CONNECTIONS
  Connection1 : BUS ACCESS ip_i -> Node1.generic_sockets_ip_pohic_ip_i {
    Taste::coordinates => "836 1418 836 1906 1005 1906";
  };
  Connection2 : BUS ACCESS ip_i -> Node2.generic_sockets_ip_pohic_ip_i {
    Taste::coordinates => "2380 1454 2380 1594 2390 1594 2390 1734";
  };
PROPERTIES
  Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.obsw_run_gui_run;
  Taste::Coordinates => "2026 1867 2380 1970" APPLIES TO interfaceview.obsw_run_gui_run;
  Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.gui_output_data_obsw_output_data;
  Taste::Coordinates => "1293 1893 1585 1975" APPLIES TO interfaceview.gui_output_data_obsw_output_data;
END deploymentview.others;

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