DeploymentView.aadl 14.5 KB
Newer Older
1
---------------------------------------------------
2
3
-- AADL2.1
-- TASTE type deploymentview
4
-- 
5
-- generated code: do not edit
6
7
8
9
10
11
12
13
---------------------------------------------------

PACKAGE deploymentview::DV::Node1
PUBLIC

WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
14
15
PROCESS taps
END taps;
16

17
18
PROCESS IMPLEMENTATION taps.others
END taps.others;
19
20
21
22
23
24

END deploymentview::DV::Node1;

PACKAGE deploymentview::DV
PUBLIC

25
26
27
28
29
WITH interfaceview::IV::on_off_cmds_st02::st01_Acceptance;
WITH interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds;
WITH interfaceview::IV::on_off_cmds_st02::st01_Execution;
WITH interfaceview::IV::on_off_cmds_st02::tm_st01;
WITH interfaceview::IV::on_off_cmds_st02::sensor2;
30
31
32
WITH interfaceview::IV::ground_system::ground_GUI;
WITH interfaceview::IV::ground_system::processTC;
WITH interfaceview::IV::sendTM;
33
34
35
36
37
38
39
40
41
42
43
WITH interfaceview::IV::obsw_routing;
WITH interfaceview::IV::payload::acceptance_cpdu1;
WITH interfaceview::IV::payload::cpdu1_cmds;
WITH interfaceview::IV::payload::execution_cpdu1;
WITH interfaceview::IV::payload::tm_cpdu1;
WITH interfaceview::IV::payload::cpdu1;
WITH interfaceview::IV::hk_report_st03::acceptance_hk;
WITH interfaceview::IV::hk_report_st03::hk_service;
WITH interfaceview::IV::hk_report_st03::execution_hk;
WITH interfaceview::IV::hk_report_st03::tm_hk;
WITH interfaceview::IV::hk_report_st03::hk_definitions;
44
45
WITH interfaceview::IV::sensor1;
WITH interfaceview::IV::cpdu2;
46
47
48
49
50
WITH interfaceview::IV::on_board_monitoring_st12::event_report;
WITH interfaceview::IV::on_board_monitoring_st12::execution_obm;
WITH interfaceview::IV::on_board_monitoring_st12::tm_obm;
WITH interfaceview::IV::on_board_monitoring_st12::on_board_monitoring;
WITH interfaceview::IV::on_board_monitoring_st12::acceptance_st12;
51
WITH interfaceview::IV::execution_generic;
52
53
54
55
56
57
WITH interfaceview::IV::time_management_st09::acceptance_st09;
WITH interfaceview::IV::time_management_st09::execution_st09;
WITH interfaceview::IV::time_management_st09::tm_st09;
WITH interfaceview::IV::time_management_st09::time_management;
WITH interfaceview::IV::data_pool;
WITH interfaceview::IV::sc_routing;
58
59
60
61
WITH interfaceview::IV::event_action_st19::event_action;
WITH interfaceview::IV::event_action_st19::tm_st19;
WITH interfaceview::IV::event_action_st19::execution_ev_act;
WITH interfaceview::IV::event_action_st19::ev_act_definitions;
62
WITH interfaceview::IV::event_action_st19::acceptance_st19;
63
64
65
66
67
WITH interfaceview::IV::time_sched_st11::time_scheduling;
WITH interfaceview::IV::time_sched_st11::acceptance_st11;
WITH interfaceview::IV::time_sched_st11::tm_st11;
WITH interfaceview::IV::time_sched_st11::execution_time_sched;
WITH interfaceview::IV::time_sched_st11::sched_act_defs;
68
69
70
71
72
73
WITH interfaceview::IV::memory_management_st06::memory_management;
WITH interfaceview::IV::memory_management_st06::acceptance_st06;
WITH interfaceview::IV::memory_management_st06::tm_st06;
WITH interfaceview::IV::memory_management_st06::execution_st06;
WITH interfaceview::IV::memory_management_st06::memory_01;
WITH interfaceview::IV::memory_management_st06::memory_02;
74
75
76
77
78
79
80
81
82
83
84
WITH ocarina_processors_x86;
WITH deploymentview::DV::Node1;
WITH Taste;
WITH Deployment;
WITH interfaceview::IV;
WITH TASTE_DV_Properties;
SYSTEM Node1
END Node1;

