__dv_1_3.aadl 11.6 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
---------------------------------------------------
-- AADL2.1
-- TASTE type deploymentview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE deploymentview::DV::Node1
PUBLIC

WITH Taste;
WITH Deployment;
WITH TASTE_DV_Properties;
PROCESS taps
END taps;

PROCESS IMPLEMENTATION taps.others
END taps.others;

END deploymentview::DV::Node1;

PACKAGE deploymentview::DV
PUBLIC

25
WITH interfaceview::IV::on_off_cmds_st02;
26
27
WITH interfaceview::IV::ground_system;
WITH interfaceview::IV;
28
29
30
31
WITH interfaceview::IV::payload;
WITH interfaceview::IV::hk_report_st03;
WITH interfaceview::IV::on_board_monitoring_st12;
WITH interfaceview::IV::time_management_st09;
32
WITH interfaceview::IV::event_action_st19;
33
WITH interfaceview::IV::time_sched_st11;
34
WITH interfaceview::IV::memory_management_st06;
35
36
37
38
39
40
41
42
43
44
45
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
46
  IV_st01_Acceptance : SYSTEM interfaceview::IV::on_off_cmds_st02::st01_Acceptance.others {
47
48
    Taste::FunctionName => "st01_Acceptance";
  };
49
  IV_st02_On_Off_cmds : SYSTEM interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds.others {
50
51
    Taste::FunctionName => "st02_On_Off_cmds";
  };
52
  IV_st01_Execution : SYSTEM interfaceview::IV::on_off_cmds_st02::st01_Execution.others {
53
54
    Taste::FunctionName => "st01_Execution";
  };
55
  IV_tm_st01 : SYSTEM interfaceview::IV::on_off_cmds_st02::tm_st01.others {
56
57
    Taste::FunctionName => "tm_st01";
  };
58
  IV_sensor2 : SYSTEM interfaceview::IV::on_off_cmds_st02::sensor2.others {
59
60
    Taste::FunctionName => "sensor2";
  };
61
62
63
64
65
66
67
68
69
  IV_ground_GUI : SYSTEM interfaceview::IV::ground_system::ground_GUI.others {
    Taste::FunctionName => "ground_GUI";
  };
  IV_processTC : SYSTEM interfaceview::IV::ground_system::processTC.others {
    Taste::FunctionName => "processTC";
  };
  IV_sendTM : SYSTEM interfaceview::IV::sendTM.others {
    Taste::FunctionName => "sendTM";
  };
70
71
  IV_obsw_routing : SYSTEM interfaceview::IV::obsw_routing.others {
    Taste::FunctionName => "obsw_routing";
72
  };
73
  IV_acceptance_cpdu1 : SYSTEM interfaceview::IV::payload::acceptance_cpdu1.others {
74
75
    Taste::FunctionName => "acceptance_cpdu1";
  };
76
  IV_cpdu1_cmds : SYSTEM interfaceview::IV::payload::cpdu1_cmds.others {
77
    Taste::FunctionName => "cpdu1_cmds";
78
  };
79
  IV_execution_cpdu1 : SYSTEM interfaceview::IV::payload::execution_cpdu1.others {
80
81
    Taste::FunctionName => "execution_cpdu1";
  };
82
  IV_tm_cpdu1 : SYSTEM interfaceview::IV::payload::tm_cpdu1.others {
83
84
    Taste::FunctionName => "tm_cpdu1";
  };
85
  IV_cpdu1 : SYSTEM interfaceview::IV::payload::cpdu1.others {
86
87
    Taste::FunctionName => "cpdu1";
  };
88
  IV_acceptance_hk : SYSTEM interfaceview::IV::hk_report_st03::acceptance_hk.others {
89
    Taste::FunctionName => "acceptance_hk";
Daniel Tonoiu's avatar
Daniel Tonoiu committed
90
  };
91
  IV_hk_service : SYSTEM interfaceview::IV::hk_report_st03::hk_service.others {
Daniel Tonoiu's avatar
Daniel Tonoiu committed
92
93
    Taste::FunctionName => "hk_service";
  };
94
  IV_execution_hk : SYSTEM interfaceview::IV::hk_report_st03::execution_hk.others {
95
    Taste::FunctionName => "execution_hk";
Daniel Tonoiu's avatar
Daniel Tonoiu committed
96
  };
97
  IV_tm_hk : SYSTEM interfaceview::IV::hk_report_st03::tm_hk.others {
98
99
    Taste::FunctionName => "tm_hk";
  };
100
  IV_hk_definitions : SYSTEM interfaceview::IV::hk_report_st03::hk_definitions.others {
101
102
103
104
105
106
107
    Taste::FunctionName => "hk_definitions";
  };
  IV_sensor1 : SYSTEM interfaceview::IV::sensor1.others {
    Taste::FunctionName => "sensor1";
  };
  IV_cpdu2 : SYSTEM interfaceview::IV::cpdu2.others {
    Taste::FunctionName => "cpdu2";
Daniel Tonoiu's avatar
Daniel Tonoiu committed
108
  };
109
  IV_event_report : SYSTEM interfaceview::IV::on_board_monitoring_st12::event_report.others {
110
111
    Taste::FunctionName => "event_report";
  };
112
  IV_execution_obm : SYSTEM interfaceview::IV::on_board_monitoring_st12::execution_obm.others {
113
114
    Taste::FunctionName => "execution_obm";
  };
115
  IV_tm_obm : SYSTEM interfaceview::IV::on_board_monitoring_st12::tm_obm.others {
116
117
    Taste::FunctionName => "tm_obm";
  };
