InterfaceView.aadl 225 KB
Newer Older
1
---------------------------------------------------
2
3
-- AADL2.1
-- TASTE type interfaceview
4
-- 
5
-- generated code: do not edit
6
7
---------------------------------------------------

8
PACKAGE interfaceview::IV::on_off_cmds_st02::st01_Acceptance
9
10
PUBLIC

11
12
13
14
WITH interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds;
WITH interfaceview::IV::obsw_routing;
WITH interfaceview::IV::on_off_cmds_st02::tm_st01;
WITH interfaceview::IV::on_off_cmds_st02::st01_Execution;
15
16
17
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
18
SUBPROGRAM PI_tc_s2
TASTE User's avatar
TASTE User committed
19
FEATURES
20
  TC : IN PARAMETER DataView::TC {
TASTE User's avatar
TASTE User committed
21
22
23
24
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
25
END PI_tc_s2;
TASTE User's avatar
TASTE User committed
26

27
28
29
30
SUBPROGRAM IMPLEMENTATION PI_tc_s2.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_tc_s2.others;
TASTE User's avatar
TASTE User committed
31

32
SUBPROGRAM PI_test_s2
TASTE User's avatar
TASTE User committed
33
FEATURES
34
  testStr : IN PARAMETER DataView::Test_Taps_Parameters {
TASTE User's avatar
TASTE User committed
35
36
    Taste::encoding => NATIVE;
  };
37
38
39
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_test_s2;
TASTE User's avatar
TASTE User committed
40

41
42
43
44
SUBPROGRAM IMPLEMENTATION PI_test_s2.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_test_s2.others;
TASTE User's avatar
TASTE User committed
45

46
SUBPROGRAM RI_tc21_s2
TASTE User's avatar
TASTE User committed
47
FEATURES
48
  tc21 : IN PARAMETER DataView::On_Off_Device_Cmds {
TASTE User's avatar
TASTE User committed
49
50
    Taste::encoding => NATIVE;
  };
51
52
53
54
55
END RI_tc21_s2;

SUBPROGRAM IMPLEMENTATION RI_tc21_s2.others
END RI_tc21_s2.others;

56
SUBPROGRAM RI_ready_S2
57
FEATURES
58
  readyS2 : IN PARAMETER DataView::MyBool {
59
60
    Taste::encoding => NATIVE;
  };
61
END RI_ready_S2;
62

63
64
SUBPROGRAM IMPLEMENTATION RI_ready_S2.others
END RI_ready_S2.others;
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87

SUBPROGRAM RI_tm
FEATURES
  tm : IN PARAMETER DataView::TM {
    Taste::encoding => NATIVE;
  };
END RI_tm;

SUBPROGRAM IMPLEMENTATION RI_tm.others
END RI_tm.others;

SUBPROGRAM RI_reqID
FEATURES
  reqId : IN PARAMETER DataView::Request_ID_ACK {
    Taste::encoding => NATIVE;
  };
END RI_reqID;

SUBPROGRAM IMPLEMENTATION RI_reqID.others
END RI_reqID.others;

SYSTEM st01_Acceptance
FEATURES
88
  PI_tc_s2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Acceptance::PI_tc_s2.others {
89
    Taste::coordinates => "44404 156167";
90
91
92
93
94
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "tc_s2";
  };
95
  PI_test_s2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Acceptance::PI_test_s2.others {
96
    Taste::coordinates => "47137 156167";
97
98
99
100
101
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "test_s2";
  };
102
  RI_tc21_s2 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds::PI_tc21_s2.others {
103
    Taste::coordinates => "45608 152688";
104
105
106
107
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "tc21_s2";
    Taste::labelInheritance => "true";
  };
108
  RI_ready_S2 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::obsw_routing::PI_ready_S2.others {
109
    Taste::coordinates => "45666 156167";
110
    Taste::RCMoperationKind => any;
111
    Taste::InterfaceName => "ready_S2";
112
113
    Taste::labelInheritance => "true";
  };
114
  RI_tm : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::tm_st01::PI_tm.others {
115
    Taste::coordinates => "43458 154588";
116
117
118
119
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "tm";
    Taste::labelInheritance => "true";
  };
120
  RI_reqID : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Execution::PI_reqID.others {
121
    Taste::coordinates => "44158 152688";
122
123
124
125
126
127
128
129
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "reqID";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (SDL);
  Taste::Active_Interfaces => any;
END st01_Acceptance;
TASTE User's avatar
TASTE User committed
130

131
132
SYSTEM IMPLEMENTATION st01_Acceptance.others
END st01_Acceptance.others;
TASTE User's avatar
TASTE User committed
133

134
END interfaceview::IV::on_off_cmds_st02::st01_Acceptance;
135

136
PACKAGE interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds
137
138
PUBLIC

139
140
WITH interfaceview::IV::on_off_cmds_st02::st01_Execution;
WITH interfaceview::IV::on_off_cmds_st02::sensor2;
141
142
143
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
144
SUBPROGRAM PI_tc21_s2
TASTE User's avatar
TASTE User committed
145
FEATURES
146
  tc21 : IN PARAMETER DataView::On_Off_Device_Cmds {
TASTE User's avatar
TASTE User committed
147
148
149
150
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
151
END PI_tc21_s2;
TASTE User's avatar
TASTE User committed
152

153
154
155
156
SUBPROGRAM IMPLEMENTATION PI_tc21_s2.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_tc21_s2.others;
TASTE User's avatar
TASTE User committed
157

158
SUBPROGRAM PI_testExec
159
FEATURES
160
  testEx : IN PARAMETER DataView::Test_Taps_Parameters {
161
162
163
164
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
165
166
167
168
169
170
171
172
END PI_testExec;

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

SUBPROGRAM RI_startEx
173
FEATURES
174
  startExecNot : IN PARAMETER DataView::Start_Execution_Notification {
175
176
    Taste::encoding => NATIVE;
  };
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
END RI_startEx;

SUBPROGRAM IMPLEMENTATION RI_startEx.others
END RI_startEx.others;

SUBPROGRAM RI_progEx
FEATURES
  progressExecNot : IN PARAMETER DataView::Progress_Execution_Notification {
    Taste::encoding => NATIVE;
  };
END RI_progEx;

SUBPROGRAM IMPLEMENTATION RI_progEx.others
END RI_progEx.others;

SUBPROGRAM RI_compEx
FEATURES
  completionExecNot : IN PARAMETER DataView::Completion_Execution_Notification {
    Taste::encoding => NATIVE;
  };
END RI_compEx;

SUBPROGRAM IMPLEMENTATION RI_compEx.others
END RI_compEx.others;

202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
SUBPROGRAM RI_on
END RI_on;

SUBPROGRAM IMPLEMENTATION RI_on.others
END RI_on.others;

SUBPROGRAM RI_off
END RI_off;

SUBPROGRAM IMPLEMENTATION RI_off.others
END RI_off.others;

SUBPROGRAM RI_cold_RST
END RI_cold_RST;

SUBPROGRAM IMPLEMENTATION RI_cold_RST.others
END RI_cold_RST.others;

SUBPROGRAM RI_warm_RST
END RI_warm_RST;

SUBPROGRAM IMPLEMENTATION RI_warm_RST.others
END RI_warm_RST.others;

226
227
SYSTEM st02_On_Off_cmds
FEATURES
228
  PI_tc21_s2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds::PI_tc21_s2.others {
229
    Taste::coordinates => "47977 148681";
230
231
232
233
234
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "tc21_s2";
  };
235
  PI_testExec : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds::PI_testExec.others {
236
    Taste::coordinates => "52032 148681";
237
238
239
240
241
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "testExec";
  };
242
  RI_startEx : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Execution::PI_startEx.others {
243
    Taste::coordinates => "44881 146979";
244
245
246
247
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "startEx";
    Taste::labelInheritance => "true";
  };
248
  RI_progEx : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Execution::PI_progEx.others {
249
    Taste::coordinates => "44881 147539";
250
251
252
253
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "progEx";
    Taste::labelInheritance => "true";
  };
254
  RI_compEx : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Execution::PI_compEx.others {
255
    Taste::coordinates => "44881 147996";
256
257
258
259
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "compEx";
    Taste::labelInheritance => "true";
  };
260
  RI_on : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::sensor2::PI_on.others {
261
    Taste::coordinates => "46774 146046";
262
263
264
265
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "on";
    Taste::labelInheritance => "true";
  };
266
  RI_off : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::sensor2::PI_off.others {
267
    Taste::coordinates => "47639 146046";
268
269
270
271
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "off";
    Taste::labelInheritance => "true";
  };
272
  RI_cold_RST : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::sensor2::PI_cold_RST.others {
273
    Taste::coordinates => "49488 146046";
274
275
276
277
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "cold_RST";
    Taste::labelInheritance => "true";
  };
278
  RI_warm_RST : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::sensor2::PI_warm_RST.others {
279
    Taste::coordinates => "51137 146046";
280
281
282
283
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "warm_RST";
    Taste::labelInheritance => "true";
  };
284
PROPERTIES
285
286
287
  Source_Language => (SDL);
  Taste::Active_Interfaces => any;
END st02_On_Off_cmds;
288

289
290
291
SYSTEM IMPLEMENTATION st02_On_Off_cmds.others
END st02_On_Off_cmds.others;

292
END interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds;
293

294
PACKAGE interfaceview::IV::on_off_cmds_st02::st01_Execution
295
PUBLIC
296

297
WITH interfaceview::IV::on_off_cmds_st02::tm_st01;
298
299
300
301
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_reqID
302
FEATURES
303
  reqId : IN PARAMETER DataView::Request_ID_ACK {
304
305
306
307
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
308
END PI_reqID;
309

310
311
312
313
SUBPROGRAM IMPLEMENTATION PI_reqID.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_reqID.others;
314

315
SUBPROGRAM PI_startEx
TASTE User's avatar
TASTE User committed
316
FEATURES
317
  startExecNot : IN PARAMETER DataView::Start_Execution_Notification {
TASTE User's avatar
TASTE User committed
318
319
    Taste::encoding => NATIVE;
  };
320
321
322
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_startEx;
TASTE User's avatar
TASTE User committed
323

324
325
326
327
SUBPROGRAM IMPLEMENTATION PI_startEx.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_startEx.others;
TASTE User's avatar
TASTE User committed
328

329
SUBPROGRAM PI_progEx
TASTE User's avatar
TASTE User committed
330
FEATURES
331
  progressExecNot : IN PARAMETER DataView::Progress_Execution_Notification {
TASTE User's avatar
TASTE User committed
332
333
    Taste::encoding => NATIVE;
  };
334
335
PROPERTIES
  Taste::Associated_Queue_Size => 1;
336
END PI_progEx;
TASTE User's avatar
TASTE User committed
337

338
339
340
341
SUBPROGRAM IMPLEMENTATION PI_progEx.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_progEx.others;
TASTE User's avatar
TASTE User committed
342

343
SUBPROGRAM PI_compEx
TASTE User's avatar
TASTE User committed
344
FEATURES
345
  completionExecNot : IN PARAMETER DataView::Completion_Execution_Notification {
TASTE User's avatar
TASTE User committed
346
347
    Taste::encoding => NATIVE;
  };
348
349
350
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_compEx;
TASTE User's avatar
TASTE User committed
351

352
353
354
355
SUBPROGRAM IMPLEMENTATION PI_compEx.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_compEx.others;
356

357
SUBPROGRAM RI_tm
358
FEATURES
359
  tm : IN PARAMETER DataView::TM {
360
361
    Taste::encoding => NATIVE;
  };
362
363
364
365
366
367
368
END RI_tm;

SUBPROGRAM IMPLEMENTATION RI_tm.others
END RI_tm.others;

SYSTEM st01_Execution
FEATURES
369
  PI_reqID : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Execution::PI_reqID.others {
370
    Taste::coordinates => "41058 149095";
371
372
373
374
375
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "reqID";
  };
376
  PI_startEx : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Execution::PI_startEx.others {
377
    Taste::coordinates => "41058 146766";
378
379
380
381
382
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "startEx";
  };
383
  PI_progEx : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Execution::PI_progEx.others {
384
    Taste::coordinates => "41058 147381";
385
    Taste::RCMoperationKind => sporadic;
386
    Taste::RCMperiod => 0 ms;
387
388
389
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "progEx";
  };
390
  PI_compEx : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Execution::PI_compEx.others {
391
    Taste::coordinates => "41058 148376";
392
393
394
395
396
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "compEx";
  };
397
  RI_tm : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::tm_st01::PI_tm.others {
398
    Taste::coordinates => "40198 149641";
399
400
401
402
403
404
405
406
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "tm";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (SDL);
  Taste::Active_Interfaces => any;
END st01_Execution;
407

408
409
SYSTEM IMPLEMENTATION st01_Execution.others
END st01_Execution.others;
TASTE User's avatar
TASTE User committed
410

411
END interfaceview::IV::on_off_cmds_st02::st01_Execution;
412

413
PACKAGE interfaceview::IV::on_off_cmds_st02::tm_st01
414
415
PUBLIC

416
WITH interfaceview::IV::sendTM;
417
418
419
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
420
SUBPROGRAM PI_tm
TASTE User's avatar
TASTE User committed
421
FEATURES
422
  tm : IN PARAMETER DataView::TM {
TASTE User's avatar
TASTE User committed
423
424
425
426
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
427
END PI_tm;
TASTE User's avatar
TASTE User committed
428

429
430
431
432
SUBPROGRAM IMPLEMENTATION PI_tm.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_tm.others;
TASTE User's avatar
TASTE User committed
433

434
435
436
437
438
439
SUBPROGRAM RI_tm_link
FEATURES
  tm : IN PARAMETER DataView::TM {
    Taste::encoding => NATIVE;
  };
END RI_tm_link;
440

441
442
443
444
445
SUBPROGRAM IMPLEMENTATION RI_tm_link.others
END RI_tm_link.others;

SYSTEM tm_st01
FEATURES
446
  PI_tm : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::tm_st01::PI_tm.others {
447
    Taste::coordinates => "39866 154296";
448
449
450
451
452
453
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "tm";
  };
  RI_tm_link : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::sendTM::PI_tm_link.others {
454
    Taste::coordinates => "34139 154771";
455
456
457
458
459
460
461
462
463
464
465
466
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "tm_link";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (SDL);
  Taste::Active_Interfaces => any;
END tm_st01;

SYSTEM IMPLEMENTATION tm_st01.others
END tm_st01.others;

467
END interfaceview::IV::on_off_cmds_st02::tm_st01;
468

469
PACKAGE interfaceview::IV::on_off_cmds_st02::sensor2
470
471
PUBLIC

472
WITH interfaceview::IV::hk_report_st03::hk_service;
473
474
475
476
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_on
477
478
PROPERTIES
  Taste::Associated_Queue_Size => 1;
479
480
481
482
483
484
485
486
END PI_on;

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

SUBPROGRAM PI_off
487
488
PROPERTIES
  Taste::Associated_Queue_Size => 1;
489
490
491
492
493
494
495
496
END PI_off;

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

SUBPROGRAM PI_cold_RST
497
498
PROPERTIES
  Taste::Associated_Queue_Size => 1;
499
500
501
502
503
504
505
506
END PI_cold_RST;

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

SUBPROGRAM PI_warm_RST
507
508
PROPERTIES
  Taste::Associated_Queue_Size => 1;
509
510
511
512
513
514
515
END PI_warm_RST;

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

516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
SUBPROGRAM PI_repeat
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_repeat;

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

SUBPROGRAM RI_s2_Out
FEATURES
  s2Out : IN PARAMETER DataView::Sensor2_Output {
    Taste::encoding => NATIVE;
  };
END RI_s2_Out;

SUBPROGRAM IMPLEMENTATION RI_s2_Out.others
END RI_s2_Out.others;

536
537
SYSTEM sensor2
FEATURES
538
  PI_on : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::sensor2::PI_on.others {
539
    Taste::coordinates => "46341 144787";
540
    Taste::RCMoperationKind => protected;
541
542
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
543
544
    Taste::InterfaceName => "on";
  };
545
  PI_off : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::sensor2::PI_off.others {
546
    Taste::coordinates => "47330 144787";
547
    Taste::RCMoperationKind => protected;
548
549
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
550
551
    Taste::InterfaceName => "off";
  };
552
  PI_cold_RST : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::sensor2::PI_cold_RST.others {
553
    Taste::coordinates => "48989 144787";
554
    Taste::RCMoperationKind => protected;
555
556
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
557
558
    Taste::InterfaceName => "cold_RST";
  };
559
  PI_warm_RST : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::sensor2::PI_warm_RST.others {
560
    Taste::coordinates => "50940 144787";
561
    Taste::RCMoperationKind => protected;
562
563
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
564
565
    Taste::InterfaceName => "warm_RST";
  };
566
  PI_repeat : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::sensor2::PI_repeat.others {
567
    Taste::coordinates => "49154 142294";
568
569
570
571
572
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 1000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "repeat";
  };
573
  RI_s2_Out : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::hk_report_st03::hk_service::PI_s2_Out.others {
574
    Taste::coordinates => "52166 143188";
575
576
577
578
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "s2_Out";
    Taste::labelInheritance => "true";
  };
579
580
581
582
583
584
585
586
PROPERTIES
  Source_Language => (Ada);
  Taste::Active_Interfaces => any;
END sensor2;

SYSTEM IMPLEMENTATION sensor2.others
END sensor2.others;

587
END interfaceview::IV::on_off_cmds_st02::sensor2;
588

589
PACKAGE interfaceview::IV::on_off_cmds_st02
590
591
PUBLIC

592
593
594
595
596
597
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;
WITH interfaceview::IV::obsw_routing;
598
WITH interfaceview::IV::sendTM;
599
WITH interfaceview::IV::hk_report_st03::hk_service;
600
601
602
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
603
SUBPROGRAM PI_tc_s2
604
FEATURES
605
  TC : IN PARAMETER DataView::TC {
606
607
608
609
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
610
END PI_tc_s2;
611

612
613
614
615
SUBPROGRAM IMPLEMENTATION PI_tc_s2.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_tc_s2.others;
616

617
SUBPROGRAM PI_test_s2
618
FEATURES
619
  testStr : IN PARAMETER DataView::Test_Taps_Parameters {
620
621
    Taste::encoding => NATIVE;
  };
622
623
624
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_test_s2;
625

626
627
628
629
SUBPROGRAM IMPLEMENTATION PI_test_s2.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_test_s2.others;
630

631
632
633
634
635
SUBPROGRAM PI_testExec
FEATURES
  testEx : IN PARAMETER DataView::Test_Taps_Parameters {
    Taste::encoding => NATIVE;
  };
636
637
PROPERTIES
  Taste::Associated_Queue_Size => 1;
638
639
640
641
642
643
644
END PI_testExec;

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

645
SUBPROGRAM RI_ready_S2
646
FEATURES
647
  readyS2 : IN PARAMETER DataView::MyBool {
648
649
    Taste::encoding => NATIVE;
  };
650
END RI_ready_S2;
651

652
653
SUBPROGRAM IMPLEMENTATION RI_ready_S2.others
END RI_ready_S2.others;
654
655
656
657
658
659
660
661
662
663
664

SUBPROGRAM RI_tm_link
FEATURES
  tm : IN PARAMETER DataView::TM {
    Taste::encoding => NATIVE;
  };
END RI_tm_link;

SUBPROGRAM IMPLEMENTATION RI_tm_link.others
END RI_tm_link.others;

665
666
667
668
669
670
671
672
673
674
SUBPROGRAM RI_s2_Out
FEATURES
  s2Out : IN PARAMETER DataView::Sensor2_Output {
    Taste::encoding => NATIVE;
  };
END RI_s2_Out;

SUBPROGRAM IMPLEMENTATION RI_s2_Out.others
END RI_s2_Out.others;

675
SYSTEM on_off_cmds_st02
676
FEATURES
677
  PI_tc_s2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Acceptance::PI_tc_s2.others {
678
    Taste::coordinates => "44414 157022";
679
680
681
682
683
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "tc_s2";
  };
684
  PI_test_s2 : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st01_Acceptance::PI_test_s2.others {
685
    Taste::coordinates => "47029 157022";
686
687
688
689
690
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "test_s2";
  };
691
  PI_testExec : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds::PI_testExec.others {
692
    Taste::coordinates => "50850 157022";
693
694
695
696
697
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "testExec";
  };
698
  RI_ready_S2 : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::obsw_routing::PI_ready_S2.others {
699
    Taste::coordinates => "45693 157022";
700
    Taste::RCMoperationKind => any;
701
    Taste::InterfaceName => "ready_S2";
702
703
704
    Taste::labelInheritance => "true";
  };
  RI_tm_link : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::sendTM::PI_tm_link.others {
705
    Taste::coordinates => "33393 155192";
706
707
708
709
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "tm_link";
    Taste::labelInheritance => "true";
  };
710
  RI_s2_Out : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::hk_report_st03::hk_service::PI_s2_Out.others {
711
    Taste::coordinates => "54034 142619";
712
713
714
715
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "s2_Out";
    Taste::labelInheritance => "true";
  };
716
717
718
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
719
END on_off_cmds_st02;
720

721
SYSTEM IMPLEMENTATION on_off_cmds_st02.others
722
SUBCOMPONENTS
723
  st01_Acceptance : SYSTEM interfaceview::IV::on_off_cmds_st02::st01_Acceptance::st01_Acceptance.others {
724
    Taste::coordinates => "43458 152688 48062 156167";
725
  };
726
  st02_On_Off_cmds : SYSTEM interfaceview::IV::on_off_cmds_st02::st02_On_Off_cmds::st02_On_Off_cmds.others {
727
    Taste::coordinates => "44881 146046 53649 148681";
728
  };
729
  st01_Execution : SYSTEM interfaceview::IV::on_off_cmds_st02::st01_Execution::st01_Execution.others {
730
    Taste::coordinates => "37608 146257 41058 149641";
731
  };
732
  tm_st01 : SYSTEM interfaceview::IV::on_off_cmds_st02::tm_st01::tm_st01.others {
733
    Taste::coordinates => "34139 153700 39866 155826";
734
  };
735
  sensor2 : SYSTEM interfaceview::IV::on_off_cmds_st02::sensor2::sensor2.others {
736
    Taste::coordinates => "45785 142294 52166 144787";
737
738
  };
CONNECTIONS
739
  st01_Acceptance_PI_tc_s2_on_off_cmds_st02_PI_tc_s2 : SUBPROGRAM ACCESS st01_Acceptance.PI_tc_s2 -> PI_tc_s2 {
740
    Taste::coordinates => "44414 157022 44414 156594 44404 156594 44404 156167";
741
  };
742
  st01_Acceptance_PI_test_s2_on_off_cmds_st02_PI_test_s2 : SUBPROGRAM ACCESS st01_Acceptance.PI_test_s2 -> PI_test_s2 {
743
    Taste::coordinates => "47029 157022 47029 156521 47137 156521 47137 156167";
744
745
  };
  st02_On_Off_cmds_PI_tc21_s2_st01_Acceptance_RI_tc21_s2 : SUBPROGRAM ACCESS st02_On_Off_cmds.PI_tc21_s2 -> st01_Acceptance.RI_tc21_s2 {
746
    Taste::coordinates => "45608 152688 45608 150684 47977 150684 47977 148681";
747
  };
748
  on_off_cmds_st02_RI_ready_S2_st01_Acceptance_RI_ready_S2 : SUBPROGRAM ACCESS RI_ready_S2 -> st01_Acceptance.RI_ready_S2 {
749
    Taste::coordinates => "45666 156167 45666 156594 45693 156594 45693 157022";
750
751
  };
  tm_st01_PI_tm_st01_Acceptance_RI_tm : SUBPROGRAM ACCESS tm_st01.PI_tm -> st01_Acceptance.RI_tm {
752
    Taste::coordinates => "43458 154588 40815 154588 40815 154296 39866 154296";
753
754
  };
  st01_Execution_PI_reqID_st01_Acceptance_RI_reqID : SUBPROGRAM ACCESS st01_Execution.PI_reqID -> st01_Acceptance.RI_reqID {
755
    Taste::coordinates => "44158 152688 44158 149095 41058 149095";
756
  };
757
  st02_On_Off_cmds_PI_testExec_on_off_cmds_st02_PI_testExec : SUBPROGRAM ACCESS st02_On_Off_cmds.PI_testExec -> PI_testExec {
758
    Taste::coordinates => "50850 157022 50850 154461 52032 154461 52032 148681";
759
760
  };
  st01_Execution_PI_startEx_st02_On_Off_cmds_RI_startEx : SUBPROGRAM ACCESS st01_Execution.PI_startEx -> st02_On_Off_cmds.RI_startEx {
761
    Taste::coordinates => "44881 146979 43795 146979 43795 146766 41058 146766";
762
763
  };
  st01_Execution_PI_progEx_st02_On_Off_cmds_RI_progEx : SUBPROGRAM ACCESS st01_Execution.PI_progEx -> st02_On_Off_cmds.RI_progEx {
764
    Taste::coordinates => "44881 147539 43795 147539 43795 147381 41058 147381";
765
766
  };
  st01_Execution_PI_compEx_st02_On_Off_cmds_RI_compEx : SUBPROGRAM ACCESS st01_Execution.PI_compEx -> st02_On_Off_cmds.RI_compEx {
767
    Taste::coordinates => "44881 147996 43795 147996 43795 148376 41058 148376";
768
769
  };
  sensor2_PI_on_st02_On_Off_cmds_RI_on : SUBPROGRAM ACCESS sensor2.PI_on -> st02_On_Off_cmds.RI_on {
770
    Taste::coordinates => "46774 146046 46774 145308 46341 145308 46341 144787";
771
772
  };
  sensor2_PI_off_st02_On_Off_cmds_RI_off : SUBPROGRAM ACCESS sensor2.PI_off -> st02_On_Off_cmds.RI_off {
773
    Taste::coordinates => "47639 146046 47639 145238 47330 145238 47330 144787";
774
775
  };
  sensor2_PI_cold_RST_st02_On_Off_cmds_RI_cold_RST : SUBPROGRAM ACCESS sensor2.PI_cold_RST -> st02_On_Off_cmds.RI_cold_RST {
776
    Taste::coordinates => "49488 146046 49488 145273 48989 145273 48989 144787";
777
778
  };
  sensor2_PI_warm_RST_st02_On_Off_cmds_RI_warm_RST : SUBPROGRAM ACCESS sensor2.PI_warm_RST -> st02_On_Off_cmds.RI_warm_RST {
779
    Taste::coordinates => "51137 146046 51137 145413 50940 145413 50940 144787";
780
781
  };
  tm_st01_PI_tm_st01_Execution_RI_tm : SUBPROGRAM ACCESS tm_st01.PI_tm -> st01_Execution.RI_tm {
782
    Taste::coordinates => "40198 149641 40198 154296 39866 154296";
783
  };
784
  on_off_cmds_st02_RI_tm_link_tm_st01_RI_tm_link : SUBPROGRAM ACCESS RI_tm_link -> tm_st01.RI_tm_link {
785
    Taste::coordinates => "34139 154771 33766 154771 33766 155192 33393 155192";
786
  };
787
  on_off_cmds_st02_RI_s2_Out_sensor2_RI_s2_Out : SUBPROGRAM ACCESS RI_s2_Out -> sensor2.RI_s2_Out {
788
    Taste::coordinates => "52166 143188 53210 143188 53210 142619 54034 142619";
789
  };
790
END on_off_cmds_st02.others;
791

792
END interfaceview::IV::on_off_cmds_st02;
793

794
PACKAGE interfaceview::IV::ground_system::ground_GUI
795
796
PUBLIC

797
WITH interfaceview::IV::obsw_routing;
798
WITH interfaceview::IV::ground_system::processTC;
799
WITH interfaceview::IV::payload::acceptance_cpdu1;
800
801
802
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
803
SUBPROGRAM PI_tm
804
FEATURES
805
  TM : IN PARAMETER DataView::TM {
806
807
808
809
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
810
END PI_tm;
811

812
813
814
815
SUBPROGRAM IMPLEMENTATION PI_tm.others
PROPERTIES
  Compute_Execution_Time => 0 ms .. 0 ms;
END PI_tm.others;
816

817
818
819
820
821
822
823
824
825
826
827
828
829
830
SUBPROGRAM PI_tm_time
FEATURES
  tm_09 : IN PARAMETER DataView::TM_st09 {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_tm_time;

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

831
SUBPROGRAM RI_test
832
FEATURES
833
  testStr : IN PARAMETER DataView::Test_Taps_Parameters {
834
835
    Taste::encoding => NATIVE;
  };
836
END RI_test;
837

838
839
SUBPROGRAM IMPLEMENTATION RI_test.others
END RI_test.others;
840

841
842
SUBPROGRAM RI_tc_gui
FEATURES
843
  TC : IN PARAMETER DataView::TC {
844
845
846
    Taste::encoding => NATIVE;
  };
END RI_tc_gui;
847

848
849
SUBPROGRAM IMPLEMENTATION RI_tc_gui.others
END RI_tc_gui.others;
850

851
852
853
854
855
856
857
858
859
860
SUBPROGRAM RI_test_Payload
FEATURES
  testPayload : IN PARAMETER DataView::Test_Taps_Parameters {
    Taste::encoding => NATIVE;
  };
END RI_test_Payload;

SUBPROGRAM IMPLEMENTATION RI_test_Payload.others
END RI_test_Payload.others;

861
SYSTEM ground_GUI
862
FEATURES
863
  PI_tm : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::ground_system::ground_GUI::PI_tm.others {
864
    Taste::coordinates => "62296 205143";
TASTE User's avatar
TASTE User committed
865
866
867
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
868
    Taste::InterfaceName => "tm";
TASTE User's avatar
TASTE User committed
869
  };
870
871
872
873
874
875
876
  PI_tm_time : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::ground_system::ground_GUI::PI_tm_time.others {
    Taste::coordinates => "62296 207043";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "tm_time";
  };
877
878
  RI_test : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::obsw_routing::PI_test.others {
    Taste::coordinates => "66292 204009";
TASTE User's avatar
TASTE User committed
879
    Taste::RCMoperationKind => any;
880
    Taste::InterfaceName => "test";
TASTE User's avatar
TASTE User committed
881
882
    Taste::labelInheritance => "true";
  };
883
  RI_tc_gui : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::ground_system::processTC::PI_tc_gui.others {
884
    Taste::coordinates => "67392 206590";
TASTE User's avatar
TASTE User committed
885
    Taste::RCMoperationKind => any;
886
    Taste::InterfaceName => "tc_gui";
TASTE User's avatar
TASTE User committed
887
888
    Taste::labelInheritance => "true";
  };
889
890
891
892
893
894
  RI_test_Payload : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::payload::acceptance_cpdu1::PI_test_Payload.others {
    Taste::coordinates => "67392 204833";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "test_Payload";
    Taste::labelInheritance => "true";
  };
895
896
PROPERTIES
  Source_Language => (GUI);
897
898
  Taste::Active_Interfaces => any;
END ground_GUI;
899

900
901
902
903
904
905
906
SYSTEM IMPLEMENTATION ground_GUI.others
END ground_GUI.others;

END interfaceview::IV::ground_system::ground_GUI;

PACKAGE interfaceview::IV::ground_system::processTC
PUBLIC
907

908
WITH interfaceview::IV::sc_routing;
909
910
911
912
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_tc_gui
913
FEATURES
914
  TC : IN PARAMETER DataView::TC {
915
    Taste::encoding => NATIVE;
916
  };
917
918
919
920
921
922
923
924
925
926
927
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_tc_gui;

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

SUBPROGRAM RI_tc
FEATURES
928
  tc : IN PARAMETER DataView::TC {
929
    Taste::encoding => NATIVE;
930
  };
931
932
933
934
935
936
937
938
END RI_tc;

SUBPROGRAM IMPLEMENTATION RI_tc.others
END RI_tc.others;

SYSTEM processTC
FEATURES
  PI_tc_gui : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::ground_system::processTC::PI_tc_gui.others {
939
    Taste::coordinates => "73550 205905";
940
941
942
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
943
    Taste::InterfaceName => "tc_gui";
944
  };
945
  RI_tc : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::sc_routing::PI_tc.others {
946
    Taste::coordinates => "78692 206366";
TASTE User's avatar
TASTE User committed
947
    Taste::RCMoperationKind => any;
948
    Taste::InterfaceName => "tc";
TASTE User's avatar
TASTE User committed
949
950
    Taste::labelInheritance => "true";
  };
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
PROPERTIES
  Source_Language => (SDL);
  Taste::Active_Interfaces => any;
END processTC;

SYSTEM IMPLEMENTATION processTC.others
END processTC.others;

END interfaceview::IV::ground_system::processTC;

PACKAGE interfaceview::IV::ground_system
PUBLIC

WITH interfaceview::IV::ground_system::ground_GUI;
WITH interfaceview::IV::ground_system::processTC;
966
967
968
WITH interfaceview::IV::obsw_routing;
WITH interfaceview::IV::sc_routing;
WITH interfaceview::IV::payload::acceptance_cpdu1;
969
970
971
972
973
974
975
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_tm
FEATURES
  TM : IN PARAMETER DataView::TM {
    Taste::encoding => NATIVE;
TASTE User's avatar
TASTE User committed
976
  };
977
978
979
980
981
982
983
984
985
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_tm;

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

986
987
988
989
990
991
992
993
994
995
996
997
998
999
SUBPROGRAM PI_tm_time
FEATURES
  tm_09 : IN PARAMETER DataView::TM_st09 {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_tm_time;

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

1000
SUBPROGRAM RI_test
For faster browsing, not all history is shown. View entire blame