SYSTEM IMPLEMENTATION Node1.others
SUBCOMPONENTS
85
  IV_st01_Acceptance : SYSTEM interfaceview::IV::on_off_cmds_st02::st01_Acceptance::st01_Acceptance.others {
86
    Taste::FunctionName => "st01_Acceptance";
87
  };
88
  IV_st02_On_Off_cmds : SYSTEM interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds::st02_On_Off_cmds.others {
89
    Taste::FunctionName => "st02_On_Off_cmds";
90
  };
91
  IV_st01_Execution : SYSTEM interfaceview::IV::on_off_cmds_st02::st01_Execution::st01_Execution.others {
92
    Taste::FunctionName => "st01_Execution";
93
  };
94
  IV_tm_st01 : SYSTEM interfaceview::IV::on_off_cmds_st02::tm_st01::tm_st01.others {
95
    Taste::FunctionName => "tm_st01";
96
  };
97
  IV_sensor2 : SYSTEM interfaceview::IV::on_off_cmds_st02::sensor2::sensor2.others {
98
99
    Taste::FunctionName => "sensor2";
  };
100
101
  IV_ground_GUI : SYSTEM interfaceview::IV::ground_system::ground_GUI::ground_GUI.others {
    Taste::FunctionName => "ground_GUI";
102
  };
103
104
  IV_processTC : SYSTEM interfaceview::IV::ground_system::processTC::processTC.others {
    Taste::FunctionName => "processTC";
105
  };
106
107
  IV_sendTM : SYSTEM interfaceview::IV::sendTM::sendTM.others {
    Taste::FunctionName => "sendTM";
108
  };
109
110
  IV_obsw_routing : SYSTEM interfaceview::IV::obsw_routing::obsw_routing.others {
    Taste::FunctionName => "obsw_routing";
111
  };
112
  IV_acceptance_cpdu1 : SYSTEM interfaceview::IV::payload::acceptance_cpdu1::acceptance_cpdu1.others {
113
114
    Taste::FunctionName => "acceptance_cpdu1";
  };
115
  IV_cpdu1_cmds : SYSTEM interfaceview::IV::payload::cpdu1_cmds::cpdu1_cmds.others {
116
    Taste::FunctionName => "cpdu1_cmds";
117
  };
118
  IV_execution_cpdu1 : SYSTEM interfaceview::IV::payload::execution_cpdu1::execution_cpdu1.others {
119
120
    Taste::FunctionName => "execution_cpdu1";
  };
121
  IV_tm_cpdu1 : SYSTEM interfaceview::IV::payload::tm_cpdu1::tm_cpdu1.others {
122
123
    Taste::FunctionName => "tm_cpdu1";
  };
124
  IV_cpdu1 : SYSTEM interfaceview::IV::payload::cpdu1::cpdu1.others {
125
126
    Taste::FunctionName => "cpdu1";
  };
127
  IV_acceptance_hk : SYSTEM interfaceview::IV::hk_report_st03::acceptance_hk::acceptance_hk.others {
128
    Taste::FunctionName => "acceptance_hk";
Daniel Tonoiu's avatar
Daniel Tonoiu committed
129
  };
130
  IV_hk_service : SYSTEM interfaceview::IV::hk_report_st03::hk_service::hk_service.others {
Daniel Tonoiu's avatar
Daniel Tonoiu committed
131
132
    Taste::FunctionName => "hk_service";
  };
133
  IV_execution_hk : SYSTEM interfaceview::IV::hk_report_st03::execution_hk::execution_hk.others {
134
    Taste::FunctionName => "execution_hk";
Daniel Tonoiu's avatar
Daniel Tonoiu committed
135
  };
