InterfaceView.aadl 10.5 KB
Newer Older
Maxime Perrotin's avatar
Maxime Perrotin committed
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
---------------------------------------------------
-- AADL2.2
-- TASTE type interfaceview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE interfaceview::IV::Controller
PUBLIC

WITH interfaceview::IV::Lift_Model;
WITH interfaceview::IV::User;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_Pulse
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_Pulse;

SUBPROGRAM IMPLEMENTATION PI_Pulse.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_Pulse.others;

SUBPROGRAM PI_Floor_Command
FEATURES
  button : IN PARAMETER DataView::Floor_button {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_Floor_Command;

SUBPROGRAM IMPLEMENTATION PI_Floor_Command.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_Floor_Command.others;

SUBPROGRAM PI_Cabin_Command
FEATURES
  button : IN PARAMETER DataView::Cabin_button {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_Cabin_Command;

SUBPROGRAM IMPLEMENTATION PI_Cabin_Command.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_Cabin_Command.others;

SUBPROGRAM PI_Manual_Control
FEATURES
  cmd : IN PARAMETER DataView::Lift_control {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_Manual_Control;

SUBPROGRAM IMPLEMENTATION PI_Manual_Control.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_Manual_Control.others;

Maxime Perrotin's avatar
Maxime Perrotin committed
68
SUBPROGRAM PI_Start_Controller
Maxime Perrotin's avatar
Maxime Perrotin committed
69
70
71
72
73
74
FEATURES
  start_param : IN PARAMETER DataView::Start_condition {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
Maxime Perrotin's avatar
Maxime Perrotin committed
75
END PI_Start_Controller;
Maxime Perrotin's avatar
Maxime Perrotin committed
76

Maxime Perrotin's avatar
Maxime Perrotin committed
77
SUBPROGRAM IMPLEMENTATION PI_Start_Controller.others
Maxime Perrotin's avatar
Maxime Perrotin committed
78
79
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
Maxime Perrotin's avatar
Maxime Perrotin committed
80
END PI_Start_Controller.others;
Maxime Perrotin's avatar
Maxime Perrotin committed
81
82
83
84
85
86
87
88
89
90
91
92
93
94

SUBPROGRAM RI_Operate_lift
FEATURES
  lift_command : IN PARAMETER DataView::Lift_control {
    Taste::encoding => NATIVE;
  };
  lift_sensors : OUT PARAMETER DataView::Lift_sensor {
    Taste::encoding => NATIVE;
  };
END RI_Operate_lift;

SUBPROGRAM IMPLEMENTATION RI_Operate_lift.others
END RI_Operate_lift.others;

Maxime Perrotin's avatar
Maxime Perrotin committed
95
SUBPROGRAM RI_Housekeeping
Maxime Perrotin's avatar
Maxime Perrotin committed
96
FEATURES
Maxime Perrotin's avatar
Maxime Perrotin committed
97
98
  housekeeping : IN PARAMETER DataView::Status {
    Taste::encoding => UPER;
Maxime Perrotin's avatar
Maxime Perrotin committed
99
  };
Maxime Perrotin's avatar
Maxime Perrotin committed
100
END RI_Housekeeping;
Maxime Perrotin's avatar
Maxime Perrotin committed
101

Maxime Perrotin's avatar
Maxime Perrotin committed
102
103
SUBPROGRAM IMPLEMENTATION RI_Housekeeping.others
END RI_Housekeeping.others;
Maxime Perrotin's avatar
Maxime Perrotin committed
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

SYSTEM Controller
FEATURES
  PI_Pulse : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Controller::PI_Pulse.others {
    Taste::coordinates => "1783 671";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 50 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "Pulse";
  };
  PI_Floor_Command : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Controller::PI_Floor_Command.others {
    Taste::coordinates => "1519 816";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "Floor_Command";
  };
  PI_Cabin_Command : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Controller::PI_Cabin_Command.others {
    Taste::coordinates => "1519 917";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "Cabin_Command";
  };
  PI_Manual_Control : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Controller::PI_Manual_Control.others {
    Taste::coordinates => "1519 1017";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "Manual_Control";
  };
Maxime Perrotin's avatar
Maxime Perrotin committed
135
  PI_Start_Controller : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Controller::PI_Start_Controller.others {
Maxime Perrotin's avatar
Maxime Perrotin committed
136
137
138
139
    Taste::coordinates => "1519 1467";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
Maxime Perrotin's avatar
Maxime Perrotin committed
140
    Taste::InterfaceName => "Start_Controller";
Maxime Perrotin's avatar
Maxime Perrotin committed
141
142
143
144
145
146
147
  };
  RI_Operate_lift : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Lift_Model::PI_Operate_lift.others {
    Taste::coordinates => "2027 859";
    Taste::RCMoperationKind => unprotected;
    Taste::InterfaceName => "Operate_lift";
    Taste::labelInheritance => "true";
  };
Maxime Perrotin's avatar
Maxime Perrotin committed
148
149
150
151
  RI_Housekeeping : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::User::PI_Housekeeping.others {
    Taste::coordinates => "1519 1247";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "Housekeeping";
Maxime Perrotin's avatar
Maxime Perrotin committed
152
153
154
    Taste::labelInheritance => "true";
  };
PROPERTIES
Maxime Perrotin's avatar
Maxime Perrotin committed
155
  Source_Language => (SDL);
Maxime Perrotin's avatar
Maxime Perrotin committed
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
  Taste::Active_Interfaces => enabled;
END Controller;

SYSTEM IMPLEMENTATION Controller.others
END Controller.others;

END interfaceview::IV::Controller;

PACKAGE interfaceview::IV::Lift_Model
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_Operate_lift
FEATURES
  lift_command : IN PARAMETER DataView::Lift_control {
    Taste::encoding => NATIVE;
  };
  lift_sensors : OUT PARAMETER DataView::Lift_sensor {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_Operate_lift;

SUBPROGRAM IMPLEMENTATION PI_Operate_lift.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_Operate_lift.others;

SYSTEM Lift_Model
FEATURES
  PI_Operate_lift : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Lift_Model::PI_Operate_lift.others {
    Taste::coordinates => "2306 859";
    Taste::RCMoperationKind => unprotected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "Operate_lift";
  };
PROPERTIES
  Source_Language => (Simulink);
  Taste::Active_Interfaces => enabled;
END Lift_Model;

SYSTEM IMPLEMENTATION Lift_Model.others
END Lift_Model.others;

END interfaceview::IV::Lift_Model;

PACKAGE interfaceview::IV::User
PUBLIC

WITH interfaceview::IV::Controller;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
Maxime Perrotin's avatar
Maxime Perrotin committed
213
SUBPROGRAM PI_Housekeeping
Maxime Perrotin's avatar
Maxime Perrotin committed
214
FEATURES
Maxime Perrotin's avatar
Maxime Perrotin committed
215
216
  housekeeping : IN PARAMETER DataView::Status {
    Taste::encoding => UPER;
Maxime Perrotin's avatar
Maxime Perrotin committed
217
218
219
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
Maxime Perrotin's avatar
Maxime Perrotin committed
220
END PI_Housekeeping;
Maxime Perrotin's avatar
Maxime Perrotin committed
221

Maxime Perrotin's avatar
Maxime Perrotin committed
222
SUBPROGRAM IMPLEMENTATION PI_Housekeeping.others
Maxime Perrotin's avatar
Maxime Perrotin committed
223
224
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
Maxime Perrotin's avatar
Maxime Perrotin committed
225
END PI_Housekeeping.others;
Maxime Perrotin's avatar
Maxime Perrotin committed
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

SUBPROGRAM RI_Floor_Command
FEATURES
  button : IN PARAMETER DataView::Floor_button {
    Taste::encoding => NATIVE;
  };
END RI_Floor_Command;

SUBPROGRAM IMPLEMENTATION RI_Floor_Command.others
END RI_Floor_Command.others;

SUBPROGRAM RI_Cabin_Command
FEATURES
  button : IN PARAMETER DataView::Cabin_button {
    Taste::encoding => NATIVE;
  };
END RI_Cabin_Command;

SUBPROGRAM IMPLEMENTATION RI_Cabin_Command.others
END RI_Cabin_Command.others;

SUBPROGRAM RI_Manual_Control
FEATURES
  cmd : IN PARAMETER DataView::Lift_control {
    Taste::encoding => NATIVE;
  };
END RI_Manual_Control;

SUBPROGRAM IMPLEMENTATION RI_Manual_Control.others
END RI_Manual_Control.others;

Maxime Perrotin's avatar
Maxime Perrotin committed
257
SUBPROGRAM RI_Start_Controller
Maxime Perrotin's avatar
Maxime Perrotin committed
258
259
260
261
FEATURES
  start_param : IN PARAMETER DataView::Start_condition {
    Taste::encoding => NATIVE;
  };
Maxime Perrotin's avatar
Maxime Perrotin committed
262
END RI_Start_Controller;
Maxime Perrotin's avatar
Maxime Perrotin committed
263

Maxime Perrotin's avatar
Maxime Perrotin committed
264
265
SUBPROGRAM IMPLEMENTATION RI_Start_Controller.others
END RI_Start_Controller.others;
Maxime Perrotin's avatar
Maxime Perrotin committed
266
267
268

SYSTEM User
FEATURES
Maxime Perrotin's avatar
Maxime Perrotin committed
269
270
  PI_Housekeeping : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::User::PI_Housekeeping.others {
    Taste::coordinates => "907 1251";
Maxime Perrotin's avatar
Maxime Perrotin committed
271
272
273
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
Maxime Perrotin's avatar
Maxime Perrotin committed
274
    Taste::InterfaceName => "Housekeeping";
Maxime Perrotin's avatar
Maxime Perrotin committed
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
  };
  RI_Floor_Command : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Controller::PI_Floor_Command.others {
    Taste::coordinates => "907 816";
    Taste::RCMoperationKind => sporadic;
    Taste::InterfaceName => "Floor_Command";
    Taste::labelInheritance => "true";
  };
  RI_Cabin_Command : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Controller::PI_Cabin_Command.others {
    Taste::coordinates => "907 917";
    Taste::RCMoperationKind => sporadic;
    Taste::InterfaceName => "Cabin_Command";
    Taste::labelInheritance => "true";
  };
  RI_Manual_Control : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Controller::PI_Manual_Control.others {
    Taste::coordinates => "907 1017";
    Taste::RCMoperationKind => sporadic;
    Taste::InterfaceName => "Manual_Control";
    Taste::labelInheritance => "true";
  };
Maxime Perrotin's avatar
Maxime Perrotin committed
294
  RI_Start_Controller : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Controller::PI_Start_Controller.others {
Maxime Perrotin's avatar
Maxime Perrotin committed
295
296
    Taste::coordinates => "907 1467";
    Taste::RCMoperationKind => sporadic;
Maxime Perrotin's avatar
Maxime Perrotin committed
297
    Taste::InterfaceName => "Start_Controller";
Maxime Perrotin's avatar
Maxime Perrotin committed
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (GUI);
  Taste::Active_Interfaces => enabled;
END User;

SYSTEM IMPLEMENTATION User.others
END User.others;

END interfaceview::IV::User;

PACKAGE interfaceview::IV
PUBLIC

WITH interfaceview::IV::Controller;
WITH interfaceview::IV::Lift_Model;
WITH interfaceview::IV::User;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SYSTEM interfaceview
PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
END interfaceview;

SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
  Controller : SYSTEM interfaceview::IV::Controller::Controller.others {
    Taste::coordinates => "1519 671 2027 1599";
  };
  Lift_Model : SYSTEM interfaceview::IV::Lift_Model::Lift_Model.others {
Maxime Perrotin's avatar
Maxime Perrotin committed
331
    Taste::coordinates => "2306 728 2835 931";
Maxime Perrotin's avatar
Maxime Perrotin committed
332
333
334
335
336
337
338
339
340
341
342
343
344
345
  };
  User : SYSTEM interfaceview::IV::User::User.others {
    Taste::coordinates => "261 606 907 1587";
  };
CONNECTIONS
  Controller_PI_Floor_Command_User_RI_Floor_Command : SUBPROGRAM ACCESS Controller.PI_Floor_Command -> User.RI_Floor_Command {
    Taste::coordinates => "907 816 1207 816 1207 816 1519 816";
  };
  Controller_PI_Cabin_Command_User_RI_Cabin_Command : SUBPROGRAM ACCESS Controller.PI_Cabin_Command -> User.RI_Cabin_Command {
    Taste::coordinates => "907 917 1207 917 1207 917 1519 917";
  };
  Controller_PI_Manual_Control_User_RI_Manual_Control : SUBPROGRAM ACCESS Controller.PI_Manual_Control -> User.RI_Manual_Control {
    Taste::coordinates => "907 1017 1207 1017 1207 1017 1519 1017";
  };
Maxime Perrotin's avatar
Maxime Perrotin committed
346
  Controller_PI_Start_Controller_User_RI_Start_Controller : SUBPROGRAM ACCESS Controller.PI_Start_Controller -> User.RI_Start_Controller {
Maxime Perrotin's avatar
Maxime Perrotin committed
347
348
349
350
351
    Taste::coordinates => "907 1467 1207 1467 1207 1467 1519 1467";
  };
  Lift_Model_PI_Operate_lift_Controller_RI_Operate_lift : SUBPROGRAM ACCESS Lift_Model.PI_Operate_lift -> Controller.RI_Operate_lift {
    Taste::coordinates => "2027 859 2166 859 2166 859 2306 859";
  };
Maxime Perrotin's avatar
Maxime Perrotin committed
352
353
  User_PI_Housekeeping_Controller_RI_Housekeeping : SUBPROGRAM ACCESS User.PI_Housekeeping -> Controller.RI_Housekeeping {
    Taste::coordinates => "1519 1247 1213 1247 1213 1251 907 1251";
Maxime Perrotin's avatar
Maxime Perrotin committed
354
355
356
357
358
359
360
361
362
363
  };
END interfaceview.others;

PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
  Taste::coordinates => "0 0 2970 2100";
  Taste::version => "2.2";
END interfaceview::IV;