-
Notifications
You must be signed in to change notification settings - Fork 0
/
tutorial-plex_dp_stm.aadl
260 lines (239 loc) · 11 KB
/
tutorial-plex_dp_stm.aadl
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
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
131
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
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
---------------------------------------------------
-- AADL2.1
-- TASTE type deploymentview
--
-- generated code: do not edit
---------------------------------------------------
PACKAGE deploymentview::DV::Node2
PUBLIC
WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS onboard
END onboard;
PROCESS IMPLEMENTATION onboard.others
END onboard.others;
DEVICE generic_sockets_ip_pohic
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
Taste::coordinates => "118294 114013";
};
PROPERTIES
Taste::Interface_Coordinates => "82824 168664" APPLIES TO link;
Deployment::Help => "Write your ASN.1 configuration here";
Deployment::Configuration => "{devname ""lo"", address ""127.0.0.1"", port 5118}";
Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Version => "0.1beta";
END generic_sockets_ip_pohic;
DEVICE IMPLEMENTATION generic_sockets_ip_pohic.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END generic_sockets_ip_pohic.others;
END deploymentview::DV::Node2;
PACKAGE deploymentview::DV::Node3
PUBLIC
WITH ocarina_buses;
WITH ocarina_drivers;
WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS remote
END remote;
PROCESS IMPLEMENTATION remote.others
END remote.others;
DEVICE generic_sockets_ip_pohic
EXTENDS ocarina_drivers::generic_sockets_ip
FEATURES
link : REFINED TO REQUIRES BUS ACCESS ocarina_buses::ip.i {
Taste::coordinates => "23211 110050";
};
PROPERTIES
Taste::Interface_Coordinates => "82824 175849" APPLIES TO link;
Deployment::Help => "Write your ASN.1 configuration here";
Deployment::Configuration => "{devname ""lo"", address ""127.0.0.1"", port 5116}";
Deployment::Config => "/home/taste/tool-inst/include/ocarina/runtime/polyorb-hi-c/src/drivers/configuration/ip.asn";
Deployment::Version => "0.1beta";
END generic_sockets_ip_pohic;
DEVICE IMPLEMENTATION generic_sockets_ip_pohic.others
EXTENDS ocarina_drivers::generic_sockets_ip.pohic
END generic_sockets_ip_pohic.others;
END deploymentview::DV::Node3;
PACKAGE deploymentview::DV
PUBLIC
WITH interfaceview::IV::blsclient;
WITH interfaceview::IV::Transformer;
WITH interfaceview::IV::gr740_stream_aligner;
WITH interfaceview::IV::RigidBodyStateDispatcher;
WITH ocarina_processors_arm;
WITH deploymentview::DV::Node2;
WITH interfaceview::IV::controldevice;
WITH interfaceview::IV::joystick_2_joint_commands;
WITH interfaceview::IV::joystick_2_motion_command;
WITH interfaceview::IV::joystick_2_lights;
WITH interfaceview::IV::motion_command2d_logger;
WITH interfaceview::IV::JoystickCommandDispatcher3;
WITH interfaceview::IV::MotionCommandDispatcher;
WITH interfaceview::IV::signal_handler;
WITH interfaceview::IV::aruco_marker_detector;
WITH interfaceview::IV::vizkit3drobotpose;
WITH interfaceview::IV::vizkit3dmarkerpose;
WITH interfaceview::IV::vizkit3dmarkerpose2;
WITH interfaceview::IV::markermux;
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node3;
WITH ocarina_buses;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM Node2
FEATURES
generic_sockets_ip_pohic_ip_i : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END Node2;
SYSTEM IMPLEMENTATION Node2.others
SUBCOMPONENTS
IV_blsclient : SYSTEM interfaceview::IV::blsclient::blsclient.others {
Taste::FunctionName => "blsclient";
};
IV_Transformer : SYSTEM interfaceview::IV::Transformer::Transformer.others {
Taste::FunctionName => "Transformer";
};
IV_gr740_stream_aligner : SYSTEM interfaceview::IV::gr740_stream_aligner::gr740_stream_aligner.others {
Taste::FunctionName => "gr740_stream_aligner";
};
IV_RigidBodyStateDispatcher : SYSTEM interfaceview::IV::RigidBodyStateDispatcher::RigidBodyStateDispatcher.others {
Taste::FunctionName => "RigidBodyStateDispatcher";
};
onboard : PROCESS deploymentview::DV::Node2::onboard.others {
Taste::coordinates => "107343 19418 152055 101040";
Deployment::Port_Number => 0;
};
stm32f429_discovery_gnat2017 : PROCESSOR ocarina_processors_arm::stm32f429_discovery.gnat2017 {
Taste::coordinates => "106251 6845 162701 105386";
};
generic_sockets_ip_pohic : DEVICE deploymentview::DV::Node2::generic_sockets_ip_pohic.others {
Taste::coordinates => "118294 107030 133818 120995";
};
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 (onboard)) APPLIES TO IV_blsclient;
Taste::APLC_Binding => (reference (onboard)) APPLIES TO IV_Transformer;
Taste::APLC_Binding => (reference (onboard)) APPLIES TO IV_gr740_stream_aligner;
Taste::APLC_Binding => (reference (onboard)) APPLIES TO IV_RigidBodyStateDispatcher;
Actual_Processor_Binding => (reference (stm32f429_discovery_gnat2017)) APPLIES TO onboard;
Actual_Processor_Binding => (reference (stm32f429_discovery_gnat2017)) APPLIES TO generic_sockets_ip_pohic;
END Node2.others;
SYSTEM Node3
FEATURES
generic_sockets_ip_pohic_ip_i : REQUIRES BUS ACCESS ocarina_buses::ip.i;
END Node3;
SYSTEM IMPLEMENTATION Node3.others
SUBCOMPONENTS
IV_controldevice : SYSTEM interfaceview::IV::controldevice::controldevice.others {
Taste::FunctionName => "controldevice";
};
IV_joystick_2_joint_commands : SYSTEM interfaceview::IV::joystick_2_joint_commands::joystick_2_joint_commands.others {
Taste::FunctionName => "joystick_2_joint_commands";
};
IV_joystick_2_motion_command : SYSTEM interfaceview::IV::joystick_2_motion_command::joystick_2_motion_command.others {
Taste::FunctionName => "joystick_2_motion_command";
};
IV_joystick_2_lights : SYSTEM interfaceview::IV::joystick_2_lights::joystick_2_lights.others {
Taste::FunctionName => "joystick_2_lights";
};
IV_motion_command2d_logger : SYSTEM interfaceview::IV::motion_command2d_logger::motion_command2d_logger.others {
Taste::FunctionName => "motion_command2d_logger";
};
IV_JoystickCommandDispatcher3 : SYSTEM interfaceview::IV::JoystickCommandDispatcher3::JoystickCommandDispatcher3.others {
Taste::FunctionName => "JoystickCommandDispatcher3";
};
IV_MotionCommandDispatcher : SYSTEM interfaceview::IV::MotionCommandDispatcher::MotionCommandDispatcher.others {
Taste::FunctionName => "MotionCommandDispatcher";
};
IV_signal_handler : SYSTEM interfaceview::IV::signal_handler::signal_handler.others {
Taste::FunctionName => "signal_handler";
};
IV_aruco_marker_detector : SYSTEM interfaceview::IV::aruco_marker_detector::aruco_marker_detector.others {
Taste::FunctionName => "aruco_marker_detector";
};
IV_vizkit3drobotpose : SYSTEM interfaceview::IV::vizkit3drobotpose::vizkit3drobotpose.others {
Taste::FunctionName => "vizkit3drobotpose";
};
IV_vizkit3dmarkerpose : SYSTEM interfaceview::IV::vizkit3dmarkerpose::vizkit3dmarkerpose.others {
Taste::FunctionName => "vizkit3dmarkerpose";
};
IV_vizkit3dmarkerpose2 : SYSTEM interfaceview::IV::vizkit3dmarkerpose2::vizkit3dmarkerpose2.others {
Taste::FunctionName => "vizkit3dmarkerpose2";
};
IV_markermux : SYSTEM interfaceview::IV::markermux::markermux.others {
Taste::FunctionName => "markermux";
};
remote : PROCESS deploymentview::DV::Node3::remote.others {
Taste::coordinates => "4872 22230 45147 93379";
Deployment::Port_Number => 0;
};
x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
Taste::coordinates => "2812 9108 52700 96360";
};
generic_sockets_ip_pohic : DEVICE deploymentview::DV::Node3::generic_sockets_ip_pohic.others {
Taste::coordinates => "12660 98263 35934 110050";
};
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 (remote)) APPLIES TO IV_controldevice;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_joystick_2_joint_commands;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_joystick_2_motion_command;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_joystick_2_lights;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_motion_command2d_logger;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_JoystickCommandDispatcher3;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_MotionCommandDispatcher;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_signal_handler;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_aruco_marker_detector;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_vizkit3drobotpose;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_vizkit3dmarkerpose;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_vizkit3dmarkerpose2;
Taste::APLC_Binding => (reference (remote)) APPLIES TO IV_markermux;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO remote;
Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO generic_sockets_ip_pohic;
END Node3.others;
SYSTEM deploymentview
END deploymentview;
SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
Node2 : SYSTEM Node2.others {
Taste::coordinates => "104973 936 165775 128386";
};
Node3 : SYSTEM Node3.others {
Taste::coordinates => "1024 1087 55730 113181";
};
ip_i : BUS ocarina_buses::ip.i {
Taste::coordinates => "82824 155807 196832 195890";
};
interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
CONNECTIONS
Connection2 : BUS ACCESS ip_i -> Node2.generic_sockets_ip_pohic_ip_i {
Taste::coordinates => "118294 114013 67026 114013 67026 168664 82824 168664";
};
Connection1 : BUS ACCESS ip_i -> Node3.generic_sockets_ip_pohic_ip_i {
Taste::coordinates => "23211 110050 23211 175849 82824 175849";
};
PROPERTIES
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.gr740_stream_aligner_PI_B_aruco_marker_detector_RI_pose;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.markermux_PI_dispatch_Transformer_RI_absoluteMarkerPose;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.vizkit3drobotpose_PI_updateRigidBodyState_RigidBodyStateDispatcher_RI_sample;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.blsclient_PI_pan_tilt_joystick_2_joint_commands_RI_joint_commands;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.blsclient_PI_setWhiteLights_joystick_2_lights_RI_white_lights;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.blsclient_PI_setUVLights_joystick_2_lights_RI_uv_lights;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.blsclient_PI_setPointTurn_joystick_2_lights_RI_point_turn_mode;
Actual_Connection_Binding => (reference (ip_i)) APPLIES TO interfaceview.blsclient_PI_motion_command_MotionCommandDispatcher_RI_sample1;
END deploymentview.others;
PROPERTIES
Taste::coordinates => "0 0 297000 210000";
Taste::version => "2.0";
Taste::interfaceView => "tutorial-plex_iv.aadl";
Taste::HWLibraries => ("../../tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
END deploymentview::DV;