InterfaceView.aadl 4.59 KB
Newer Older
Tiago Jorge's avatar
Tiago Jorge 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
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
154
155
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
---------------------------------------------------
-- AADL2.2
-- TASTE type interfaceview
-- 
-- generated code: do not edit
---------------------------------------------------

PACKAGE interfaceview::IV::Calling
PUBLIC

WITH interfaceview::IV::Gnc;
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_changeMode
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_changeMode;

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

SUBPROGRAM RI_do_something
FEATURES
  inp1 : IN PARAMETER DataView::Seq3 {
    Taste::encoding => NATIVE;
  };
  inp2 : IN PARAMETER DataView::Seq3 {
    Taste::encoding => NATIVE;
  };
  inp3 : IN PARAMETER DataView::Seq4 {
    Taste::encoding => NATIVE;
  };
  outpu : OUT PARAMETER DataView::Seqout {
    Taste::encoding => NATIVE;
  };
  innested : IN PARAMETER DataView::In_Nested {
    Taste::encoding => NATIVE;
  };
  outnested : OUT PARAMETER DataView::Out_Nested {
    Taste::encoding => NATIVE;
  };
END RI_do_something;

SUBPROGRAM IMPLEMENTATION RI_do_something.others
END RI_do_something.others;

SYSTEM Calling
FEATURES
  PI_pulse : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Calling::PI_pulse.others {
    Taste::coordinates => "100509 56233";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 1000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "pulse";
  };
  PI_changeMode : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Calling::PI_changeMode.others {
    Taste::coordinates => "111658 56233";
    Taste::RCMoperationKind => cyclic;
    Taste::RCMperiod => 20000 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "changeMode";
  };
  RI_do_something : REQUIRES SUBPROGRAM ACCESS interfaceview::IV::Gnc::PI_do_something.others {
    Taste::coordinates => "134118 68838";
    Taste::RCMoperationKind => any;
    Taste::InterfaceName => "do_something";
    Taste::labelInheritance => "true";
  };
PROPERTIES
  Source_Language => (C);
  Taste::Active_Interfaces => any;
END Calling;

SYSTEM IMPLEMENTATION Calling.others
END Calling.others;

END interfaceview::IV::Calling;

PACKAGE interfaceview::IV::Gnc
PUBLIC

WITH Taste;
WITH DataView;
WITH TASTE_IV_Properties;
SUBPROGRAM PI_do_something
FEATURES
  inp1 : IN PARAMETER DataView::Seq3 {
    Taste::encoding => NATIVE;
  };
  inp2 : IN PARAMETER DataView::Seq3 {
    Taste::encoding => NATIVE;
  };
  inp3 : IN PARAMETER DataView::Seq4 {
    Taste::encoding => NATIVE;
  };
  outpu : OUT PARAMETER DataView::Seqout {
    Taste::encoding => NATIVE;
  };
  innested : IN PARAMETER DataView::In_Nested {
    Taste::encoding => NATIVE;
  };
  outnested : OUT PARAMETER DataView::Out_Nested {
    Taste::encoding => NATIVE;
  };
PROPERTIES
  Taste::Associated_Queue_Size => 1;
END PI_do_something;

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

SYSTEM Gnc
FEATURES
  PI_do_something : PROVIDES SUBPROGRAM ACCESS interfaceview::IV::Gnc::PI_do_something.others {
    Taste::coordinates => "168500 82079";
    Taste::RCMoperationKind => protected;
    Taste::RCMperiod => 0 ms;
    Taste::Deadline => 0 ms;
    Taste::InterfaceName => "do_something";
  };
PROPERTIES
  Source_Language => (Simulink);
  Taste::Active_Interfaces => any;
END Gnc;

SYSTEM IMPLEMENTATION Gnc.others
END Gnc.others;

END interfaceview::IV::Gnc;

PACKAGE interfaceview::IV
PUBLIC

WITH interfaceview::IV::Calling;
WITH interfaceview::IV::Gnc;
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
  Calling : SYSTEM interfaceview::IV::Calling::Calling.others {
    Taste::coordinates => "84026 56233 134118 94530";
  };
  Gnc : SYSTEM interfaceview::IV::Gnc::Gnc.others {
    Taste::coordinates => "168500 62527 230065 103086";
    TASTE_IV_Properties::FPGA_Configurations => "modeA,modeB";
  };
CONNECTIONS
  Gnc_PI_do_something_Calling_RI_do_something : SUBPROGRAM ACCESS Gnc.PI_do_something -> Calling.RI_do_something {
    Taste::coordinates => "134118 68838 152279 68838 152279 82079 168500 82079";
  };
END interfaceview.others;

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