136
  IV_tm_hk : SYSTEM interfaceview::IV::hk_report_st03::tm_hk::tm_hk.others {
137
138
    Taste::FunctionName => "tm_hk";
  };
139
  IV_hk_definitions : SYSTEM interfaceview::IV::hk_report_st03::hk_definitions::hk_definitions.others {
140
141
142
143
144
145
146
    Taste::FunctionName => "hk_definitions";
  };
  IV_sensor1 : SYSTEM interfaceview::IV::sensor1::sensor1.others {
    Taste::FunctionName => "sensor1";
  };
  IV_cpdu2 : SYSTEM interfaceview::IV::cpdu2::cpdu2.others {
    Taste::FunctionName => "cpdu2";
Daniel Tonoiu's avatar
Daniel Tonoiu committed
147
  };
148
  IV_event_report : SYSTEM interfaceview::IV::on_board_monitoring_st12::event_report::event_report.others {
149
150
    Taste::FunctionName => "event_report";
  };
151
  IV_execution_obm : SYSTEM interfaceview::IV::on_board_monitoring_st12::execution_obm::execution_obm.others {
152
153
    Taste::FunctionName => "execution_obm";
  };
154
  IV_tm_obm : SYSTEM interfaceview::IV::on_board_monitoring_st12::tm_obm::tm_obm.others {
155
156
    Taste::FunctionName => "tm_obm";
  };
157
  IV_on_board_monitoring : SYSTEM interfaceview::IV::on_board_monitoring_st12::on_board_monitoring::on_board_monitoring.others {
158
159
    Taste::FunctionName => "on_board_monitoring";
  };
160
  IV_acceptance_st12 : SYSTEM interfaceview::IV::on_board_monitoring_st12::acceptance_st12::acceptance_st12.others {
161
162
163
164
165
    Taste::FunctionName => "acceptance_st12";
  };
  IV_execution_generic : SYSTEM interfaceview::IV::execution_generic::execution_generic.others {
    Taste::FunctionName => "execution_generic";
  };
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
  IV_acceptance_st09 : SYSTEM interfaceview::IV::time_management_st09::acceptance_st09::acceptance_st09.others {
    Taste::FunctionName => "acceptance_st09";
  };
  IV_execution_st09 : SYSTEM interfaceview::IV::time_management_st09::execution_st09::execution_st09.others {
    Taste::FunctionName => "execution_st09";
  };
  IV_tm_st09 : SYSTEM interfaceview::IV::time_management_st09::tm_st09::tm_st09.others {
    Taste::FunctionName => "tm_st09";
  };
  IV_time_management : SYSTEM interfaceview::IV::time_management_st09::time_management::time_management.others {
    Taste::FunctionName => "time_management";
  };
  IV_data_pool : SYSTEM interfaceview::IV::data_pool::data_pool.others {
    Taste::FunctionName => "data_pool";
  };
  IV_sc_routing : SYSTEM interfaceview::IV::sc_routing::sc_routing.others {
    Taste::FunctionName => "sc_routing";
  };
184
185
186
187
188
189
190
191
192
193
194
195
  IV_event_action : SYSTEM interfaceview::IV::event_action_st19::event_action::event_action.others {
    Taste::FunctionName => "event_action";
  };
  IV_tm_st19 : SYSTEM interfaceview::IV::event_action_st19::tm_st19::tm_st19.others {
    Taste::FunctionName => "tm_st19";
  };
  IV_execution_ev_act : SYSTEM interfaceview::IV::event_action_st19::execution_ev_act::execution_ev_act.others {
    Taste::FunctionName => "execution_ev_act";
  };
  IV_ev_act_definitions : SYSTEM interfaceview::IV::event_action_st19::ev_act_definitions::ev_act_definitions.others {
    Taste::FunctionName => "ev_act_definitions";
  };
