DeploymentView.aadl 6.04 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
32
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
66
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
---------------------------------------------------
-- 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 satellite
END satellite;

PROCESS IMPLEMENTATION satellite.others
END satellite.others;

DEVICE generic_sockets_ip
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "403 1279";
  };
PROPERTIES
  Taste::Interface_Coordinates => "522 1721" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{devname ""eth0"", address ""127.0.0.1"", port  5488}";
  Deployment::Config => "/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  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_system
END ground_system;

PROCESS IMPLEMENTATION ground_system.others
END ground_system.others;

DEVICE generic_sockets_ip
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
  link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
    Taste::coordinates => "2255 1279";
  };
PROPERTIES
  Taste::Interface_Coordinates => "2046 1718" APPLIES TO link;
  Deployment::Help => "Write your ASN.1 configuration here";
  Deployment::Configuration => "{devname ""eth0"", address ""127.0.0.1"",  port  5489}";
  Deployment::Config => "/home/assert/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
  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 => "359 441 547 724";
    Taste::FunctionName => "obsw";
  };
  IV_control_law : SYSTEM interfaceview::IV::control_law.others {
    Taste::coordinates => "601 444 860 703";
    Taste::FunctionName => "control_law";
  };
  satellite : PROCESS deploymentview::DV::Node1::satellite.others {
    Taste::coordinates => "336 329 927 761";
    Deployment::Port_Number => 0;
  };
106
  x86_linux32 : PROCESSOR ocarina_processors_x86::x86.native {
107
108
109
110
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
    Taste::coordinates => "262 205 1001 823";
  };
  generic_sockets_ip_pohic : DEVICE deploymentview::DV::Node1::generic_sockets_ip.others {
    Taste::coordinates => "248 927 975 1279";
  };
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 (satellite)) APPLIES TO IV_obsw;
  Taste::APLC_Binding => (reference (satellite)) APPLIES TO IV_control_law;
  Actual_Processor_Binding => (reference (x86_linux32)) APPLIES TO satellite;
  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_ground : SYSTEM interfaceview::IV::ground.others {
    Taste::coordinates => "1961 498 2358 761";
    Taste::FunctionName => "ground";
  };
  ground_system : PROCESS deploymentview::DV::Node2::ground_system.others {
    Taste::coordinates => "1807 386 2513 823";
    Deployment::Port_Number => 0;
  };
136
  x86_linux32 : PROCESSOR ocarina_processors_x86::x86.native {
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
178
179
180
181
182
183
184
185
    Taste::coordinates => "1719 261 2601 885";
  };
  generic_sockets_ip_pohic : DEVICE deploymentview::DV::Node2::generic_sockets_ip.others {
    Taste::coordinates => "1757 974 2523 1279";
  };
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_system)) APPLIES TO IV_ground;
  Actual_Processor_Binding => (reference (x86_linux32)) APPLIES TO ground_system;
  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 => "170 28 1093 1388";
  };
  Node2 : SYSTEM Node2.others {
    Taste::coordinates => "1609 83 2711 1373";
  };
  ip_i : BUS ocarina_buses::ip.i {
    Taste::coordinates => "522 1490 2046 1951";
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
CONNECTIONS
  Connection1 : BUS ACCESS ip_i -> Node1.generic_sockets_ip_pohic_ip_i {
    Taste::coordinates => "403 1278 403 1721 522 1721";
  };
  Connection2 : BUS ACCESS ip_i -> Node2.generic_sockets_ip_pohic_ip_i {
    Taste::coordinates => "2255 1278 2255 1718 2047 1718";
  };
PROPERTIES
  Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.ground_TM_obsw_TM;
  Taste::Coordinates => "793 1656 1061 1785" APPLIES TO interfaceview.ground_TM_obsw_TM;
  Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.obsw_TC_ground_TC;
  Taste::Coordinates => "1505 1660 1793 1782" APPLIES TO interfaceview.obsw_TC_ground_TC;
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;