118
  IV_on_board_monitoring : SYSTEM interfaceview::IV::on_board_monitoring_st12::on_board_monitoring.others {
119
120
    Taste::FunctionName => "on_board_monitoring";
  };
121
  IV_acceptance_st12 : SYSTEM interfaceview::IV::on_board_monitoring_st12::acceptance_st12.others {
122
123
124
125
126
    Taste::FunctionName => "acceptance_st12";
  };
  IV_execution_generic : SYSTEM interfaceview::IV::execution_generic.others {
    Taste::FunctionName => "execution_generic";
  };
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
  IV_acceptance_st09 : SYSTEM interfaceview::IV::time_management_st09::acceptance_st09.others {
    Taste::FunctionName => "acceptance_st09";
  };
  IV_execution_st09 : SYSTEM interfaceview::IV::time_management_st09::execution_st09.others {
    Taste::FunctionName => "execution_st09";
  };
  IV_tm_st09 : SYSTEM interfaceview::IV::time_management_st09::tm_st09.others {
    Taste::FunctionName => "tm_st09";
  };
  IV_time_management : SYSTEM interfaceview::IV::time_management_st09::time_management.others {
    Taste::FunctionName => "time_management";
  };
  IV_data_pool : SYSTEM interfaceview::IV::data_pool.others {
    Taste::FunctionName => "data_pool";
  };
  IV_sc_routing : SYSTEM interfaceview::IV::sc_routing.others {
    Taste::FunctionName => "sc_routing";
  };
145
146
147
148
149
150
151
152
153
154
155
156
  IV_event_action : SYSTEM interfaceview::IV::event_action_st19::event_action.others {
    Taste::FunctionName => "event_action";
  };
  IV_tm_st19 : SYSTEM interfaceview::IV::event_action_st19::tm_st19.others {
    Taste::FunctionName => "tm_st19";
  };
  IV_execution_ev_act : SYSTEM interfaceview::IV::event_action_st19::execution_ev_act.others {
    Taste::FunctionName => "execution_ev_act";
  };
  IV_ev_act_definitions : SYSTEM interfaceview::IV::event_action_st19::ev_act_definitions.others {
    Taste::FunctionName => "ev_act_definitions";
  };
157
158
159
  IV_acceptance_st19 : SYSTEM interfaceview::IV::event_action_st19::acceptance_st19.others {
    Taste::FunctionName => "acceptance_st19";
  };
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
  IV_time_scheduling : SYSTEM interfaceview::IV::time_sched_st11::time_scheduling.others {
    Taste::FunctionName => "time_scheduling";
  };
  IV_acceptance_st11 : SYSTEM interfaceview::IV::time_sched_st11::acceptance_st11.others {
    Taste::FunctionName => "acceptance_st11";
  };
  IV_tm_st11 : SYSTEM interfaceview::IV::time_sched_st11::tm_st11.others {
    Taste::FunctionName => "tm_st11";
  };
  IV_execution_time_sched : SYSTEM interfaceview::IV::time_sched_st11::execution_time_sched.others {
    Taste::FunctionName => "execution_time_sched";
  };
  IV_sched_act_defs : SYSTEM interfaceview::IV::time_sched_st11::sched_act_defs.others {
    Taste::FunctionName => "sched_act_defs";
  };
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
  IV_memory_management : SYSTEM interfaceview::IV::memory_management_st06::memory_management.others {
    Taste::FunctionName => "memory_management";
  };
  IV_acceptance_st06 : SYSTEM interfaceview::IV::memory_management_st06::acceptance_st06.others {
    Taste::FunctionName => "acceptance_st06";
  };
  IV_tm_st06 : SYSTEM interfaceview::IV::memory_management_st06::tm_st06.others {
    Taste::FunctionName => "tm_st06";
  };
  IV_execution_st06 : SYSTEM interfaceview::IV::memory_management_st06::execution_st06.others {
    Taste::FunctionName => "execution_st06";
  };
  IV_memory_01 : SYSTEM interfaceview::IV::memory_management_st06::memory_01.others {
    Taste::FunctionName => "memory_01";
  };
  IV_memory_02 : SYSTEM interfaceview::IV::memory_management_st06::memory_02.others {
    Taste::FunctionName => "memory_02";
  };
193
  taps : PROCESS deploymentview::DV::Node1::taps.others {
194
    Taste::coordinates => "85474 64572 179410 99940";
195
196
197
198
199
200
201
202
203
204
    Deployment::Port_Number => 0;
  };
  x86_linux : PROCESSOR ocarina_processors_x86::x86.linux {
    Taste::coordinates => "69028 56931 186448 107457";
  };
PROPERTIES
  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;
205
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_sensor2;
206
207
208
  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;
209
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_obsw_routing;
210
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_cpdu1;
211
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1_cmds;
212
213
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_execution_cpdu1;
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_tm_cpdu1;
214
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_cpdu1;
215
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_hk;
Daniel Tonoiu's avatar
Daniel Tonoiu committed
216
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_hk_service;
217
218
219
220
221
  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;
222
223
224
225
226
227
  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;
228
229
230
231
232
233
  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;
234
235
236
237
  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;
238
  Taste::APLC_Binding => (reference (taps)) APPLIES TO IV_acceptance_st19;
239
240
241
242
243
  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;
244
245
246
247
248
249
  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;
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
  Actual_Processor_Binding => (reference (x86_linux)) APPLIES TO taps;
END Node1.others;

SYSTEM deploymentview
END deploymentview;

SYSTEM IMPLEMENTATION deploymentview.others
SUBCOMPONENTS
  Node1 : SYSTEM Node1.others {
    Taste::coordinates => "58117 50052 196648 116945";
  };
  interfaceview : SYSTEM interfaceview::IV::interfaceview.others;
END deploymentview.others;

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