196
197
198
  IV_acceptance_st19 : SYSTEM interfaceview::IV::event_action_st19::acceptance_st19::acceptance_st19.others {
    Taste::FunctionName => "acceptance_st19";
  };
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
  IV_time_scheduling : SYSTEM interfaceview::IV::time_sched_st11::time_scheduling::time_scheduling.others {
    Taste::FunctionName => "time_scheduling";
  };
  IV_acceptance_st11 : SYSTEM interfaceview::IV::time_sched_st11::acceptance_st11::acceptance_st11.others {
    Taste::FunctionName => "acceptance_st11";
  };
  IV_tm_st11 : SYSTEM interfaceview::IV::time_sched_st11::tm_st11::tm_st11.others {
    Taste::FunctionName => "tm_st11";
  };
  IV_execution_time_sched : SYSTEM interfaceview::IV::time_sched_st11::execution_time_sched::execution_time_sched.others {
    Taste::FunctionName => "execution_time_sched";
  };
  IV_sched_act_defs : SYSTEM interfaceview::IV::time_sched_st11::sched_act_defs::sched_act_defs.others {
    Taste::FunctionName => "sched_act_defs";
  };
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
  IV_memory_management : SYSTEM interfaceview::IV::memory_management_st06::memory_management::memory_management.others {
    Taste::FunctionName => "memory_management";
  };
  IV_acceptance_st06 : SYSTEM interfaceview::IV::memory_management_st06::acceptance_st06::acceptance_st06.others {
    Taste::FunctionName => "acceptance_st06";
  };
  IV_tm_st06 : SYSTEM interfaceview::IV::memory_management_st06::tm_st06::tm_st06.others {
    Taste::FunctionName => "tm_st06";
  };
  IV_execution_st06 : SYSTEM interfaceview::IV::memory_management_st06::execution_st06::execution_st06.others {
    Taste::FunctionName => "execution_st06";
  };
  IV_memory_01 : SYSTEM interfaceview::IV::memory_management_st06::memory_01::memory_01.others {
    Taste::FunctionName => "memory_01";
  };
  IV_memory_02 : SYSTEM interfaceview::IV::memory_management_st06::memory_02::memory_02.others {
    Taste::FunctionName => "memory_02";
  };
232
  taps : PROCESS deploymentview::DV::Node1::taps.others {
233
    Taste::coordinates => "85474 64572 179410 99940";
234
235
    Deployment::Port_Number => 0;
  };
236
237
  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
    Taste::coordinates => "69028 56931 186448 107457";
238
239
  };
PROPERTIES
240
241
242
243
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_st01_Acceptance;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_st02_On_Off_cmds;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_st01_Execution;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st01;
244
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sensor2;
245
246
247
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_ground_GUI;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_processTC;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sendTM;
248
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_obsw_routing;
249
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_cpdu1;
250
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1_cmds;
251
252
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_cpdu1;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_cpdu1;
253
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1;
254
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_hk;
Daniel Tonoiu's avatar
Daniel Tonoiu committed
255
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_hk_service;
256
257
258
259
260
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_hk;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_hk;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_hk_definitions;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sensor1;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu2;
261
262
263
264
265
266
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_event_report;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_obm;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_obm;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_on_board_monitoring;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st12;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_generic;
267
268
269
270
271
272
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st09;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_st09;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st09;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_time_management;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_data_pool;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sc_routing;
273
274
275
276
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_event_action;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st19;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_ev_act;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_ev_act_definitions;
277
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st19;
278
279
280
281
282
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_time_scheduling;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st11;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st11;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_time_sched;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sched_act_defs;
283
284
285
286
287
288
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_memory_management;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st06;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_st06;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_st06;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_memory_01;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_memory_02;
289
290
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO taps;
END Node1.others;
291
292
293
294
295
296
297

SYSTEM deploymentview
END deploymentview;

SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
  Node1 : SYSTEM Node1.others {
298
    Taste::coordinates => "58117 50052 196648 116945";
299
300
301
302
303
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
END deploymentview.others;

PROPERTIES
304
305
  Taste::coordinates => "0 0 297000 210000";
  Taste::version => "2.0";
306
  Taste::interfaceView => "InterfaceView.aadl";
307
  Taste::HWLibraries => ("/home/taste/tool-inst/share/ocarina/AADLv2/ocarina_components.aadl");
308
309
END deploymentview::DV;