__iv_1_3.aadl 4.98 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
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
---------------------------------------------------
-- AADL2.1
-- TASTE type interfaceview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE interfaceview::FV::LivesInX86
PUBLIC

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_report
FEATURES
  inputData : IN PARAMETER DataView::T_SEQ {
    Taste::encoding => UPER;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_report;

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

SUBPROGRAM RI_something
FEATURES
  inputData : IN PARAMETER DataView::T_SEQ {
    Taste::encoding => UPER;
  };
END RI_something;

SUBPROGRAM IMPLEMENTATION RI_something.others
END RI_something.others;

END interfaceview::FV::LivesInX86;

PACKAGE interfaceview::FV::LivesInGR740
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_something
FEATURES
  inputData : IN PARAMETER DataView::T_SEQ {
    Taste::encoding => UPER;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_something;

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

SUBPROGRAM RI_report
FEATURES
  inputData : IN PARAMETER DataView::T_SEQ {
    Taste::encoding => UPER;
  };
END RI_report;

SUBPROGRAM IMPLEMENTATION RI_report.others
END RI_report.others;

END interfaceview::FV::LivesInGR740;

PACKAGE interfaceview::IV
PUBLIC

WITH interfaceview::FV::LivesInGR740;
WITH interfaceview::FV::LivesInX86;
WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SYSTEM LivesInX86
FEATURES
  PI_pulse : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::LivesInX86::PI_pulse.others {
    Taste::coordinates => "118268 50077";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 1000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "pulse";
  };
  PI_report : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::LivesInX86::PI_report.others {
    Taste::coordinates => "134642 78427";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "report";
  };
  RI_something : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::LivesInGR740::PI_something.others {
    Taste::coordinates => "134642 56377";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "something";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END LivesInX86;

SYSTEM IMPLEMENTATION LivesInX86.others
SUBCOMPONENTS
  pulse_impl : SUBPROGRAM interfaceview::FV::LivesInX86::PI_pulse.others;
  report_impl : SUBPROGRAM interfaceview::FV::LivesInX86::PI_report.others;
CONNECTIONS
  OpToPICnx_pulse_impl : SUBPROGRAM ACCESS pulse_impl -> PI_pulse;
  OpToPICnx_report_impl : SUBPROGRAM ACCESS report_impl -> PI_report;
END LivesInX86.others;

SYSTEM LivesInGR740
FEATURES
  PI_something : PROVIDES SUBPROGRAM ACCESS interfaceview::FV::LivesInGR740::PI_something.others {
    Taste::coordinates => "159523 62205";
    Taste::RCMoperationKind => sporadic;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "something";
  };
  RI_report : REQUIRES SUBPROGRAM ACCESS interfaceview::FV::LivesInX86::PI_report.others {
    Taste::coordinates => "159523 73230";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "report";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END LivesInGR740;

SYSTEM IMPLEMENTATION LivesInGR740.others
SUBCOMPONENTS
  something_impl : SUBPROGRAM interfaceview::FV::LivesInGR740::PI_something.others;
CONNECTIONS
  OpToPICnx_something_impl : SUBPROGRAM ACCESS something_impl -> PI_something;
END LivesInGR740.others;

SYSTEM interfaceview
154
155
156
PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
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
END interfaceview;

SYSTEM IMPLEMENTATION interfaceview.others
SUBCOMPONENTS
  LivesInX86 : SYSTEM interfaceview::IV::LivesInX86.others {
    Taste::coordinates => "93068 50077 134642 99525";
  };
  LivesInGR740 : SYSTEM interfaceview::IV::LivesInGR740.others {
    Taste::coordinates => "159523 49605 202829 99210";
  };
CONNECTIONS
  LivesInX86_PI_report_LivesInGR740_RI_report : SUBPROGRAM ACCESS LivesInX86.PI_report -> LivesInGR740.RI_report {
    Taste::coordinates => "159523 73230 147082 73230 147082 78427 134642 78427";
  };
  LivesInGR740_PI_something_LivesInX86_RI_something : SUBPROGRAM ACCESS LivesInGR740.PI_something -> LivesInX86.RI_something {
    Taste::coordinates => "134642 56377 147082 56377 147082 62205 159523 62205";
  };
END interfaceview.others;

PROPERTIES
  Taste::dataView => ("DataView");
  Taste::dataViewPath => ("DataView.aadl");
  Taste::coordinates => "0 0 297000 210000";
  Taste::version => "1.3";
END interfaceview::IV;