|
1
|
-- File generated using Simulink2Lustre r550
|
|
2
|
-- More informations at https://cavale.enseeiht.fr/redmine/projects/cristalcavegem
|
|
3
|
--Trace FROMFILE : Latitudinal_Control_Verif.mdl ;
|
|
4
|
--Trace FROMFILE_SHA256 : b743bb9b48cd690e18d39c7a79d13e7dbd905c99e4b982fe5f17fe62bc9cb06e ;
|
|
5
|
|
|
6
|
|
|
7
|
--Trace PARAMETER : "Latitudinal_Control_Verif/EngageORzero/zero10/Value" ;
|
|
8
|
const Latitudinal_Control_Verif_EngageORzero_zero10_Value = 1 ;
|
|
9
|
--Trace PARAMETER : "Latitudinal_Control_Verif/EngageORzero/zero9/Value" ;
|
|
10
|
const Latitudinal_Control_Verif_EngageORzero_zero9_Value = 0 ;
|
|
11
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Gain1/Gain" ;
|
|
12
|
const Latitudinal_Control_Verif_Gain1_Gain = -1 ;
|
|
13
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/180/Value" ;
|
|
14
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_var180_Value = 180 ;
|
|
15
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Constant1_ANGL/Value" ;
|
|
16
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_Constant1_ANGL_Value = 180 ;
|
|
17
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Constant2_ANGL/Value" ;
|
|
18
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_Constant2_ANGL_Value = 360 ;
|
|
19
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Constant3/Value" ;
|
|
20
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_sign_Constant3_Value = 0.0 ;
|
|
21
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Constant4/Value" ;
|
|
22
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_sign_Constant4_Value = 1.0 ;
|
|
23
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Constant5/Value" ;
|
|
24
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_sign_Constant5_Value = -1.0 ;
|
|
25
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Constant1/Value" ;
|
|
26
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Saturation1_Constant1_Value = 0.0001 ;
|
|
27
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Constant2/Value" ;
|
|
28
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Saturation1_Constant2_Value = 1000 ;
|
|
29
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/init/Value" ;
|
|
30
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_init_Value = 0.0 ;
|
|
31
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k/Gain" ;
|
|
32
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_k_Gain = -1.0 ;
|
|
33
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k1/Gain" ;
|
|
34
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_k1_Gain = -1.0 ;
|
|
35
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k2/Gain" ;
|
|
36
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_k2_Gain = 1.6878 ;
|
|
37
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k4/Gain" ;
|
|
38
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_k4_Gain = 32.174 ;
|
|
39
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k6/Gain" ;
|
|
40
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_k6_Gain = 2 ;
|
|
41
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/Constant1/Value" ;
|
|
42
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_omega_calc_Constant1_Value = 1.6 ;
|
|
43
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/Constant2/Value" ;
|
|
44
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_omega_calc_Constant2_Value = 0.0 ;
|
|
45
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/pi/Value" ;
|
|
46
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_pi_Value = 3.1415 ;
|
|
47
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/rollLimit/Value" ;
|
|
48
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_rollLimit_Value = 30 ;
|
|
49
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/Constant1/Value" ;
|
|
50
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_times514dot8_Constant1_Value = 514.8 ;
|
|
51
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Constant1/Value" ;
|
|
52
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Constant1_Value = 0 ;
|
|
53
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Constant2/Value" ;
|
|
54
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Constant2_Value = 0 ;
|
|
55
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Constant3/Value" ;
|
|
56
|
const Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Constant3_Value = 0 ;
|
|
57
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/Khdg/Gain" ;
|
|
58
|
const Latitudinal_Control_Verif_Heading_Control_Khdg_Gain = 0.05 ;
|
|
59
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/Khdg1/Gain" ;
|
|
60
|
const Latitudinal_Control_Verif_Heading_Control_Khdg1_Gain = 1 ;
|
|
61
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/Khdg2/Gain" ;
|
|
62
|
const Latitudinal_Control_Verif_Heading_Control_Khdg2_Gain = 1 ;
|
|
63
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/Khdgrte/Gain" ;
|
|
64
|
const Latitudinal_Control_Verif_Heading_Control_Khdgrte_Gain = 3 ;
|
|
65
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/sgn/Gain" ;
|
|
66
|
const Latitudinal_Control_Verif_Heading_Control_sgn_Gain = -1 ;
|
|
67
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/Constant1/Value" ;
|
|
68
|
const Latitudinal_Control_Verif_Heading_Control_Constant1_Value = 0 ;
|
|
69
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/Constant2/Value" ;
|
|
70
|
const Latitudinal_Control_Verif_Heading_Control_Constant2_Value = 0 ;
|
|
71
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Heading Control/Constant3/Value" ;
|
|
72
|
const Latitudinal_Control_Verif_Heading_Control_Constant3_Value = 0 ;
|
|
73
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/Kphierr/Gain" ;
|
|
74
|
const Latitudinal_Control_Verif_Roll_InnerLoop_Kphierr_Gain = 0.5 ;
|
|
75
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r1/Value" ;
|
|
76
|
const Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r1_Value = 0.0 ;
|
|
77
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r2/Value" ;
|
|
78
|
const Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r2_Value = 120.0 ;
|
|
79
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r3/Value" ;
|
|
80
|
const Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r3_Value = 350.0 ;
|
|
81
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r4/Value" ;
|
|
82
|
const Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r4_Value = 500.0 ;
|
|
83
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r5/Value" ;
|
|
84
|
const Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r5_Value = 1.0 ;
|
|
85
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r6/Value" ;
|
|
86
|
const Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r6_Value = 1.0 ;
|
|
87
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r7/Value" ;
|
|
88
|
const Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r7_Value = 0.3 ;
|
|
89
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r8/Value" ;
|
|
90
|
const Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r8_Value = 0.3 ;
|
|
91
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/a#1/Gain" ;
|
|
92
|
const Latitudinal_Control_Verif_Roll_InnerLoop_asharp1_Gain = 0.500000 ;
|
|
93
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/b0#1/Gain" ;
|
|
94
|
const Latitudinal_Control_Verif_Roll_InnerLoop_b0sharp1_Gain = -0.00645 ;
|
|
95
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/b0#2/Gain" ;
|
|
96
|
const Latitudinal_Control_Verif_Roll_InnerLoop_b0sharp2_Gain = 0.006450 ;
|
|
97
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/delay#1/InitialValue" ;
|
|
98
|
const Latitudinal_Control_Verif_Roll_InnerLoop_delaysharp1_InitialValue = 0.0 ;
|
|
99
|
--Trace PARAMETER : "Latitudinal_Control_Verif/Roll InnerLoop/sample#1/Gain" ;
|
|
100
|
const Latitudinal_Control_Verif_Roll_InnerLoop_samplesharp1_Gain = 0.020000 ;
|
|
101
|
|
|
102
|
node int_to_real(x : int)
|
|
103
|
returns ( out : real ) ;
|
|
104
|
let
|
|
105
|
out = 1.0;
|
|
106
|
tel
|
|
107
|
|
|
108
|
|
|
109
|
node integrator_reset ( Fx : real ; ResetLevel : bool ; x0 : real )
|
|
110
|
returns ( out : real ) ;
|
|
111
|
let
|
|
112
|
out = x0 -> if ( ResetLevel ) then x0 else ( Fx * 1.000000 ) + pre ( out );
|
|
113
|
tel
|
|
114
|
|
|
115
|
|
|
116
|
--Trace BLOCK : "Latitudinal_Control_Verif" ;
|
|
117
|
|
|
118
|
node Latitudinal_Control_Verif (
|
|
119
|
--Trace PORT : "Latitudinal_Control_Verif/AilcmdMan /Out1" ;
|
|
120
|
AilcmdMan__Out1_19 : real ;
|
|
121
|
--Trace PORT : "Latitudinal_Control_Verif/cas_ktsf/Out1" ;
|
|
122
|
cas_ktsf_Out1_29 : real ;
|
|
123
|
--Trace PORT : "Latitudinal_Control_Verif/phidegf/Out1" ;
|
|
124
|
phidegf_Out1_39 : real ;
|
|
125
|
--Trace PORT : "Latitudinal_Control_Verif/psidegf/Out1" ;
|
|
126
|
psidegf_Out1_49 : real ;
|
|
127
|
--Trace PORT : "Latitudinal_Control_Verif/psidotdeg/Out1" ;
|
|
128
|
psidotdeg_Out1_59 : real ;
|
|
129
|
--Trace PORT : "Latitudinal_Control_Verif/tas_ktsf/Out1" ;
|
|
130
|
tas_ktsf_Out1_69 : real ;
|
|
131
|
--Trace PORT : "Latitudinal_Control_Verif/pbdegf/Out1" ;
|
|
132
|
pbdegf_Out1_79 : real ;
|
|
133
|
--Trace PORT : "Latitudinal_Control_Verif/beta_degf/Out1" ;
|
|
134
|
beta_degf_Out1_89 : real ;
|
|
135
|
--Trace PORT : "Latitudinal_Control_Verif/ApHeadEng/Out1" ;
|
|
136
|
ApHeadEng_Out1_99 : real ;
|
|
137
|
--Trace PORT : "Latitudinal_Control_Verif/APHeadCmd/Out1" ;
|
|
138
|
APHeadCmd_Out1_109 : real ;
|
|
139
|
--Trace PORT : "Latitudinal_Control_Verif/RollLimit/Out1" ;
|
|
140
|
RollLimit_Out1_119 : bool)
|
|
141
|
returns (
|
|
142
|
--Trace PORT : "Latitudinal_Control_Verif/AilCmd/In1" ;
|
|
143
|
AilCmd_In1_2767 : real) ;
|
|
144
|
var
|
|
145
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/Out1" ;
|
|
146
|
EngageORzero_Out1_243 : real ;
|
|
147
|
--Trace PORT : "Latitudinal_Control_Verif/Gain1/Out1" ;
|
|
148
|
Gain1_Out1_321 : real ;
|
|
149
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Out1" ;
|
|
150
|
Heading_Control_Out1_334 : real ;
|
|
151
|
--Trace PORT : "Latitudinal_Control_Verif/ManualOverride/Out1" ;
|
|
152
|
ManualOverride_Out1_1806 : real ;
|
|
153
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Out1" ;
|
|
154
|
Roll_InnerLoop_Out1_1861 : real ;
|
|
155
|
--Trace PORT : "Latitudinal_Control_Verif/Terminator7/In1" ;
|
|
156
|
Terminator7_In1_2755 : real ;
|
|
157
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/In1" ;
|
|
158
|
EngageORzero_In1_241 : real ;
|
|
159
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/In2" ;
|
|
160
|
EngageORzero_In2_242 : real ;
|
|
161
|
--Trace PORT : "Latitudinal_Control_Verif/Gain1/In1" ;
|
|
162
|
Gain1_In1_320 : real ;
|
|
163
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/In1" ;
|
|
164
|
Heading_Control_In1_327 : real ;
|
|
165
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/In2" ;
|
|
166
|
Heading_Control_In2_328 : real ;
|
|
167
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/In3" ;
|
|
168
|
Heading_Control_In3_329 : real ;
|
|
169
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/In4" ;
|
|
170
|
Heading_Control_In4_330 : real ;
|
|
171
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/In5" ;
|
|
172
|
Heading_Control_In5_331 : real ;
|
|
173
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/In6" ;
|
|
174
|
Heading_Control_In6_332 : real ;
|
|
175
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/In7" ;
|
|
176
|
Heading_Control_In7_333 : bool ;
|
|
177
|
--Trace PORT : "Latitudinal_Control_Verif/ManualOverride/In1" ;
|
|
178
|
ManualOverride_In1_1804 : real ;
|
|
179
|
--Trace PORT : "Latitudinal_Control_Verif/ManualOverride/In2" ;
|
|
180
|
ManualOverride_In2_1805 : real ;
|
|
181
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/In1" ;
|
|
182
|
Roll_InnerLoop_In1_1857 : real ;
|
|
183
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/In2" ;
|
|
184
|
Roll_InnerLoop_In2_1858 : real ;
|
|
185
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/In3" ;
|
|
186
|
Roll_InnerLoop_In3_1859 : real ;
|
|
187
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/In4" ;
|
|
188
|
Roll_InnerLoop_In4_1860 : real ;
|
|
189
|
let
|
|
190
|
--Trace BLOCK : "Latitudinal_Control_Verif/EngageORzero" ;
|
|
191
|
EngageORzero_Out1_243 = Latitudinal_Control_Verif_EngageORzero (EngageORzero_In1_241, EngageORzero_In2_242) ;
|
|
192
|
--Trace BLOCK : "Latitudinal_Control_Verif/Gain1" ;
|
|
193
|
Gain1_Out1_321 = int_to_real (Latitudinal_Control_Verif_Gain1_Gain) * Gain1_In1_320 ;
|
|
194
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control" ;
|
|
195
|
Heading_Control_Out1_334 = Latitudinal_Control_Verif_Heading_Control (Heading_Control_In1_327, Heading_Control_In2_328, Heading_Control_In3_329, Heading_Control_In4_330, Heading_Control_In5_331, Heading_Control_In6_332, Heading_Control_In7_333) ;
|
|
196
|
--Trace BLOCK : "Latitudinal_Control_Verif/ManualOverride" ;
|
|
197
|
ManualOverride_Out1_1806 = Latitudinal_Control_Verif_ManualOverride (ManualOverride_In1_1804, ManualOverride_In2_1805) ;
|
|
198
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop" ;
|
|
199
|
Roll_InnerLoop_Out1_1861 = Latitudinal_Control_Verif_Roll_InnerLoop (Roll_InnerLoop_In1_1857, Roll_InnerLoop_In2_1858, Roll_InnerLoop_In3_1859, Roll_InnerLoop_In4_1860) ;
|
|
200
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Gain1_2_AilCmd" ;
|
|
201
|
AilCmd_In1_2767 = Gain1_Out1_321 ;
|
|
202
|
--Trace SIGNAL : "Latitudinal_Control_Verif/beta_degf_2_Terminator7" ;
|
|
203
|
Terminator7_In1_2755 = beta_degf_Out1_89 ;
|
|
204
|
--Trace SIGNAL : "Latitudinal_Control_Verif/pbdegf_2_Roll InnerLoop" ;
|
|
205
|
Roll_InnerLoop_In3_1859 = pbdegf_Out1_79 ;
|
|
206
|
--Trace SIGNAL : "Latitudinal_Control_Verif/tas_ktsf_2_Heading Control" ;
|
|
207
|
Heading_Control_In4_330 = tas_ktsf_Out1_69 ;
|
|
208
|
--Trace SIGNAL : "Latitudinal_Control_Verif/psidotdeg_2_Heading Control" ;
|
|
209
|
Heading_Control_In3_329 = psidotdeg_Out1_59 ;
|
|
210
|
--Trace SIGNAL : "Latitudinal_Control_Verif/psidegf_2_Heading Control" ;
|
|
211
|
Heading_Control_In2_328 = psidegf_Out1_49 ;
|
|
212
|
--Trace SIGNAL : "Latitudinal_Control_Verif/phidegf_2_Heading Control" ;
|
|
213
|
Heading_Control_In5_331 = phidegf_Out1_39 ;
|
|
214
|
--Trace SIGNAL : "Latitudinal_Control_Verif/phidegf_2_Roll InnerLoop" ;
|
|
215
|
Roll_InnerLoop_In2_1858 = phidegf_Out1_39 ;
|
|
216
|
--Trace SIGNAL : "Latitudinal_Control_Verif/APHeadCmd_2_Heading Control" ;
|
|
217
|
Heading_Control_In1_327 = APHeadCmd_Out1_109 ;
|
|
218
|
--Trace SIGNAL : "Latitudinal_Control_Verif/ApHeadEng_2_Heading Control" ;
|
|
219
|
Heading_Control_In6_332 = ApHeadEng_Out1_99 ;
|
|
220
|
--Trace SIGNAL : "Latitudinal_Control_Verif/ApHeadEng_2_EngageORzero" ;
|
|
221
|
EngageORzero_In1_241 = ApHeadEng_Out1_99 ;
|
|
222
|
--Trace SIGNAL : "Latitudinal_Control_Verif/cas_ktsf_2_Roll InnerLoop" ;
|
|
223
|
Roll_InnerLoop_In4_1860 = cas_ktsf_Out1_29 ;
|
|
224
|
--Trace SIGNAL : "Latitudinal_Control_Verif/AilcmdMan _2_ManualOverride" ;
|
|
225
|
ManualOverride_In1_1804 = AilcmdMan__Out1_19 ;
|
|
226
|
--Trace SIGNAL : "Latitudinal_Control_Verif/RollLimit_2_Heading Control" ;
|
|
227
|
Heading_Control_In7_333 = RollLimit_Out1_119 ;
|
|
228
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control_2_Roll InnerLoop" ;
|
|
229
|
Roll_InnerLoop_In1_1857 = Heading_Control_Out1_334 ;
|
|
230
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop_2_EngageORzero" ;
|
|
231
|
EngageORzero_In2_242 = Roll_InnerLoop_Out1_1861 ;
|
|
232
|
--Trace SIGNAL : "Latitudinal_Control_Verif/ManualOverride_2_Gain1" ;
|
|
233
|
Gain1_In1_320 = ManualOverride_Out1_1806 ;
|
|
234
|
--Trace SIGNAL : "Latitudinal_Control_Verif/EngageORzero_2_ManualOverride" ;
|
|
235
|
ManualOverride_In2_1805 = EngageORzero_Out1_243 ;
|
|
236
|
--! MAIN : true ;
|
|
237
|
tel
|
|
238
|
|
|
239
|
--Trace BLOCK : "Latitudinal_Control_Verif/EngageORzero" ;
|
|
240
|
|
|
241
|
node Latitudinal_Control_Verif_EngageORzero (
|
|
242
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/Engage/Out1" ;
|
|
243
|
Engage_Out1_253 : real ;
|
|
244
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/In/Out1" ;
|
|
245
|
In_Out1_263 : real)
|
|
246
|
returns (
|
|
247
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/Out/In1" ;
|
|
248
|
Out_In1_306 : real) ;
|
|
249
|
var
|
|
250
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/Logical\\nOperator5/Out1" ;
|
|
251
|
Logical_Operator5_Out1_269 : bool ;
|
|
252
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/Switch1/Out1" ;
|
|
253
|
Switch1_Out1_278 : real ;
|
|
254
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/Logical\\nOperator5/In1" ;
|
|
255
|
Logical_Operator5_In1_267 : bool ;
|
|
256
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/Logical\\nOperator5/In2" ;
|
|
257
|
Logical_Operator5_In2_268 : bool ;
|
|
258
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/Switch1/In1" ;
|
|
259
|
Switch1_In1_275 : real ;
|
|
260
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/Switch1/In2" ;
|
|
261
|
Switch1_In2_276 : bool ;
|
|
262
|
--Trace PORT : "Latitudinal_Control_Verif/EngageORzero/Switch1/In3" ;
|
|
263
|
Switch1_In3_277 : real ;
|
|
264
|
let
|
|
265
|
--Trace BLOCK : "Latitudinal_Control_Verif/EngageORzero/Logical\\nOperator5" ;
|
|
266
|
Logical_Operator5_Out1_269 = Logical_Operator5_In1_267 and Logical_Operator5_In2_268 ;
|
|
267
|
--Trace BLOCK : "Latitudinal_Control_Verif/EngageORzero/Switch1" ;
|
|
268
|
Switch1_Out1_278 =
|
|
269
|
if Switch1_In2_276 then
|
|
270
|
Switch1_In1_275
|
|
271
|
else Switch1_In3_277 ;
|
|
272
|
--Trace SIGNAL : "Latitudinal_Control_Verif/EngageORzero/Engage_2_Logical\\nOperator5" ;
|
|
273
|
Logical_Operator5_In1_267 =
|
|
274
|
if Engage_Out1_253 = 0.0 then
|
|
275
|
false
|
|
276
|
else true ;
|
|
277
|
--Trace SIGNAL : "Latitudinal_Control_Verif/EngageORzero/zero10_2_Logical\\nOperator5" ;
|
|
278
|
Logical_Operator5_In2_268 =
|
|
279
|
if Latitudinal_Control_Verif_EngageORzero_zero10_Value = 0 then
|
|
280
|
false
|
|
281
|
else true ;
|
|
282
|
--Trace SIGNAL : "Latitudinal_Control_Verif/EngageORzero/zero9_2_Switch1" ;
|
|
283
|
Switch1_In3_277 = int_to_real (Latitudinal_Control_Verif_EngageORzero_zero9_Value) ;
|
|
284
|
--Trace SIGNAL : "Latitudinal_Control_Verif/EngageORzero/In_2_Switch1" ;
|
|
285
|
Switch1_In1_275 = In_Out1_263 ;
|
|
286
|
--Trace SIGNAL : "Latitudinal_Control_Verif/EngageORzero/Logical\\nOperator5_2_Switch1" ;
|
|
287
|
Switch1_In2_276 = Logical_Operator5_Out1_269 ;
|
|
288
|
--Trace SIGNAL : "Latitudinal_Control_Verif/EngageORzero/Switch1_2_Out" ;
|
|
289
|
Out_In1_306 = Switch1_Out1_278 ;
|
|
290
|
|
|
291
|
tel
|
|
292
|
|
|
293
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control" ;
|
|
294
|
|
|
295
|
node Latitudinal_Control_Verif_Heading_Control (
|
|
296
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdMCP/Out1" ;
|
|
297
|
HdgCmdMCP_Out1_344 : real ;
|
|
298
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Heading/Out1" ;
|
|
299
|
Heading_Out1_354 : real ;
|
|
300
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/psidot/Out1" ;
|
|
301
|
psidot_Out1_364 : real ;
|
|
302
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Vt/Out1" ;
|
|
303
|
Vt_Out1_374 : real ;
|
|
304
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Roll/Out1" ;
|
|
305
|
Roll_Out1_384 : real ;
|
|
306
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HeadEng/Out1" ;
|
|
307
|
HeadEng_Out1_394 : real ;
|
|
308
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/RollLimit/Out1" ;
|
|
309
|
RollLimit_Out1_404 : bool)
|
|
310
|
returns (
|
|
311
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/RollCmd/In1" ;
|
|
312
|
RollCmd_In1_1759 : real) ;
|
|
313
|
var
|
|
314
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Out1" ;
|
|
315
|
HdgCmdProcessor_Out1_413 : real ;
|
|
316
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Out2" ;
|
|
317
|
HdgCmdProcessor_Out2_414 : real ;
|
|
318
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Khdg/Out1" ;
|
|
319
|
Khdg_Out1_1430 : real ;
|
|
320
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Khdg1/Out1" ;
|
|
321
|
Khdg1_Out1_1439 : real ;
|
|
322
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Khdg2/Out1" ;
|
|
323
|
Khdg2_Out1_1448 : real ;
|
|
324
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Khdgrte/Out1" ;
|
|
325
|
Khdgrte_Out1_1457 : real ;
|
|
326
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator/Out1" ;
|
|
327
|
Logical_Operator_Out1_1462 : bool ;
|
|
328
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Max/Out1" ;
|
|
329
|
Max_Out1_1472 : real ;
|
|
330
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Min/Out1" ;
|
|
331
|
Min_Out1_1482 : real ;
|
|
332
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Mux/Out1" ;
|
|
333
|
Mux_Out1_1486 : real^2 ;
|
|
334
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum/Out1" ;
|
|
335
|
Sum_Out1_1496 : real ;
|
|
336
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum1/Out1" ;
|
|
337
|
Sum1_Out1_1506 : real ;
|
|
338
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum2/Out1" ;
|
|
339
|
Sum2_Out1_1516 : real ;
|
|
340
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum3/Out1" ;
|
|
341
|
Sum3_Out1_1526 : real ;
|
|
342
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum4/Out1" ;
|
|
343
|
Sum4_Out1_1536 : real ;
|
|
344
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/sgn/Out1" ;
|
|
345
|
sgn_Out1_1747 : int ;
|
|
346
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Integrator1_1/Out1" ;
|
|
347
|
Integrator1_1_Out1_1630 : real ;
|
|
348
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_1/Out1" ;
|
|
349
|
Logical_Operator1_1_Out1_1636 : bool ;
|
|
350
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_2/Out1" ;
|
|
351
|
Logical_Operator1_2_Out1_1642 : bool ;
|
|
352
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_3/Out1" ;
|
|
353
|
Logical_Operator1_3_Out1_1648 : bool ;
|
|
354
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator/Out1" ;
|
|
355
|
Relational_Operator_Out1_1654 : bool ;
|
|
356
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator1/Out1" ;
|
|
357
|
Relational_Operator1_Out1_1660 : bool ;
|
|
358
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator2/Out1" ;
|
|
359
|
Relational_Operator2_Out1_1666 : bool ;
|
|
360
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator3/Out1" ;
|
|
361
|
Relational_Operator3_Out1_1672 : bool ;
|
|
362
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch1/Out1" ;
|
|
363
|
Switch1_Out1_1681 : real ;
|
|
364
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch2/Out1" ;
|
|
365
|
Switch2_Out1_1690 : real ;
|
|
366
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch3/Out1" ;
|
|
367
|
Switch3_Out1_1699 : real ;
|
|
368
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/In1" ;
|
|
369
|
HdgCmdProcessor_In1_410 : real ;
|
|
370
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/In2" ;
|
|
371
|
HdgCmdProcessor_In2_411 : real ;
|
|
372
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/In3" ;
|
|
373
|
HdgCmdProcessor_In3_412 : real ;
|
|
374
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Khdg/In1" ;
|
|
375
|
Khdg_In1_1429 : real ;
|
|
376
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Khdg1/In1" ;
|
|
377
|
Khdg1_In1_1438 : real ;
|
|
378
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Khdg2/In1" ;
|
|
379
|
Khdg2_In1_1447 : real ;
|
|
380
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Khdgrte/In1" ;
|
|
381
|
Khdgrte_In1_1456 : real ;
|
|
382
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator/In1" ;
|
|
383
|
Logical_Operator_In1_1461 : bool ;
|
|
384
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Max/In1" ;
|
|
385
|
Max_In1_1470 : real ;
|
|
386
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Max/In2" ;
|
|
387
|
Max_In2_1471 : real ;
|
|
388
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Min/In1" ;
|
|
389
|
Min_In1_1480 : real ;
|
|
390
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Min/In2" ;
|
|
391
|
Min_In2_1481 : real ;
|
|
392
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Mux/In1" ;
|
|
393
|
Mux_In1_1484 : real ;
|
|
394
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Mux/In2" ;
|
|
395
|
Mux_In2_1485 : real ;
|
|
396
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum/In1" ;
|
|
397
|
Sum_In1_1494 : real ;
|
|
398
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum/In2" ;
|
|
399
|
Sum_In2_1495 : real ;
|
|
400
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum1/In1" ;
|
|
401
|
Sum1_In1_1504 : real ;
|
|
402
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum1/In2" ;
|
|
403
|
Sum1_In2_1505 : real ;
|
|
404
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum2/In1" ;
|
|
405
|
Sum2_In1_1514 : real ;
|
|
406
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum2/In2" ;
|
|
407
|
Sum2_In2_1515 : real ;
|
|
408
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum3/In1" ;
|
|
409
|
Sum3_In1_1524 : real ;
|
|
410
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum3/In2" ;
|
|
411
|
Sum3_In2_1525 : real ;
|
|
412
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum4/In1" ;
|
|
413
|
Sum4_In1_1534 : real ;
|
|
414
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Sum4/In2" ;
|
|
415
|
Sum4_In2_1535 : real ;
|
|
416
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/sgn/In1" ;
|
|
417
|
sgn_In1_1746 : int ;
|
|
418
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Integrator1_1/In1" ;
|
|
419
|
Integrator1_1_In1_1627 : real ;
|
|
420
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Integrator1_1/In2" ;
|
|
421
|
Integrator1_1_In2_1628 : bool ;
|
|
422
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Integrator1_1/In3" ;
|
|
423
|
Integrator1_1_In3_1629 : real ;
|
|
424
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_1/In1" ;
|
|
425
|
Logical_Operator1_1_In1_1634 : bool ;
|
|
426
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_1/In2" ;
|
|
427
|
Logical_Operator1_1_In2_1635 : bool ;
|
|
428
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_2/In1" ;
|
|
429
|
Logical_Operator1_2_In1_1640 : bool ;
|
|
430
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_2/In2" ;
|
|
431
|
Logical_Operator1_2_In2_1641 : bool ;
|
|
432
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_3/In1" ;
|
|
433
|
Logical_Operator1_3_In1_1646 : bool ;
|
|
434
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_3/In2" ;
|
|
435
|
Logical_Operator1_3_In2_1647 : bool ;
|
|
436
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator/In1" ;
|
|
437
|
Relational_Operator_In1_1652 : real ;
|
|
438
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator/In2" ;
|
|
439
|
Relational_Operator_In2_1653 : real ;
|
|
440
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator1/In1" ;
|
|
441
|
Relational_Operator1_In1_1658 : real ;
|
|
442
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator1/In2" ;
|
|
443
|
Relational_Operator1_In2_1659 : real ;
|
|
444
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator2/In1" ;
|
|
445
|
Relational_Operator2_In1_1664 : real ;
|
|
446
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator2/In2" ;
|
|
447
|
Relational_Operator2_In2_1665 : real ;
|
|
448
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator3/In1" ;
|
|
449
|
Relational_Operator3_In1_1670 : real ;
|
|
450
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator3/In2" ;
|
|
451
|
Relational_Operator3_In2_1671 : real ;
|
|
452
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch1/In1" ;
|
|
453
|
Switch1_In1_1678 : real ;
|
|
454
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch1/In2" ;
|
|
455
|
Switch1_In2_1679 : bool ;
|
|
456
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch1/In3" ;
|
|
457
|
Switch1_In3_1680 : real ;
|
|
458
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch2/In1" ;
|
|
459
|
Switch2_In1_1687 : real ;
|
|
460
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch2/In2" ;
|
|
461
|
Switch2_In2_1688 : bool ;
|
|
462
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch2/In3" ;
|
|
463
|
Switch2_In3_1689 : real ;
|
|
464
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch3/In1" ;
|
|
465
|
Switch3_In1_1696 : real ;
|
|
466
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch3/In2" ;
|
|
467
|
Switch3_In2_1697 : bool ;
|
|
468
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/Switch3/In3" ;
|
|
469
|
Switch3_In3_1698 : real ;
|
|
470
|
let
|
|
471
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor" ;
|
|
472
|
HdgCmdProcessor_Out1_413, HdgCmdProcessor_Out2_414 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor (HdgCmdProcessor_In1_410, HdgCmdProcessor_In2_411, HdgCmdProcessor_In3_412) ;
|
|
473
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Khdg" ;
|
|
474
|
Khdg_Out1_1430 = Latitudinal_Control_Verif_Heading_Control_Khdg_Gain * Khdg_In1_1429 ;
|
|
475
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Khdg1" ;
|
|
476
|
Khdg1_Out1_1439 = int_to_real (Latitudinal_Control_Verif_Heading_Control_Khdg1_Gain) * Khdg1_In1_1438 ;
|
|
477
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Khdg2" ;
|
|
478
|
Khdg2_Out1_1448 = int_to_real (Latitudinal_Control_Verif_Heading_Control_Khdg2_Gain) * Khdg2_In1_1447 ;
|
|
479
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Khdgrte" ;
|
|
480
|
Khdgrte_Out1_1457 = int_to_real (Latitudinal_Control_Verif_Heading_Control_Khdgrte_Gain) * Khdgrte_In1_1456 ;
|
|
481
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator" ;
|
|
482
|
Logical_Operator_Out1_1462 = not Logical_Operator_In1_1461 ;
|
|
483
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Max" ;
|
|
484
|
Max_Out1_1472 =
|
|
485
|
if Max_In1_1470 >= Max_In2_1471 then
|
|
486
|
Max_In1_1470
|
|
487
|
else Max_In2_1471 ;
|
|
488
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Min" ;
|
|
489
|
Min_Out1_1482 =
|
|
490
|
if Min_In1_1480 <= Min_In2_1481 then
|
|
491
|
Min_In1_1480
|
|
492
|
else Min_In2_1481 ;
|
|
493
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Mux" ;
|
|
494
|
Mux_Out1_1486 = [ Mux_In1_1484, Mux_In2_1485 ] ;
|
|
495
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Sum" ;
|
|
496
|
Sum_Out1_1496 = Sum_In1_1494 + - Sum_In2_1495 ;
|
|
497
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Sum1" ;
|
|
498
|
Sum1_Out1_1506 = Sum1_In1_1504 + Sum1_In2_1505 ;
|
|
499
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Sum2" ;
|
|
500
|
Sum2_Out1_1516 = Sum2_In1_1514 + - Sum2_In2_1515 ;
|
|
501
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Sum3" ;
|
|
502
|
Sum3_Out1_1526 = - Sum3_In1_1524 + - Sum3_In2_1525 ;
|
|
503
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Sum4" ;
|
|
504
|
Sum4_Out1_1536 = Sum4_In1_1534 + - Sum4_In2_1535 ;
|
|
505
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/sgn" ;
|
|
506
|
sgn_Out1_1747 = Latitudinal_Control_Verif_Heading_Control_sgn_Gain * sgn_In1_1746 ;
|
|
507
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Integrator1_1" ;
|
|
508
|
Integrator1_1_Out1_1630 = Integrator1_1_In3_1629 -> pre integrator_reset (Integrator1_1_In1_1627, Integrator1_1_In2_1628, Integrator1_1_In3_1629) ;
|
|
509
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_1" ;
|
|
510
|
Logical_Operator1_1_Out1_1636 = Logical_Operator1_1_In1_1634 and Logical_Operator1_1_In2_1635 ;
|
|
511
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_2" ;
|
|
512
|
Logical_Operator1_2_Out1_1642 = Logical_Operator1_2_In1_1640 and Logical_Operator1_2_In2_1641 ;
|
|
513
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_3" ;
|
|
514
|
Logical_Operator1_3_Out1_1648 = Logical_Operator1_3_In1_1646 or Logical_Operator1_3_In2_1647 ;
|
|
515
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator" ;
|
|
516
|
Relational_Operator_Out1_1654 = Relational_Operator_In1_1652 <= Relational_Operator_In2_1653 ;
|
|
517
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator1" ;
|
|
518
|
Relational_Operator1_Out1_1660 = Relational_Operator1_In1_1658 >= Relational_Operator1_In2_1659 ;
|
|
519
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator2" ;
|
|
520
|
Relational_Operator2_Out1_1666 = Relational_Operator2_In1_1664 > Relational_Operator2_In2_1665 ;
|
|
521
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator3" ;
|
|
522
|
Relational_Operator3_Out1_1672 = Relational_Operator3_In1_1670 < Relational_Operator3_In2_1671 ;
|
|
523
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Switch1" ;
|
|
524
|
Switch1_Out1_1681 =
|
|
525
|
if Switch1_In2_1679 then
|
|
526
|
Switch1_In1_1678
|
|
527
|
else Switch1_In3_1680 ;
|
|
528
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Switch2" ;
|
|
529
|
Switch2_Out1_1690 =
|
|
530
|
if Switch2_In2_1688 then
|
|
531
|
Switch2_In1_1687
|
|
532
|
else Switch2_In3_1689 ;
|
|
533
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/Switch3" ;
|
|
534
|
Switch3_Out1_1699 =
|
|
535
|
if Switch3_In2_1697 then
|
|
536
|
Switch3_In1_1696
|
|
537
|
else Switch3_In3_1698 ;
|
|
538
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Heading_2_HdgCmdProcessor" ;
|
|
539
|
HdgCmdProcessor_In3_412 = Heading_Out1_354 ;
|
|
540
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Heading_2_Sum" ;
|
|
541
|
Sum_In2_1495 = Heading_Out1_354 ;
|
|
542
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor_2_Sum" ;
|
|
543
|
Sum_In1_1494 = HdgCmdProcessor_Out1_413 ;
|
|
544
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor_2_Mux" ;
|
|
545
|
Mux_In2_1485 = HdgCmdProcessor_Out1_413 ;
|
|
546
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Sum_2_Khdg" ;
|
|
547
|
Khdg_In1_1429 = Sum_Out1_1496 ;
|
|
548
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Khdg_2_Sum1" ;
|
|
549
|
Sum1_In1_1504 = Khdg_Out1_1430 ;
|
|
550
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Sum2_2_Sum1" ;
|
|
551
|
Sum1_In2_1505 = Sum2_Out1_1516 ;
|
|
552
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor_2_Sum2" ;
|
|
553
|
Sum2_In1_1514 = HdgCmdProcessor_Out2_414 ;
|
|
554
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/psidot_2_Sum2" ;
|
|
555
|
Sum2_In2_1515 = psidot_Out1_364 ;
|
|
556
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Vt_2_HdgCmdProcessor" ;
|
|
557
|
HdgCmdProcessor_In1_410 = Vt_Out1_374 ;
|
|
558
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdMCP_2_HdgCmdProcessor" ;
|
|
559
|
HdgCmdProcessor_In2_411 = HdgCmdMCP_Out1_344 ;
|
|
560
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdMCP_2_Mux" ;
|
|
561
|
Mux_In1_1484 = HdgCmdMCP_Out1_344 ;
|
|
562
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Switch2_2_RollCmd" ;
|
|
563
|
RollCmd_In1_1759 = Switch2_Out1_1690 ;
|
|
564
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Switch2_2_Sum3" ;
|
|
565
|
Sum3_In1_1524 = Switch2_Out1_1690 ;
|
|
566
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Switch2_2_Sum4" ;
|
|
567
|
Sum4_In2_1535 = Switch2_Out1_1690 ;
|
|
568
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/RollLimit_2_Sum3" ;
|
|
569
|
Sum3_In2_1525 =
|
|
570
|
if RollLimit_Out1_404 then
|
|
571
|
1.0
|
|
572
|
else 0.0 ;
|
|
573
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/RollLimit_2_Sum4" ;
|
|
574
|
Sum4_In1_1534 =
|
|
575
|
if RollLimit_Out1_404 then
|
|
576
|
1.0
|
|
577
|
else 0.0 ;
|
|
578
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/RollLimit_2_sgn" ;
|
|
579
|
sgn_In1_1746 =
|
|
580
|
if RollLimit_Out1_404 then
|
|
581
|
1
|
|
582
|
else 0 ;
|
|
583
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Sum1_2_Khdgrte" ;
|
|
584
|
Khdgrte_In1_1456 = Sum1_Out1_1506 ;
|
|
585
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Max_2_Min" ;
|
|
586
|
Min_In1_1480 = Max_Out1_1472 ;
|
|
587
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HeadEng_2_Logical\\nOperator" ;
|
|
588
|
Logical_Operator_In1_1461 =
|
|
589
|
if HeadEng_Out1_394 = 0.0 then
|
|
590
|
false
|
|
591
|
else true ;
|
|
592
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Sum3_2_Khdg1" ;
|
|
593
|
Khdg1_In1_1438 = Sum3_Out1_1526 ;
|
|
594
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Sum4_2_Khdg2" ;
|
|
595
|
Khdg2_In1_1447 = Sum4_Out1_1536 ;
|
|
596
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Khdg1_2_Max" ;
|
|
597
|
Max_In2_1471 = Khdg1_Out1_1439 ;
|
|
598
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Khdg2_2_Min" ;
|
|
599
|
Min_In2_1481 = Khdg2_Out1_1448 ;
|
|
600
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Khdgrte_2_Max" ;
|
|
601
|
Max_In1_1470 = Khdgrte_Out1_1457 ;
|
|
602
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/sgn_2_Relational\\nOperator1" ;
|
|
603
|
Relational_Operator1_In1_1658 = int_to_real (sgn_Out1_1747) ;
|
|
604
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/sgn_2_Switch2" ;
|
|
605
|
Switch2_In1_1687 = int_to_real (sgn_Out1_1747) ;
|
|
606
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Roll_2_Integrator1_1" ;
|
|
607
|
Integrator1_1_In3_1629 = Roll_Out1_384 ;
|
|
608
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator_2_Integrator1_1" ;
|
|
609
|
Integrator1_1_In2_1628 = Logical_Operator_Out1_1462 ;
|
|
610
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Min_2_Switch3" ;
|
|
611
|
Switch3_In3_1698 = Min_Out1_1482 ;
|
|
612
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Min_2_Relational\\nOperator3" ;
|
|
613
|
Relational_Operator3_In1_1670 = Min_Out1_1482 ;
|
|
614
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Min_2_Relational\\nOperator2" ;
|
|
615
|
Relational_Operator2_In1_1664 = Min_Out1_1482 ;
|
|
616
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/RollLimit_2_Relational\\nOperator" ;
|
|
617
|
Relational_Operator_In1_1652 =
|
|
618
|
if RollLimit_Out1_404 then
|
|
619
|
1.0
|
|
620
|
else 0.0 ;
|
|
621
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/RollLimit_2_Switch1" ;
|
|
622
|
Switch1_In1_1678 =
|
|
623
|
if RollLimit_Out1_404 then
|
|
624
|
1.0
|
|
625
|
else 0.0 ;
|
|
626
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator1_2_Logical\\nOperator1_2" ;
|
|
627
|
Logical_Operator1_2_In2_1641 = Relational_Operator1_Out1_1660 ;
|
|
628
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator1_2_Switch2" ;
|
|
629
|
Switch2_In2_1688 = Relational_Operator1_Out1_1660 ;
|
|
630
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Switch1_2_Switch2" ;
|
|
631
|
Switch2_In3_1689 = Switch1_Out1_1681 ;
|
|
632
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Switch1_2_Relational\\nOperator1" ;
|
|
633
|
Relational_Operator1_In2_1659 = Switch1_Out1_1681 ;
|
|
634
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Constant2_2_Relational\\nOperator3" ;
|
|
635
|
Relational_Operator3_In2_1671 = int_to_real (Latitudinal_Control_Verif_Heading_Control_Constant2_Value) ;
|
|
636
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator3_2_Logical\\nOperator1_2" ;
|
|
637
|
Logical_Operator1_2_In1_1640 = Relational_Operator3_Out1_1672 ;
|
|
638
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_2_2_Logical\\nOperator1_3" ;
|
|
639
|
Logical_Operator1_3_In2_1647 = Logical_Operator1_2_Out1_1642 ;
|
|
640
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_1_2_Logical\\nOperator1_3" ;
|
|
641
|
Logical_Operator1_3_In1_1646 = Logical_Operator1_1_Out1_1636 ;
|
|
642
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Logical\\nOperator1_3_2_Switch3" ;
|
|
643
|
Switch3_In2_1697 = Logical_Operator1_3_Out1_1648 ;
|
|
644
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator2_2_Logical\\nOperator1_1" ;
|
|
645
|
Logical_Operator1_1_In2_1635 = Relational_Operator2_Out1_1666 ;
|
|
646
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Constant1_2_Relational\\nOperator2" ;
|
|
647
|
Relational_Operator2_In2_1665 = int_to_real (Latitudinal_Control_Verif_Heading_Control_Constant1_Value) ;
|
|
648
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Constant3_2_Switch3" ;
|
|
649
|
Switch3_In1_1696 = int_to_real (Latitudinal_Control_Verif_Heading_Control_Constant3_Value) ;
|
|
650
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Switch3_2_Integrator1_1" ;
|
|
651
|
Integrator1_1_In1_1627 = Switch3_Out1_1699 ;
|
|
652
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator_2_Logical\\nOperator1_1" ;
|
|
653
|
Logical_Operator1_1_In1_1634 = Relational_Operator_Out1_1654 ;
|
|
654
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Relational\\nOperator_2_Switch1" ;
|
|
655
|
Switch1_In2_1679 = Relational_Operator_Out1_1654 ;
|
|
656
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Integrator1_1_2_Relational\\nOperator" ;
|
|
657
|
Relational_Operator_In2_1653 = Integrator1_1_Out1_1630 ;
|
|
658
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/Integrator1_1_2_Switch1" ;
|
|
659
|
Switch1_In3_1680 = Integrator1_1_Out1_1630 ;
|
|
660
|
|
|
661
|
tel
|
|
662
|
|
|
663
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor" ;
|
|
664
|
|
|
665
|
node Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor (
|
|
666
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Vt/Out1" ;
|
|
667
|
Vt_Out1_424 : real ;
|
|
668
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/HdgCmdMCP/Out1" ;
|
|
669
|
HdgCmdMCP_Out1_434 : real ;
|
|
670
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Heading/Out1" ;
|
|
671
|
Heading_Out1_444 : real)
|
|
672
|
returns (
|
|
673
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/HdgCmd/In1" ;
|
|
674
|
HdgCmd_In1_1352 : real ;
|
|
675
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/HdgRteCmd/In1" ;
|
|
676
|
HdgRteCmd_In1_1364 : real) ;
|
|
677
|
var
|
|
678
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/2zetaOmega/Out1" ;
|
|
679
|
var2zetaOmega_Out1_464 : real ;
|
|
680
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Out1" ;
|
|
681
|
ANGL_Out1_471 : real ;
|
|
682
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Divide/Out1" ;
|
|
683
|
Divide_Out1_667 : real ;
|
|
684
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Divide1/Out1" ;
|
|
685
|
Divide1_Out1_679 : real ;
|
|
686
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/Out1" ;
|
|
687
|
DynamicSaturation_Out1_688 : real ;
|
|
688
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1/Out1" ;
|
|
689
|
Integrator1_Out1_785 : real ;
|
|
690
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator/Out1" ;
|
|
691
|
Logical_Operator_Out1_790 : bool ;
|
|
692
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Product/Out1" ;
|
|
693
|
Product_Out1_802 : real ;
|
|
694
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Product1/Out1" ;
|
|
695
|
Product1_Out1_814 : real ;
|
|
696
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Out1" ;
|
|
697
|
Saturation1_Out1_821 : real ;
|
|
698
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Sum2/Out1" ;
|
|
699
|
Sum2_Out1_894 : real ;
|
|
700
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Sum3/Out1" ;
|
|
701
|
Sum3_Out1_904 : real ;
|
|
702
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Trigonometric\\nFunction/Out1" ;
|
|
703
|
Trigonometric_Function_Out1_909 : real ;
|
|
704
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k/Out1" ;
|
|
705
|
k_Out1_1128 : real ;
|
|
706
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k1/Out1" ;
|
|
707
|
k1_Out1_1137 : real ;
|
|
708
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k2/Out1" ;
|
|
709
|
k2_Out1_1146 : real ;
|
|
710
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k4/Out1" ;
|
|
711
|
k4_Out1_1155 : real ;
|
|
712
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k6/Out1" ;
|
|
713
|
k6_Out1_1164 : real ;
|
|
714
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omegaSq/Out1" ;
|
|
715
|
omegaSq_Out1_1176 : real ;
|
|
716
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omegaSq2/Out1" ;
|
|
717
|
omegaSq2_Out1_1188 : real ;
|
|
718
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/Out1" ;
|
|
719
|
omega_calc_Out1_1195 : real ;
|
|
720
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/rateLim_calc/Out1" ;
|
|
721
|
rateLim_calc_Out1_1280 : real ;
|
|
722
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/Out1" ;
|
|
723
|
times514dot8_Out1_1295 : real ;
|
|
724
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1_1/Out1" ;
|
|
725
|
Integrator1_1_Out1_1003 : real ;
|
|
726
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_1/Out1" ;
|
|
727
|
Logical_Operator1_1_Out1_1009 : bool ;
|
|
728
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_2/Out1" ;
|
|
729
|
Logical_Operator1_2_Out1_1015 : bool ;
|
|
730
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_3/Out1" ;
|
|
731
|
Logical_Operator1_3_Out1_1021 : bool ;
|
|
732
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator/Out1" ;
|
|
733
|
Relational_Operator_Out1_1027 : bool ;
|
|
734
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator1/Out1" ;
|
|
735
|
Relational_Operator1_Out1_1033 : bool ;
|
|
736
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator2/Out1" ;
|
|
737
|
Relational_Operator2_Out1_1039 : bool ;
|
|
738
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator3/Out1" ;
|
|
739
|
Relational_Operator3_Out1_1045 : bool ;
|
|
740
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch1/Out1" ;
|
|
741
|
Switch1_Out1_1054 : real ;
|
|
742
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch2/Out1" ;
|
|
743
|
Switch2_Out1_1063 : real ;
|
|
744
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch3/Out1" ;
|
|
745
|
Switch3_Out1_1072 : real ;
|
|
746
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/2zetaOmega/In1" ;
|
|
747
|
var2zetaOmega_In1_462 : real ;
|
|
748
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/2zetaOmega/In2" ;
|
|
749
|
var2zetaOmega_In2_463 : real ;
|
|
750
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/In1" ;
|
|
751
|
ANGL_In1_470 : real ;
|
|
752
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Divide/In1" ;
|
|
753
|
Divide_In1_665 : real ;
|
|
754
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Divide/In2" ;
|
|
755
|
Divide_In2_666 : real ;
|
|
756
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Divide1/In1" ;
|
|
757
|
Divide1_In1_677 : real ;
|
|
758
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Divide1/In2" ;
|
|
759
|
Divide1_In2_678 : real ;
|
|
760
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/In1" ;
|
|
761
|
DynamicSaturation_In1_685 : real ;
|
|
762
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/In2" ;
|
|
763
|
DynamicSaturation_In2_686 : real ;
|
|
764
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/In3" ;
|
|
765
|
DynamicSaturation_In3_687 : real ;
|
|
766
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1/In1" ;
|
|
767
|
Integrator1_In1_782 : real ;
|
|
768
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1/In2" ;
|
|
769
|
Integrator1_In2_783 : bool ;
|
|
770
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1/In3" ;
|
|
771
|
Integrator1_In3_784 : real ;
|
|
772
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator/In1" ;
|
|
773
|
Logical_Operator_In1_789 : bool ;
|
|
774
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Product/In1" ;
|
|
775
|
Product_In1_800 : real ;
|
|
776
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Product/In2" ;
|
|
777
|
Product_In2_801 : real ;
|
|
778
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Product1/In1" ;
|
|
779
|
Product1_In1_812 : real ;
|
|
780
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Product1/In2" ;
|
|
781
|
Product1_In2_813 : real ;
|
|
782
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/In1" ;
|
|
783
|
Saturation1_In1_820 : real ;
|
|
784
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Sum2/In1" ;
|
|
785
|
Sum2_In1_892 : real ;
|
|
786
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Sum2/In2" ;
|
|
787
|
Sum2_In2_893 : real ;
|
|
788
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Sum3/In1" ;
|
|
789
|
Sum3_In1_902 : real ;
|
|
790
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Sum3/In2" ;
|
|
791
|
Sum3_In2_903 : real ;
|
|
792
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Trigonometric\\nFunction/In1" ;
|
|
793
|
Trigonometric_Function_In1_908 : real ;
|
|
794
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k/In1" ;
|
|
795
|
k_In1_1127 : real ;
|
|
796
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k1/In1" ;
|
|
797
|
k1_In1_1136 : real ;
|
|
798
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k2/In1" ;
|
|
799
|
k2_In1_1145 : real ;
|
|
800
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k4/In1" ;
|
|
801
|
k4_In1_1154 : real ;
|
|
802
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k6/In1" ;
|
|
803
|
k6_In1_1163 : real ;
|
|
804
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omegaSq/In1" ;
|
|
805
|
omegaSq_In1_1174 : real ;
|
|
806
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omegaSq/In2" ;
|
|
807
|
omegaSq_In2_1175 : real ;
|
|
808
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omegaSq2/In1" ;
|
|
809
|
omegaSq2_In1_1186 : real ;
|
|
810
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omegaSq2/In2" ;
|
|
811
|
omegaSq2_In2_1187 : real ;
|
|
812
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/In1" ;
|
|
813
|
omega_calc_In1_1194 : real ;
|
|
814
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/rateLim_calc/In1" ;
|
|
815
|
rateLim_calc_In1_1278 : real ;
|
|
816
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/rateLim_calc/In2" ;
|
|
817
|
rateLim_calc_In2_1279 : real ;
|
|
818
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/In1" ;
|
|
819
|
times514dot8_In1_1294 : real ;
|
|
820
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1_1/In1" ;
|
|
821
|
Integrator1_1_In1_1000 : real ;
|
|
822
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1_1/In2" ;
|
|
823
|
Integrator1_1_In2_1001 : bool ;
|
|
824
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1_1/In3" ;
|
|
825
|
Integrator1_1_In3_1002 : real ;
|
|
826
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_1/In1" ;
|
|
827
|
Logical_Operator1_1_In1_1007 : bool ;
|
|
828
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_1/In2" ;
|
|
829
|
Logical_Operator1_1_In2_1008 : bool ;
|
|
830
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_2/In1" ;
|
|
831
|
Logical_Operator1_2_In1_1013 : bool ;
|
|
832
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_2/In2" ;
|
|
833
|
Logical_Operator1_2_In2_1014 : bool ;
|
|
834
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_3/In1" ;
|
|
835
|
Logical_Operator1_3_In1_1019 : bool ;
|
|
836
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_3/In2" ;
|
|
837
|
Logical_Operator1_3_In2_1020 : bool ;
|
|
838
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator/In1" ;
|
|
839
|
Relational_Operator_In1_1025 : real ;
|
|
840
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator/In2" ;
|
|
841
|
Relational_Operator_In2_1026 : real ;
|
|
842
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator1/In1" ;
|
|
843
|
Relational_Operator1_In1_1031 : real ;
|
|
844
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator1/In2" ;
|
|
845
|
Relational_Operator1_In2_1032 : real ;
|
|
846
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator2/In1" ;
|
|
847
|
Relational_Operator2_In1_1037 : real ;
|
|
848
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator2/In2" ;
|
|
849
|
Relational_Operator2_In2_1038 : real ;
|
|
850
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator3/In1" ;
|
|
851
|
Relational_Operator3_In1_1043 : real ;
|
|
852
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator3/In2" ;
|
|
853
|
Relational_Operator3_In2_1044 : real ;
|
|
854
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch1/In1" ;
|
|
855
|
Switch1_In1_1051 : real ;
|
|
856
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch1/In2" ;
|
|
857
|
Switch1_In2_1052 : bool ;
|
|
858
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch1/In3" ;
|
|
859
|
Switch1_In3_1053 : real ;
|
|
860
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch2/In1" ;
|
|
861
|
Switch2_In1_1060 : real ;
|
|
862
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch2/In2" ;
|
|
863
|
Switch2_In2_1061 : bool ;
|
|
864
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch2/In3" ;
|
|
865
|
Switch2_In3_1062 : real ;
|
|
866
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch3/In1" ;
|
|
867
|
Switch3_In1_1069 : real ;
|
|
868
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch3/In2" ;
|
|
869
|
Switch3_In2_1070 : bool ;
|
|
870
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch3/In3" ;
|
|
871
|
Switch3_In3_1071 : real ;
|
|
872
|
let
|
|
873
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/2zetaOmega" ;
|
|
874
|
var2zetaOmega_Out1_464 = var2zetaOmega_In1_462 * var2zetaOmega_In2_463 ;
|
|
875
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL" ;
|
|
876
|
ANGL_Out1_471 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL (ANGL_In1_470) ;
|
|
877
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Divide" ;
|
|
878
|
Divide_Out1_667 = Divide_In1_665 / Divide_In2_666 ;
|
|
879
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Divide1" ;
|
|
880
|
Divide1_Out1_679 = Divide1_In1_677 / Divide1_In2_678 ;
|
|
881
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation" ;
|
|
882
|
DynamicSaturation_Out1_688 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_DynamicSaturation (DynamicSaturation_In1_685, DynamicSaturation_In2_686, DynamicSaturation_In3_687) ;
|
|
883
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1" ;
|
|
884
|
Integrator1_Out1_785 = Integrator1_In3_784 -> pre integrator_reset (Integrator1_In1_782, Integrator1_In2_783, Integrator1_In3_784) ;
|
|
885
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator" ;
|
|
886
|
Logical_Operator_Out1_790 = not Logical_Operator_In1_789 ;
|
|
887
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Product" ;
|
|
888
|
Product_Out1_802 = Product_In1_800 * Product_In2_801 ;
|
|
889
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Product1" ;
|
|
890
|
Product1_Out1_814 = Product1_In1_812 * Product1_In2_813 ;
|
|
891
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1" ;
|
|
892
|
Saturation1_Out1_821 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Saturation1 (Saturation1_In1_820) ;
|
|
893
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Sum2" ;
|
|
894
|
Sum2_Out1_894 = Sum2_In1_892 + - Sum2_In2_893 ;
|
|
895
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Sum3" ;
|
|
896
|
Sum3_Out1_904 = Sum3_In1_902 + - Sum3_In2_903 ;
|
|
897
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Trigonometric\\nFunction" ;
|
|
898
|
Trigonometric_Function_Out1_909 = tan (Trigonometric_Function_In1_908) ;
|
|
899
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k" ;
|
|
900
|
k_Out1_1128 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_k_Gain * k_In1_1127 ;
|
|
901
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k1" ;
|
|
902
|
k1_Out1_1137 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_k1_Gain * k1_In1_1136 ;
|
|
903
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k2" ;
|
|
904
|
k2_Out1_1146 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_k2_Gain * k2_In1_1145 ;
|
|
905
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k4" ;
|
|
906
|
k4_Out1_1155 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_k4_Gain * k4_In1_1154 ;
|
|
907
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k6" ;
|
|
908
|
k6_Out1_1164 = int_to_real (Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_k6_Gain) * k6_In1_1163 ;
|
|
909
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omegaSq" ;
|
|
910
|
omegaSq_Out1_1176 = omegaSq_In1_1174 * omegaSq_In2_1175 ;
|
|
911
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omegaSq2" ;
|
|
912
|
omegaSq2_Out1_1188 = omegaSq2_In1_1186 * omegaSq2_In2_1187 ;
|
|
913
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc" ;
|
|
914
|
omega_calc_Out1_1195 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_omega_calc (omega_calc_In1_1194) ;
|
|
915
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/rateLim_calc" ;
|
|
916
|
rateLim_calc_Out1_1280 = rateLim_calc_In1_1278 / rateLim_calc_In2_1279 ;
|
|
917
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8" ;
|
|
918
|
times514dot8_Out1_1295 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_times514dot8 (times514dot8_In1_1294) ;
|
|
919
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1_1" ;
|
|
920
|
Integrator1_1_Out1_1003 = Integrator1_1_In3_1002 -> pre integrator_reset (Integrator1_1_In1_1000, Integrator1_1_In2_1001, Integrator1_1_In3_1002) ;
|
|
921
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_1" ;
|
|
922
|
Logical_Operator1_1_Out1_1009 = Logical_Operator1_1_In1_1007 and Logical_Operator1_1_In2_1008 ;
|
|
923
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_2" ;
|
|
924
|
Logical_Operator1_2_Out1_1015 = Logical_Operator1_2_In1_1013 and Logical_Operator1_2_In2_1014 ;
|
|
925
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_3" ;
|
|
926
|
Logical_Operator1_3_Out1_1021 = Logical_Operator1_3_In1_1019 or Logical_Operator1_3_In2_1020 ;
|
|
927
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator" ;
|
|
928
|
Relational_Operator_Out1_1027 = Relational_Operator_In1_1025 <= Relational_Operator_In2_1026 ;
|
|
929
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator1" ;
|
|
930
|
Relational_Operator1_Out1_1033 = Relational_Operator1_In1_1031 >= Relational_Operator1_In2_1032 ;
|
|
931
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator2" ;
|
|
932
|
Relational_Operator2_Out1_1039 = Relational_Operator2_In1_1037 > Relational_Operator2_In2_1038 ;
|
|
933
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator3" ;
|
|
934
|
Relational_Operator3_Out1_1045 = Relational_Operator3_In1_1043 < Relational_Operator3_In2_1044 ;
|
|
935
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch1" ;
|
|
936
|
Switch1_Out1_1054 =
|
|
937
|
if Switch1_In2_1052 then
|
|
938
|
Switch1_In1_1051
|
|
939
|
else Switch1_In3_1053 ;
|
|
940
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch2" ;
|
|
941
|
Switch2_Out1_1063 =
|
|
942
|
if Switch2_In2_1061 then
|
|
943
|
Switch2_In1_1060
|
|
944
|
else Switch2_In3_1062 ;
|
|
945
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch3" ;
|
|
946
|
Switch3_Out1_1072 =
|
|
947
|
if Switch3_In2_1070 then
|
|
948
|
Switch3_In1_1069
|
|
949
|
else Switch3_In3_1071 ;
|
|
950
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1_2_Sum2" ;
|
|
951
|
Sum2_In2_893 = Integrator1_Out1_785 ;
|
|
952
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1_2_HdgCmd" ;
|
|
953
|
HdgCmd_In1_1352 = Integrator1_Out1_785 ;
|
|
954
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Vt_2_k2" ;
|
|
955
|
k2_In1_1145 = Vt_Out1_424 ;
|
|
956
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k2_2_Saturation1" ;
|
|
957
|
Saturation1_In1_820 = k2_Out1_1146 ;
|
|
958
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc_2_omegaSq" ;
|
|
959
|
omegaSq_In2_1175 = omega_calc_Out1_1195 ;
|
|
960
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc_2_omegaSq" ;
|
|
961
|
omegaSq_In1_1174 = omega_calc_Out1_1195 ;
|
|
962
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc_2_k6" ;
|
|
963
|
k6_In1_1163 = omega_calc_Out1_1195 ;
|
|
964
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k_2_DynamicSaturation" ;
|
|
965
|
DynamicSaturation_In3_687 = k_Out1_1128 ;
|
|
966
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/rollLimit_2_Product" ;
|
|
967
|
Product_In1_800 = int_to_real (Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_rollLimit_Value) ;
|
|
968
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Sum3_2_DynamicSaturation" ;
|
|
969
|
DynamicSaturation_In2_686 = Sum3_Out1_904 ;
|
|
970
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Product_2_Trigonometric\\nFunction" ;
|
|
971
|
Trigonometric_Function_In1_908 = Product_Out1_802 ;
|
|
972
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Trigonometric\\nFunction_2_k4" ;
|
|
973
|
k4_In1_1154 = Trigonometric_Function_Out1_909 ;
|
|
974
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k4_2_Product1" ;
|
|
975
|
Product1_In1_812 = k4_Out1_1155 ;
|
|
976
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/rateLim_calc_2_k1" ;
|
|
977
|
k1_In1_1136 = rateLim_calc_Out1_1280 ;
|
|
978
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch2_2_2zetaOmega" ;
|
|
979
|
var2zetaOmega_In1_462 = Switch2_Out1_1063 ;
|
|
980
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch2_2_HdgRteCmd" ;
|
|
981
|
HdgRteCmd_In1_1364 = Switch2_Out1_1063 ;
|
|
982
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch2_2_Integrator1" ;
|
|
983
|
Integrator1_In1_782 = Switch2_Out1_1063 ;
|
|
984
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k6_2_2zetaOmega" ;
|
|
985
|
var2zetaOmega_In2_463 = k6_Out1_1164 ;
|
|
986
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/2zetaOmega_2_Sum3" ;
|
|
987
|
Sum3_In2_903 = var2zetaOmega_Out1_464 ;
|
|
988
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8_2_DynamicSaturation" ;
|
|
989
|
DynamicSaturation_In1_685 = times514dot8_Out1_1295 ;
|
|
990
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8_2_k" ;
|
|
991
|
k_In1_1127 = times514dot8_Out1_1295 ;
|
|
992
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omegaSq_2_omegaSq2" ;
|
|
993
|
omegaSq2_In1_1186 = omegaSq_Out1_1176 ;
|
|
994
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omegaSq2_2_Sum3" ;
|
|
995
|
Sum3_In1_902 = omegaSq2_Out1_1188 ;
|
|
996
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Sum2_2_ANGL" ;
|
|
997
|
ANGL_In1_470 = Sum2_Out1_894 ;
|
|
998
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/HdgCmdMCP_2_Logical\\nOperator" ;
|
|
999
|
Logical_Operator_In1_789 =
|
|
1000
|
if HdgCmdMCP_Out1_434 = 0.0 then
|
|
1001
|
false
|
|
1002
|
else true ;
|
|
1003
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/HdgCmdMCP_2_Sum2" ;
|
|
1004
|
Sum2_In1_892 = HdgCmdMCP_Out1_434 ;
|
|
1005
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL_2_omegaSq2" ;
|
|
1006
|
omegaSq2_In2_1187 = ANGL_Out1_471 ;
|
|
1007
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator_2_Integrator1" ;
|
|
1008
|
Integrator1_In2_783 = Logical_Operator_Out1_790 ;
|
|
1009
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1_2_omega_calc" ;
|
|
1010
|
omega_calc_In1_1194 = Saturation1_Out1_821 ;
|
|
1011
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1_2_times514dot8" ;
|
|
1012
|
times514dot8_In1_1294 = Saturation1_Out1_821 ;
|
|
1013
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1_2_rateLim_calc" ;
|
|
1014
|
rateLim_calc_In2_1279 = Saturation1_Out1_821 ;
|
|
1015
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Heading_2_Integrator1" ;
|
|
1016
|
Integrator1_In3_784 = Heading_Out1_444 ;
|
|
1017
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/180_2_Divide" ;
|
|
1018
|
Divide_In2_666 = int_to_real (Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_var180_Value) ;
|
|
1019
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/180_2_Divide1" ;
|
|
1020
|
Divide1_In1_677 = int_to_real (Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_var180_Value) ;
|
|
1021
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/pi_2_Divide1" ;
|
|
1022
|
Divide1_In2_678 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_pi_Value ;
|
|
1023
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/pi_2_Divide" ;
|
|
1024
|
Divide_In1_665 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_pi_Value ;
|
|
1025
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Divide_2_Product" ;
|
|
1026
|
Product_In2_801 = Divide_Out1_667 ;
|
|
1027
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Divide1_2_Product1" ;
|
|
1028
|
Product1_In2_813 = Divide1_Out1_679 ;
|
|
1029
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Product1_2_rateLim_calc" ;
|
|
1030
|
rateLim_calc_In1_1278 = Product1_Out1_814 ;
|
|
1031
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k1_2_Relational\\nOperator1" ;
|
|
1032
|
Relational_Operator1_In1_1031 = k1_Out1_1137 ;
|
|
1033
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/k1_2_Switch2" ;
|
|
1034
|
Switch2_In1_1060 = k1_Out1_1137 ;
|
|
1035
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/init_2_Integrator1_1" ;
|
|
1036
|
Integrator1_1_In3_1002 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_init_Value ;
|
|
1037
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator_2_Integrator1_1" ;
|
|
1038
|
Integrator1_1_In2_1001 = Logical_Operator_Out1_790 ;
|
|
1039
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation_2_Switch3" ;
|
|
1040
|
Switch3_In3_1071 = DynamicSaturation_Out1_688 ;
|
|
1041
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation_2_Relational\\nOperator3" ;
|
|
1042
|
Relational_Operator3_In1_1043 = DynamicSaturation_Out1_688 ;
|
|
1043
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation_2_Relational\\nOperator2" ;
|
|
1044
|
Relational_Operator2_In1_1037 = DynamicSaturation_Out1_688 ;
|
|
1045
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/rateLim_calc_2_Relational\\nOperator" ;
|
|
1046
|
Relational_Operator_In1_1025 = rateLim_calc_Out1_1280 ;
|
|
1047
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/rateLim_calc_2_Switch1" ;
|
|
1048
|
Switch1_In1_1051 = rateLim_calc_Out1_1280 ;
|
|
1049
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator1_2_Logical\\nOperator1_2" ;
|
|
1050
|
Logical_Operator1_2_In2_1014 = Relational_Operator1_Out1_1033 ;
|
|
1051
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator1_2_Switch2" ;
|
|
1052
|
Switch2_In2_1061 = Relational_Operator1_Out1_1033 ;
|
|
1053
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch1_2_Switch2" ;
|
|
1054
|
Switch2_In3_1062 = Switch1_Out1_1054 ;
|
|
1055
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch1_2_Relational\\nOperator1" ;
|
|
1056
|
Relational_Operator1_In2_1032 = Switch1_Out1_1054 ;
|
|
1057
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Constant2_2_Relational\\nOperator3" ;
|
|
1058
|
Relational_Operator3_In2_1044 = int_to_real (Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Constant2_Value) ;
|
|
1059
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator3_2_Logical\\nOperator1_2" ;
|
|
1060
|
Logical_Operator1_2_In1_1013 = Relational_Operator3_Out1_1045 ;
|
|
1061
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_2_2_Logical\\nOperator1_3" ;
|
|
1062
|
Logical_Operator1_3_In2_1020 = Logical_Operator1_2_Out1_1015 ;
|
|
1063
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_1_2_Logical\\nOperator1_3" ;
|
|
1064
|
Logical_Operator1_3_In1_1019 = Logical_Operator1_1_Out1_1009 ;
|
|
1065
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Logical\\nOperator1_3_2_Switch3" ;
|
|
1066
|
Switch3_In2_1070 = Logical_Operator1_3_Out1_1021 ;
|
|
1067
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator2_2_Logical\\nOperator1_1" ;
|
|
1068
|
Logical_Operator1_1_In2_1008 = Relational_Operator2_Out1_1039 ;
|
|
1069
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Constant1_2_Relational\\nOperator2" ;
|
|
1070
|
Relational_Operator2_In2_1038 = int_to_real (Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Constant1_Value) ;
|
|
1071
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Constant3_2_Switch3" ;
|
|
1072
|
Switch3_In1_1069 = int_to_real (Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Constant3_Value) ;
|
|
1073
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Switch3_2_Integrator1_1" ;
|
|
1074
|
Integrator1_1_In1_1000 = Switch3_Out1_1072 ;
|
|
1075
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator_2_Logical\\nOperator1_1" ;
|
|
1076
|
Logical_Operator1_1_In1_1007 = Relational_Operator_Out1_1027 ;
|
|
1077
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Relational\\nOperator_2_Switch1" ;
|
|
1078
|
Switch1_In2_1052 = Relational_Operator_Out1_1027 ;
|
|
1079
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1_1_2_Relational\\nOperator" ;
|
|
1080
|
Relational_Operator_In2_1026 = Integrator1_1_Out1_1003 ;
|
|
1081
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Integrator1_1_2_Switch1" ;
|
|
1082
|
Switch1_In3_1053 = Integrator1_1_Out1_1003 ;
|
|
1083
|
|
|
1084
|
tel
|
|
1085
|
|
|
1086
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL" ;
|
|
1087
|
|
|
1088
|
node Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL (
|
|
1089
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/in/Out1" ;
|
|
1090
|
in_Out1_481 : real)
|
|
1091
|
returns (
|
|
1092
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/+ -180/In1" ;
|
|
1093
|
_180_In1_643 : real) ;
|
|
1094
|
var
|
|
1095
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Abs/Out1" ;
|
|
1096
|
Abs_Out1_484 : real ;
|
|
1097
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Relational\\nOperator_ANGL/Out1" ;
|
|
1098
|
Relational_Operator_ANGL_Out1_506 : bool ;
|
|
1099
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Sum6/Out1" ;
|
|
1100
|
Sum6_Out1_516 : real ;
|
|
1101
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Switch1_ANGL/Out1" ;
|
|
1102
|
Switch1_ANGL_Out1_525 : real ;
|
|
1103
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Out1" ;
|
|
1104
|
sign_Out1_532 : real ;
|
|
1105
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/times360/Out1" ;
|
|
1106
|
times360_Out1_631 : real ;
|
|
1107
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Abs/In1" ;
|
|
1108
|
Abs_In1_483 : real ;
|
|
1109
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Relational\\nOperator_ANGL/In1" ;
|
|
1110
|
Relational_Operator_ANGL_In1_504 : real ;
|
|
1111
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Relational\\nOperator_ANGL/In2" ;
|
|
1112
|
Relational_Operator_ANGL_In2_505 : real ;
|
|
1113
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Sum6/In1" ;
|
|
1114
|
Sum6_In1_514 : real ;
|
|
1115
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Sum6/In2" ;
|
|
1116
|
Sum6_In2_515 : real ;
|
|
1117
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Switch1_ANGL/In1" ;
|
|
1118
|
Switch1_ANGL_In1_522 : real ;
|
|
1119
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Switch1_ANGL/In2" ;
|
|
1120
|
Switch1_ANGL_In2_523 : bool ;
|
|
1121
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Switch1_ANGL/In3" ;
|
|
1122
|
Switch1_ANGL_In3_524 : real ;
|
|
1123
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/In1" ;
|
|
1124
|
sign_In1_531 : real ;
|
|
1125
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/times360/In1" ;
|
|
1126
|
times360_In1_629 : real ;
|
|
1127
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/times360/In2" ;
|
|
1128
|
times360_In2_630 : real ;
|
|
1129
|
let
|
|
1130
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Abs" ;
|
|
1131
|
Abs_Out1_484 =
|
|
1132
|
if Abs_In1_483 < 0.0 then
|
|
1133
|
- Abs_In1_483
|
|
1134
|
else Abs_In1_483 ;
|
|
1135
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Relational\\nOperator_ANGL" ;
|
|
1136
|
Relational_Operator_ANGL_Out1_506 = Relational_Operator_ANGL_In1_504 > Relational_Operator_ANGL_In2_505 ;
|
|
1137
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Sum6" ;
|
|
1138
|
Sum6_Out1_516 = - Sum6_In1_514 + Sum6_In2_515 ;
|
|
1139
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Switch1_ANGL" ;
|
|
1140
|
Switch1_ANGL_Out1_525 =
|
|
1141
|
if Switch1_ANGL_In2_523 then
|
|
1142
|
Switch1_ANGL_In1_522
|
|
1143
|
else Switch1_ANGL_In3_524 ;
|
|
1144
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign" ;
|
|
1145
|
sign_Out1_532 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_sign (sign_In1_531) ;
|
|
1146
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/times360" ;
|
|
1147
|
times360_Out1_631 = times360_In1_629 * times360_In2_630 ;
|
|
1148
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Abs_2_Relational\\nOperator_ANGL" ;
|
|
1149
|
Relational_Operator_ANGL_In1_504 = Abs_Out1_484 ;
|
|
1150
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/in_2_Abs" ;
|
|
1151
|
Abs_In1_483 = in_Out1_481 ;
|
|
1152
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/in_2_Switch1_ANGL" ;
|
|
1153
|
Switch1_ANGL_In3_524 = in_Out1_481 ;
|
|
1154
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/in_2_Sum6" ;
|
|
1155
|
Sum6_In2_515 = in_Out1_481 ;
|
|
1156
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/in_2_sign" ;
|
|
1157
|
sign_In1_531 = in_Out1_481 ;
|
|
1158
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Switch1_ANGL_2_+ -180" ;
|
|
1159
|
_180_In1_643 = Switch1_ANGL_Out1_525 ;
|
|
1160
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/times360_2_Sum6" ;
|
|
1161
|
Sum6_In1_514 = times360_Out1_631 ;
|
|
1162
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Sum6_2_Switch1_ANGL" ;
|
|
1163
|
Switch1_ANGL_In1_522 = Sum6_Out1_516 ;
|
|
1164
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Relational\\nOperator_ANGL_2_Switch1_ANGL" ;
|
|
1165
|
Switch1_ANGL_In2_523 = Relational_Operator_ANGL_Out1_506 ;
|
|
1166
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Constant1_ANGL_2_Relational\\nOperator_ANGL" ;
|
|
1167
|
Relational_Operator_ANGL_In2_505 = int_to_real (Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_Constant1_ANGL_Value) ;
|
|
1168
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign_2_times360" ;
|
|
1169
|
times360_In2_630 = sign_Out1_532 ;
|
|
1170
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/Constant2_ANGL_2_times360" ;
|
|
1171
|
times360_In1_629 = int_to_real (Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_Constant2_ANGL_Value) ;
|
|
1172
|
|
|
1173
|
tel
|
|
1174
|
|
|
1175
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign" ;
|
|
1176
|
|
|
1177
|
node Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_sign (
|
|
1178
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/SigIn/Out1" ;
|
|
1179
|
SigIn_Out1_542 : real)
|
|
1180
|
returns (
|
|
1181
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Out2/In1" ;
|
|
1182
|
Out2_In1_608 : real) ;
|
|
1183
|
var
|
|
1184
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Relational Operator/Out1" ;
|
|
1185
|
Relational_Operator_Out1_572 : bool ;
|
|
1186
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Relational Operator1/Out1" ;
|
|
1187
|
Relational_Operator1_Out1_578 : bool ;
|
|
1188
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch1/Out1" ;
|
|
1189
|
Switch1_Out1_587 : real ;
|
|
1190
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch2/Out1" ;
|
|
1191
|
Switch2_Out1_596 : real ;
|
|
1192
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Relational Operator/In1" ;
|
|
1193
|
Relational_Operator_In1_570 : real ;
|
|
1194
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Relational Operator/In2" ;
|
|
1195
|
Relational_Operator_In2_571 : real ;
|
|
1196
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Relational Operator1/In1" ;
|
|
1197
|
Relational_Operator1_In1_576 : real ;
|
|
1198
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Relational Operator1/In2" ;
|
|
1199
|
Relational_Operator1_In2_577 : real ;
|
|
1200
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch1/In1" ;
|
|
1201
|
Switch1_In1_584 : real ;
|
|
1202
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch1/In2" ;
|
|
1203
|
Switch1_In2_585 : bool ;
|
|
1204
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch1/In3" ;
|
|
1205
|
Switch1_In3_586 : real ;
|
|
1206
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch2/In1" ;
|
|
1207
|
Switch2_In1_593 : real ;
|
|
1208
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch2/In2" ;
|
|
1209
|
Switch2_In2_594 : bool ;
|
|
1210
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch2/In3" ;
|
|
1211
|
Switch2_In3_595 : real ;
|
|
1212
|
let
|
|
1213
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Relational Operator" ;
|
|
1214
|
Relational_Operator_Out1_572 = Relational_Operator_In1_570 > Relational_Operator_In2_571 ;
|
|
1215
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Relational Operator1" ;
|
|
1216
|
Relational_Operator1_Out1_578 = Relational_Operator1_In1_576 = Relational_Operator1_In2_577 ;
|
|
1217
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch1" ;
|
|
1218
|
Switch1_Out1_587 =
|
|
1219
|
if Switch1_In2_585 then
|
|
1220
|
Switch1_In1_584
|
|
1221
|
else Switch1_In3_586 ;
|
|
1222
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch2" ;
|
|
1223
|
Switch2_Out1_596 =
|
|
1224
|
if Switch2_In2_594 then
|
|
1225
|
Switch2_In1_593
|
|
1226
|
else Switch2_In3_595 ;
|
|
1227
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/SigIn_2_Relational Operator1" ;
|
|
1228
|
Relational_Operator1_In2_577 = SigIn_Out1_542 ;
|
|
1229
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/SigIn_2_Relational Operator" ;
|
|
1230
|
Relational_Operator_In1_570 = SigIn_Out1_542 ;
|
|
1231
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Constant3_2_Switch1" ;
|
|
1232
|
Switch1_In1_584 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_sign_Constant3_Value ;
|
|
1233
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Constant3_2_Relational Operator1" ;
|
|
1234
|
Relational_Operator1_In1_576 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_sign_Constant3_Value ;
|
|
1235
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Constant3_2_Relational Operator" ;
|
|
1236
|
Relational_Operator_In2_571 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_sign_Constant3_Value ;
|
|
1237
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Relational Operator_2_Switch2" ;
|
|
1238
|
Switch2_In2_594 = Relational_Operator_Out1_572 ;
|
|
1239
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch2_2_Out2" ;
|
|
1240
|
Out2_In1_608 = Switch2_Out1_596 ;
|
|
1241
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Constant4_2_Switch2" ;
|
|
1242
|
Switch2_In1_593 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_sign_Constant4_Value ;
|
|
1243
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Switch1_2_Switch2" ;
|
|
1244
|
Switch2_In3_595 = Switch1_Out1_587 ;
|
|
1245
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Relational Operator1_2_Switch1" ;
|
|
1246
|
Switch1_In2_585 = Relational_Operator1_Out1_578 ;
|
|
1247
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/ANGL/sign/Constant5_2_Switch1" ;
|
|
1248
|
Switch1_In3_586 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_ANGL_sign_Constant5_Value ;
|
|
1249
|
|
|
1250
|
tel
|
|
1251
|
|
|
1252
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation" ;
|
|
1253
|
|
|
1254
|
node Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_DynamicSaturation (
|
|
1255
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/up/Out1" ;
|
|
1256
|
up_Out1_698 : real ;
|
|
1257
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/u/Out1" ;
|
|
1258
|
u_Out1_708 : real ;
|
|
1259
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/lo/Out1" ;
|
|
1260
|
lo_Out1_718 : real)
|
|
1261
|
returns (
|
|
1262
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/y1/In1" ;
|
|
1263
|
y1_In1_760 : real) ;
|
|
1264
|
var
|
|
1265
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/LowerRelop1/Out1" ;
|
|
1266
|
LowerRelop1_Out1_724 : bool ;
|
|
1267
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/UpperRelop/Out1" ;
|
|
1268
|
UpperRelop_Out1_730 : bool ;
|
|
1269
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_1/Out1" ;
|
|
1270
|
switch2_1_Out1_739 : real ;
|
|
1271
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_2/Out1" ;
|
|
1272
|
switch2_2_Out1_748 : real ;
|
|
1273
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/LowerRelop1/In1" ;
|
|
1274
|
LowerRelop1_In1_722 : real ;
|
|
1275
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/LowerRelop1/In2" ;
|
|
1276
|
LowerRelop1_In2_723 : real ;
|
|
1277
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/UpperRelop/In1" ;
|
|
1278
|
UpperRelop_In1_728 : real ;
|
|
1279
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/UpperRelop/In2" ;
|
|
1280
|
UpperRelop_In2_729 : real ;
|
|
1281
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_1/In1" ;
|
|
1282
|
switch2_1_In1_736 : real ;
|
|
1283
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_1/In2" ;
|
|
1284
|
switch2_1_In2_737 : bool ;
|
|
1285
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_1/In3" ;
|
|
1286
|
switch2_1_In3_738 : real ;
|
|
1287
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_2/In1" ;
|
|
1288
|
switch2_2_In1_745 : real ;
|
|
1289
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_2/In2" ;
|
|
1290
|
switch2_2_In2_746 : bool ;
|
|
1291
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_2/In3" ;
|
|
1292
|
switch2_2_In3_747 : real ;
|
|
1293
|
let
|
|
1294
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/LowerRelop1" ;
|
|
1295
|
LowerRelop1_Out1_724 = LowerRelop1_In1_722 > LowerRelop1_In2_723 ;
|
|
1296
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/UpperRelop" ;
|
|
1297
|
UpperRelop_Out1_730 = UpperRelop_In1_728 < UpperRelop_In2_729 ;
|
|
1298
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_1" ;
|
|
1299
|
switch2_1_Out1_739 =
|
|
1300
|
if switch2_1_In2_737 then
|
|
1301
|
switch2_1_In1_736
|
|
1302
|
else switch2_1_In3_738 ;
|
|
1303
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_2" ;
|
|
1304
|
switch2_2_Out1_748 =
|
|
1305
|
if switch2_2_In2_746 then
|
|
1306
|
switch2_2_In1_745
|
|
1307
|
else switch2_2_In3_747 ;
|
|
1308
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/up_2_switch2_2" ;
|
|
1309
|
switch2_2_In1_745 = up_Out1_698 ;
|
|
1310
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/up_2_LowerRelop1" ;
|
|
1311
|
LowerRelop1_In2_723 = up_Out1_698 ;
|
|
1312
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/u_2_switch2_1" ;
|
|
1313
|
switch2_1_In3_738 = u_Out1_708 ;
|
|
1314
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/u_2_LowerRelop1" ;
|
|
1315
|
LowerRelop1_In1_722 = u_Out1_708 ;
|
|
1316
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/u_2_UpperRelop" ;
|
|
1317
|
UpperRelop_In1_728 = u_Out1_708 ;
|
|
1318
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/lo_2_switch2_1" ;
|
|
1319
|
switch2_1_In1_736 = lo_Out1_718 ;
|
|
1320
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/lo_2_UpperRelop" ;
|
|
1321
|
UpperRelop_In2_729 = lo_Out1_718 ;
|
|
1322
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_1_2_switch2_2" ;
|
|
1323
|
switch2_2_In3_747 = switch2_1_Out1_739 ;
|
|
1324
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/switch2_2_2_y1" ;
|
|
1325
|
y1_In1_760 = switch2_2_Out1_748 ;
|
|
1326
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/LowerRelop1_2_switch2_2" ;
|
|
1327
|
switch2_2_In2_746 = LowerRelop1_Out1_724 ;
|
|
1328
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/DynamicSaturation/UpperRelop_2_switch2_1" ;
|
|
1329
|
switch2_1_In2_737 = UpperRelop_Out1_730 ;
|
|
1330
|
|
|
1331
|
tel
|
|
1332
|
|
|
1333
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1" ;
|
|
1334
|
|
|
1335
|
node Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Saturation1 (
|
|
1336
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/SigIn/Out1" ;
|
|
1337
|
SigIn_Out1_831 : real)
|
|
1338
|
returns (
|
|
1339
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Out1/In1" ;
|
|
1340
|
Out1_In1_879 : real) ;
|
|
1341
|
var
|
|
1342
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Enforce\\nlow lim/Out1" ;
|
|
1343
|
Enforce_low_lim_Out1_857 : real ;
|
|
1344
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Enforce\\nup lim/Out1" ;
|
|
1345
|
Enforce_up_lim_Out1_867 : real ;
|
|
1346
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Enforce\\nlow lim/In1" ;
|
|
1347
|
Enforce_low_lim_In1_855 : real ;
|
|
1348
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Enforce\\nlow lim/In2" ;
|
|
1349
|
Enforce_low_lim_In2_856 : real ;
|
|
1350
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Enforce\\nup lim/In1" ;
|
|
1351
|
Enforce_up_lim_In1_865 : real ;
|
|
1352
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Enforce\\nup lim/In2" ;
|
|
1353
|
Enforce_up_lim_In2_866 : real ;
|
|
1354
|
let
|
|
1355
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Enforce\\nlow lim" ;
|
|
1356
|
Enforce_low_lim_Out1_857 =
|
|
1357
|
if Enforce_low_lim_In1_855 >= Enforce_low_lim_In2_856 then
|
|
1358
|
Enforce_low_lim_In1_855
|
|
1359
|
else Enforce_low_lim_In2_856 ;
|
|
1360
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Enforce\\nup lim" ;
|
|
1361
|
Enforce_up_lim_Out1_867 =
|
|
1362
|
if Enforce_up_lim_In1_865 <= Enforce_up_lim_In2_866 then
|
|
1363
|
Enforce_up_lim_In1_865
|
|
1364
|
else Enforce_up_lim_In2_866 ;
|
|
1365
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Constant1_2_Enforce\\nlow lim" ;
|
|
1366
|
Enforce_low_lim_In1_855 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Saturation1_Constant1_Value ;
|
|
1367
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/SigIn_2_Enforce\\nlow lim" ;
|
|
1368
|
Enforce_low_lim_In2_856 = SigIn_Out1_831 ;
|
|
1369
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Enforce\\nlow lim_2_Enforce\\nup lim" ;
|
|
1370
|
Enforce_up_lim_In1_865 = Enforce_low_lim_Out1_857 ;
|
|
1371
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Constant2_2_Enforce\\nup lim" ;
|
|
1372
|
Enforce_up_lim_In2_866 = int_to_real (Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_Saturation1_Constant2_Value) ;
|
|
1373
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/Saturation1/Enforce\\nup lim_2_Out1" ;
|
|
1374
|
Out1_In1_879 = Enforce_up_lim_Out1_867 ;
|
|
1375
|
|
|
1376
|
tel
|
|
1377
|
|
|
1378
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc" ;
|
|
1379
|
|
|
1380
|
node Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_omega_calc (
|
|
1381
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/SigIn/Out1" ;
|
|
1382
|
SigIn_Out1_1205 : real)
|
|
1383
|
returns (
|
|
1384
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/Out1/In1" ;
|
|
1385
|
Out1_In1_1255 : real) ;
|
|
1386
|
var
|
|
1387
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/Sum2/Out1" ;
|
|
1388
|
Sum2_Out1_1231 : real ;
|
|
1389
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/timesZero/Out1" ;
|
|
1390
|
timesZero_Out1_1243 : real ;
|
|
1391
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/Sum2/In1" ;
|
|
1392
|
Sum2_In1_1229 : real ;
|
|
1393
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/Sum2/In2" ;
|
|
1394
|
Sum2_In2_1230 : real ;
|
|
1395
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/timesZero/In1" ;
|
|
1396
|
timesZero_In1_1241 : real ;
|
|
1397
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/timesZero/In2" ;
|
|
1398
|
timesZero_In2_1242 : real ;
|
|
1399
|
let
|
|
1400
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/Sum2" ;
|
|
1401
|
Sum2_Out1_1231 = - Sum2_In1_1229 + Sum2_In2_1230 ;
|
|
1402
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/timesZero" ;
|
|
1403
|
timesZero_Out1_1243 = timesZero_In1_1241 * timesZero_In2_1242 ;
|
|
1404
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/Constant1_2_Sum2" ;
|
|
1405
|
Sum2_In1_1229 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_omega_calc_Constant1_Value ;
|
|
1406
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/Sum2_2_Out1" ;
|
|
1407
|
Out1_In1_1255 = Sum2_Out1_1231 ;
|
|
1408
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/timesZero_2_Sum2" ;
|
|
1409
|
Sum2_In2_1230 = timesZero_Out1_1243 ;
|
|
1410
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/Constant2_2_timesZero" ;
|
|
1411
|
timesZero_In1_1241 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_omega_calc_Constant2_Value ;
|
|
1412
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/omega_calc/SigIn_2_timesZero" ;
|
|
1413
|
timesZero_In2_1242 = SigIn_Out1_1205 ;
|
|
1414
|
tel
|
|
1415
|
|
|
1416
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8" ;
|
|
1417
|
|
|
1418
|
node Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_times514dot8 (
|
|
1419
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/SigIn/Out1" ;
|
|
1420
|
SigIn_Out1_1305 : real)
|
|
1421
|
returns (
|
|
1422
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/Out1/In1" ;
|
|
1423
|
Out1_In1_1337 : real) ;
|
|
1424
|
var
|
|
1425
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/timesZero/Out1" ;
|
|
1426
|
timesZero_Out1_1325 : real ;
|
|
1427
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/timesZero/In1" ;
|
|
1428
|
timesZero_In1_1323 : real ;
|
|
1429
|
--Trace PORT : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/timesZero/In2" ;
|
|
1430
|
timesZero_In2_1324 : real ;
|
|
1431
|
let
|
|
1432
|
--Trace BLOCK : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/timesZero" ;
|
|
1433
|
timesZero_Out1_1325 = timesZero_In1_1323 / timesZero_In2_1324 ;
|
|
1434
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/timesZero_2_Out1" ;
|
|
1435
|
Out1_In1_1337 = timesZero_Out1_1325 ;
|
|
1436
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/SigIn_2_timesZero" ;
|
|
1437
|
timesZero_In2_1324 = SigIn_Out1_1305 ;
|
|
1438
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Heading Control/HdgCmdProcessor/times514dot8/Constant1_2_timesZero" ;
|
|
1439
|
timesZero_In1_1323 = Latitudinal_Control_Verif_Heading_Control_HdgCmdProcessor_times514dot8_Constant1_Value ;
|
|
1440
|
tel
|
|
1441
|
|
|
1442
|
--Trace BLOCK : "Latitudinal_Control_Verif/ManualOverride" ;
|
|
1443
|
|
|
1444
|
node Latitudinal_Control_Verif_ManualOverride (
|
|
1445
|
--Trace PORT : "Latitudinal_Control_Verif/ManualOverride/Man/Out1" ;
|
|
1446
|
Man_Out1_1816 : real ;
|
|
1447
|
--Trace PORT : "Latitudinal_Control_Verif/ManualOverride/Auto/Out1" ;
|
|
1448
|
Auto_Out1_1826 : real)
|
|
1449
|
returns (
|
|
1450
|
--Trace PORT : "Latitudinal_Control_Verif/ManualOverride/Out/In1" ;
|
|
1451
|
Out_In1_1847 : real) ;
|
|
1452
|
var
|
|
1453
|
--Trace PORT : "Latitudinal_Control_Verif/ManualOverride/Switch1/Out1" ;
|
|
1454
|
Switch1_Out1_1835 : real ;
|
|
1455
|
--Trace PORT : "Latitudinal_Control_Verif/ManualOverride/Switch1/In1" ;
|
|
1456
|
Switch1_In1_1832 : real ;
|
|
1457
|
--Trace PORT : "Latitudinal_Control_Verif/ManualOverride/Switch1/In2" ;
|
|
1458
|
Switch1_In2_1833 : bool ;
|
|
1459
|
--Trace PORT : "Latitudinal_Control_Verif/ManualOverride/Switch1/In3" ;
|
|
1460
|
Switch1_In3_1834 : real ;
|
|
1461
|
let
|
|
1462
|
--Trace BLOCK : "Latitudinal_Control_Verif/ManualOverride/Switch1" ;
|
|
1463
|
Switch1_Out1_1835 =
|
|
1464
|
if Switch1_In2_1833 then
|
|
1465
|
Switch1_In1_1832
|
|
1466
|
else Switch1_In3_1834 ;
|
|
1467
|
--Trace SIGNAL : "Latitudinal_Control_Verif/ManualOverride/Man_2_Switch1" ;
|
|
1468
|
Switch1_In3_1834 = Man_Out1_1816 ;
|
|
1469
|
--Trace SIGNAL : "Latitudinal_Control_Verif/ManualOverride/Man_2_Switch1" ;
|
|
1470
|
Switch1_In2_1833 =
|
|
1471
|
if Man_Out1_1816 = 0.0 then
|
|
1472
|
false
|
|
1473
|
else true ;
|
|
1474
|
--Trace SIGNAL : "Latitudinal_Control_Verif/ManualOverride/Auto_2_Switch1" ;
|
|
1475
|
Switch1_In1_1832 = Auto_Out1_1826 ;
|
|
1476
|
--Trace SIGNAL : "Latitudinal_Control_Verif/ManualOverride/Switch1_2_Out" ;
|
|
1477
|
Out_In1_1847 = Switch1_Out1_1835 ;
|
|
1478
|
|
|
1479
|
tel
|
|
1480
|
|
|
1481
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop" ;
|
|
1482
|
|
|
1483
|
node Latitudinal_Control_Verif_Roll_InnerLoop (
|
|
1484
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/RollCmd/Out1" ;
|
|
1485
|
RollCmd_Out1_1871 : real ;
|
|
1486
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Roll/Out1" ;
|
|
1487
|
Roll_Out1_1881 : real ;
|
|
1488
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/pdeg/Out1" ;
|
|
1489
|
pdeg_Out1_1891 : real ;
|
|
1490
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/CAS/Out1" ;
|
|
1491
|
CAS_Out1_1901 : real)
|
|
1492
|
returns (
|
|
1493
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/AilCmd/In1" ;
|
|
1494
|
AilCmd_In1_2707 : real) ;
|
|
1495
|
var
|
|
1496
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Kphierr/Out1" ;
|
|
1497
|
Kphierr_Out1_1910 : real ;
|
|
1498
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Product/Out1" ;
|
|
1499
|
Product_Out1_1922 : real ;
|
|
1500
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Sum/Out1" ;
|
|
1501
|
Sum_Out1_1940 : real ;
|
|
1502
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Sum1/Out1" ;
|
|
1503
|
Sum1_Out1_1950 : real ;
|
|
1504
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/Out1" ;
|
|
1505
|
lookup1d_Out1_1957 : real ;
|
|
1506
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/a#1/Out1" ;
|
|
1507
|
asharp1_Out1_2609 : real ;
|
|
1508
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/an_fb#1/Out1" ;
|
|
1509
|
an_fbsharp1_Out1_2619 : real ;
|
|
1510
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/b0#1/Out1" ;
|
|
1511
|
b0sharp1_Out1_2628 : real ;
|
|
1512
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/b0#2/Out1" ;
|
|
1513
|
b0sharp2_Out1_2637 : real ;
|
|
1514
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/delay#1/Out1" ;
|
|
1515
|
delaysharp1_Out1_2642 : real ;
|
|
1516
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/delay_fb#1/Out1" ;
|
|
1517
|
delay_fbsharp1_Out1_2652 : real ;
|
|
1518
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/out_sum/Out1" ;
|
|
1519
|
out_sum_Out1_2662 : real ;
|
|
1520
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/sample#1/Out1" ;
|
|
1521
|
samplesharp1_Out1_2671 : real ;
|
|
1522
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Kphierr/In1" ;
|
|
1523
|
Kphierr_In1_1909 : real ;
|
|
1524
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Product/In1" ;
|
|
1525
|
Product_In1_1920 : real ;
|
|
1526
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Product/In2" ;
|
|
1527
|
Product_In2_1921 : real ;
|
|
1528
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Sum/In1" ;
|
|
1529
|
Sum_In1_1938 : real ;
|
|
1530
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Sum/In2" ;
|
|
1531
|
Sum_In2_1939 : real ;
|
|
1532
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Sum1/In1" ;
|
|
1533
|
Sum1_In1_1948 : real ;
|
|
1534
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/Sum1/In2" ;
|
|
1535
|
Sum1_In2_1949 : real ;
|
|
1536
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/In1" ;
|
|
1537
|
lookup1d_In1_1956 : real ;
|
|
1538
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/a#1/In1" ;
|
|
1539
|
asharp1_In1_2608 : real ;
|
|
1540
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/an_fb#1/In1" ;
|
|
1541
|
an_fbsharp1_In1_2617 : real ;
|
|
1542
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/an_fb#1/In2" ;
|
|
1543
|
an_fbsharp1_In2_2618 : real ;
|
|
1544
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/b0#1/In1" ;
|
|
1545
|
b0sharp1_In1_2627 : real ;
|
|
1546
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/b0#2/In1" ;
|
|
1547
|
b0sharp2_In1_2636 : real ;
|
|
1548
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/delay#1/In1" ;
|
|
1549
|
delaysharp1_In1_2641 : real ;
|
|
1550
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/delay_fb#1/In1" ;
|
|
1551
|
delay_fbsharp1_In1_2650 : real ;
|
|
1552
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/delay_fb#1/In2" ;
|
|
1553
|
delay_fbsharp1_In2_2651 : real ;
|
|
1554
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/out_sum/In1" ;
|
|
1555
|
out_sum_In1_2660 : real ;
|
|
1556
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/out_sum/In2" ;
|
|
1557
|
out_sum_In2_2661 : real ;
|
|
1558
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/sample#1/In1" ;
|
|
1559
|
samplesharp1_In1_2670 : real ;
|
|
1560
|
let
|
|
1561
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/Kphierr" ;
|
|
1562
|
Kphierr_Out1_1910 = Latitudinal_Control_Verif_Roll_InnerLoop_Kphierr_Gain * Kphierr_In1_1909 ;
|
|
1563
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/Product" ;
|
|
1564
|
Product_Out1_1922 = Product_In1_1920 * Product_In2_1921 ;
|
|
1565
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/Sum" ;
|
|
1566
|
Sum_Out1_1940 = Sum_In1_1938 + - Sum_In2_1939 ;
|
|
1567
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/Sum1" ;
|
|
1568
|
Sum1_Out1_1950 = Sum1_In1_1948 + - Sum1_In2_1949 ;
|
|
1569
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d" ;
|
|
1570
|
lookup1d_Out1_1957 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d (lookup1d_In1_1956) ;
|
|
1571
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/a#1" ;
|
|
1572
|
asharp1_Out1_2609 = Latitudinal_Control_Verif_Roll_InnerLoop_asharp1_Gain * asharp1_In1_2608 ;
|
|
1573
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/an_fb#1" ;
|
|
1574
|
an_fbsharp1_Out1_2619 = an_fbsharp1_In1_2617 + - an_fbsharp1_In2_2618 ;
|
|
1575
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/b0#1" ;
|
|
1576
|
b0sharp1_Out1_2628 = Latitudinal_Control_Verif_Roll_InnerLoop_b0sharp1_Gain * b0sharp1_In1_2627 ;
|
|
1577
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/b0#2" ;
|
|
1578
|
b0sharp2_Out1_2637 = Latitudinal_Control_Verif_Roll_InnerLoop_b0sharp2_Gain * b0sharp2_In1_2636 ;
|
|
1579
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/delay#1" ;
|
|
1580
|
delaysharp1_Out1_2642 = Latitudinal_Control_Verif_Roll_InnerLoop_delaysharp1_InitialValue -> pre delaysharp1_In1_2641 ;
|
|
1581
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/delay_fb#1" ;
|
|
1582
|
delay_fbsharp1_Out1_2652 = delay_fbsharp1_In1_2650 + delay_fbsharp1_In2_2651 ;
|
|
1583
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/out_sum" ;
|
|
1584
|
out_sum_Out1_2662 = out_sum_In1_2660 + out_sum_In2_2661 ;
|
|
1585
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/sample#1" ;
|
|
1586
|
samplesharp1_Out1_2671 = Latitudinal_Control_Verif_Roll_InnerLoop_samplesharp1_Gain * samplesharp1_In1_2670 ;
|
|
1587
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/Product_2_AilCmd" ;
|
|
1588
|
AilCmd_In1_2707 = Product_Out1_1922 ;
|
|
1589
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d_2_Product" ;
|
|
1590
|
Product_In2_1921 = lookup1d_Out1_1957 ;
|
|
1591
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/Sum1_2_Product" ;
|
|
1592
|
Product_In1_1920 = Sum1_Out1_1950 ;
|
|
1593
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/CAS_2_lookup1d" ;
|
|
1594
|
lookup1d_In1_1956 = CAS_Out1_1901 ;
|
|
1595
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/out_sum_2_Sum1" ;
|
|
1596
|
Sum1_In2_1949 = out_sum_Out1_2662 ;
|
|
1597
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/Kphierr_2_Sum1" ;
|
|
1598
|
Sum1_In1_1948 = Kphierr_Out1_1910 ;
|
|
1599
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/Roll_2_Sum" ;
|
|
1600
|
Sum_In2_1939 = Roll_Out1_1881 ;
|
|
1601
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/Sum_2_Kphierr" ;
|
|
1602
|
Kphierr_In1_1909 = Sum_Out1_1940 ;
|
|
1603
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/RollCmd_2_Sum" ;
|
|
1604
|
Sum_In1_1938 = RollCmd_Out1_1871 ;
|
|
1605
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/pdeg_2_b0#2" ;
|
|
1606
|
b0sharp2_In1_2636 = pdeg_Out1_1891 ;
|
|
1607
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/pdeg_2_an_fb#1" ;
|
|
1608
|
an_fbsharp1_In1_2617 = pdeg_Out1_1891 ;
|
|
1609
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/an_fb#1_2_sample#1" ;
|
|
1610
|
samplesharp1_In1_2670 = an_fbsharp1_Out1_2619 ;
|
|
1611
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/delay_fb#1_2_delay#1" ;
|
|
1612
|
delaysharp1_In1_2641 = delay_fbsharp1_Out1_2652 ;
|
|
1613
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/delay#1_2_delay_fb#1" ;
|
|
1614
|
delay_fbsharp1_In2_2651 = delaysharp1_Out1_2642 ;
|
|
1615
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/delay#1_2_a#1" ;
|
|
1616
|
asharp1_In1_2608 = delaysharp1_Out1_2642 ;
|
|
1617
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/sample#1_2_delay_fb#1" ;
|
|
1618
|
delay_fbsharp1_In1_2650 = samplesharp1_Out1_2671 ;
|
|
1619
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/a#1_2_an_fb#1" ;
|
|
1620
|
an_fbsharp1_In2_2618 = asharp1_Out1_2609 ;
|
|
1621
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/a#1_2_b0#1" ;
|
|
1622
|
b0sharp1_In1_2627 = asharp1_Out1_2609 ;
|
|
1623
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/b0#2_2_out_sum" ;
|
|
1624
|
out_sum_In1_2660 = b0sharp2_Out1_2637 ;
|
|
1625
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/b0#1_2_out_sum" ;
|
|
1626
|
out_sum_In2_2661 = b0sharp1_Out1_2628 ;
|
|
1627
|
tel
|
|
1628
|
|
|
1629
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d" ;
|
|
1630
|
|
|
1631
|
node Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d (
|
|
1632
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/In1/Out1" ;
|
|
1633
|
In1_Out1_1967 : real)
|
|
1634
|
returns (
|
|
1635
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/Out1/In1" ;
|
|
1636
|
Out1_In1_2543 : real) ;
|
|
1637
|
var
|
|
1638
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/Add/Out1" ;
|
|
1639
|
Add_Out1_1978 : real ;
|
|
1640
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#1/Out1" ;
|
|
1641
|
branchsharp1_Out1_1991 : real ;
|
|
1642
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#2/Out1" ;
|
|
1643
|
branchsharp2_Out1_2004 : real ;
|
|
1644
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#3/Out1" ;
|
|
1645
|
branchsharp3_Out1_2017 : real ;
|
|
1646
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte1/Out1" ;
|
|
1647
|
gte1_Out1_2023 : bool ;
|
|
1648
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte2/Out1" ;
|
|
1649
|
gte2_Out1_2029 : bool ;
|
|
1650
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte3/Out1" ;
|
|
1651
|
gte3_Out1_2035 : bool ;
|
|
1652
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Out1" ;
|
|
1653
|
interpolate1dsharp0_Out1_2046 : real ;
|
|
1654
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Out1" ;
|
|
1655
|
interpolate1dsharp1_Out1_2184 : real ;
|
|
1656
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Out1" ;
|
|
1657
|
interpolate1dsharp2_Out1_2322 : real ;
|
|
1658
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte1/Out1" ;
|
|
1659
|
lte1_Out1_2455 : bool ;
|
|
1660
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte2/Out1" ;
|
|
1661
|
lte2_Out1_2461 : bool ;
|
|
1662
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte3/Out1" ;
|
|
1663
|
lte3_Out1_2467 : bool ;
|
|
1664
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/Add/In1" ;
|
|
1665
|
Add_In1_1975 : real ;
|
|
1666
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/Add/In2" ;
|
|
1667
|
Add_In2_1976 : real ;
|
|
1668
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/Add/In3" ;
|
|
1669
|
Add_In3_1977 : real ;
|
|
1670
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#1/In1" ;
|
|
1671
|
branchsharp1_In1_1988 : real ;
|
|
1672
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#1/In2" ;
|
|
1673
|
branchsharp1_In2_1989 : real ;
|
|
1674
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#1/In3" ;
|
|
1675
|
branchsharp1_In3_1990 : real ;
|
|
1676
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#2/In1" ;
|
|
1677
|
branchsharp2_In1_2001 : real ;
|
|
1678
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#2/In2" ;
|
|
1679
|
branchsharp2_In2_2002 : real ;
|
|
1680
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#2/In3" ;
|
|
1681
|
branchsharp2_In3_2003 : real ;
|
|
1682
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#3/In1" ;
|
|
1683
|
branchsharp3_In1_2014 : real ;
|
|
1684
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#3/In2" ;
|
|
1685
|
branchsharp3_In2_2015 : real ;
|
|
1686
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#3/In3" ;
|
|
1687
|
branchsharp3_In3_2016 : real ;
|
|
1688
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte1/In1" ;
|
|
1689
|
gte1_In1_2021 : real ;
|
|
1690
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte1/In2" ;
|
|
1691
|
gte1_In2_2022 : real ;
|
|
1692
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte2/In1" ;
|
|
1693
|
gte2_In1_2027 : real ;
|
|
1694
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte2/In2" ;
|
|
1695
|
gte2_In2_2028 : real ;
|
|
1696
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte3/In1" ;
|
|
1697
|
gte3_In1_2033 : real ;
|
|
1698
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte3/In2" ;
|
|
1699
|
gte3_In2_2034 : real ;
|
|
1700
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/In1" ;
|
|
1701
|
interpolate1dsharp0_In1_2041 : real ;
|
|
1702
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/In2" ;
|
|
1703
|
interpolate1dsharp0_In2_2042 : real ;
|
|
1704
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/In3" ;
|
|
1705
|
interpolate1dsharp0_In3_2043 : real ;
|
|
1706
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/In4" ;
|
|
1707
|
interpolate1dsharp0_In4_2044 : real ;
|
|
1708
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/In5" ;
|
|
1709
|
interpolate1dsharp0_In5_2045 : real ;
|
|
1710
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/In1" ;
|
|
1711
|
interpolate1dsharp1_In1_2179 : real ;
|
|
1712
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/In2" ;
|
|
1713
|
interpolate1dsharp1_In2_2180 : real ;
|
|
1714
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/In3" ;
|
|
1715
|
interpolate1dsharp1_In3_2181 : real ;
|
|
1716
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/In4" ;
|
|
1717
|
interpolate1dsharp1_In4_2182 : real ;
|
|
1718
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/In5" ;
|
|
1719
|
interpolate1dsharp1_In5_2183 : real ;
|
|
1720
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/In1" ;
|
|
1721
|
interpolate1dsharp2_In1_2317 : real ;
|
|
1722
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/In2" ;
|
|
1723
|
interpolate1dsharp2_In2_2318 : real ;
|
|
1724
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/In3" ;
|
|
1725
|
interpolate1dsharp2_In3_2319 : real ;
|
|
1726
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/In4" ;
|
|
1727
|
interpolate1dsharp2_In4_2320 : real ;
|
|
1728
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/In5" ;
|
|
1729
|
interpolate1dsharp2_In5_2321 : real ;
|
|
1730
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte1/In1" ;
|
|
1731
|
lte1_In1_2453 : real ;
|
|
1732
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte1/In2" ;
|
|
1733
|
lte1_In2_2454 : real ;
|
|
1734
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte2/In1" ;
|
|
1735
|
lte2_In1_2459 : real ;
|
|
1736
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte2/In2" ;
|
|
1737
|
lte2_In2_2460 : real ;
|
|
1738
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte3/In1" ;
|
|
1739
|
lte3_In1_2465 : real ;
|
|
1740
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte3/In2" ;
|
|
1741
|
lte3_In2_2466 : real ;
|
|
1742
|
let
|
|
1743
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/Add" ;
|
|
1744
|
Add_Out1_1978 = Add_In1_1975 + (Add_In2_1976 + Add_In3_1977) ;
|
|
1745
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#1" ;
|
|
1746
|
branchsharp1_Out1_1991 = branchsharp1_In1_1988 * branchsharp1_In2_1989 * branchsharp1_In3_1990 ;
|
|
1747
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#2" ;
|
|
1748
|
branchsharp2_Out1_2004 = branchsharp2_In1_2001 * branchsharp2_In2_2002 * branchsharp2_In3_2003 ;
|
|
1749
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#3" ;
|
|
1750
|
branchsharp3_Out1_2017 = branchsharp3_In1_2014 * branchsharp3_In2_2015 * branchsharp3_In3_2016 ;
|
|
1751
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte1" ;
|
|
1752
|
gte1_Out1_2023 = gte1_In1_2021 <= gte1_In2_2022 ;
|
|
1753
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte2" ;
|
|
1754
|
gte2_Out1_2029 = gte2_In1_2027 <= gte2_In2_2028 ;
|
|
1755
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte3" ;
|
|
1756
|
gte3_Out1_2035 = gte3_In1_2033 <= gte3_In2_2034 ;
|
|
1757
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0" ;
|
|
1758
|
interpolate1dsharp0_Out1_2046 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_interpolate1dsharp0 (interpolate1dsharp0_In1_2041, interpolate1dsharp0_In2_2042, interpolate1dsharp0_In3_2043, interpolate1dsharp0_In4_2044, interpolate1dsharp0_In5_2045) ;
|
|
1759
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1" ;
|
|
1760
|
interpolate1dsharp1_Out1_2184 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_interpolate1dsharp1 (interpolate1dsharp1_In1_2179, interpolate1dsharp1_In2_2180, interpolate1dsharp1_In3_2181, interpolate1dsharp1_In4_2182, interpolate1dsharp1_In5_2183) ;
|
|
1761
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2" ;
|
|
1762
|
interpolate1dsharp2_Out1_2322 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_interpolate1dsharp2 (interpolate1dsharp2_In1_2317, interpolate1dsharp2_In2_2318, interpolate1dsharp2_In3_2319, interpolate1dsharp2_In4_2320, interpolate1dsharp2_In5_2321) ;
|
|
1763
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte1" ;
|
|
1764
|
lte1_Out1_2455 = lte1_In1_2453 >= lte1_In2_2454 ;
|
|
1765
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte2" ;
|
|
1766
|
lte2_Out1_2461 = lte2_In1_2459 > lte2_In2_2460 ;
|
|
1767
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte3" ;
|
|
1768
|
lte3_Out1_2467 = lte3_In1_2465 > lte3_In2_2466 ;
|
|
1769
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r4_2_gte3" ;
|
|
1770
|
gte3_In2_2034 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r4_Value ;
|
|
1771
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r4_2_interpolate1d#2" ;
|
|
1772
|
interpolate1dsharp2_In3_2319 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r4_Value ;
|
|
1773
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r3_2_gte2" ;
|
|
1774
|
gte2_In2_2028 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r3_Value ;
|
|
1775
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r3_2_interpolate1d#1" ;
|
|
1776
|
interpolate1dsharp1_In3_2181 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r3_Value ;
|
|
1777
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r3_2_lte3" ;
|
|
1778
|
lte3_In2_2466 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r3_Value ;
|
|
1779
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r3_2_interpolate1d#2" ;
|
|
1780
|
interpolate1dsharp2_In2_2318 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r3_Value ;
|
|
1781
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r2_2_gte1" ;
|
|
1782
|
gte1_In2_2022 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r2_Value ;
|
|
1783
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r2_2_interpolate1d#0" ;
|
|
1784
|
interpolate1dsharp0_In3_2043 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r2_Value ;
|
|
1785
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r2_2_lte2" ;
|
|
1786
|
lte2_In2_2460 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r2_Value ;
|
|
1787
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r2_2_interpolate1d#1" ;
|
|
1788
|
interpolate1dsharp1_In2_2180 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r2_Value ;
|
|
1789
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r1_2_lte1" ;
|
|
1790
|
lte1_In2_2454 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r1_Value ;
|
|
1791
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r1_2_interpolate1d#0" ;
|
|
1792
|
interpolate1dsharp0_In2_2042 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r1_Value ;
|
|
1793
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/In1_2_gte1" ;
|
|
1794
|
gte1_In1_2021 = In1_Out1_1967 ;
|
|
1795
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/In1_2_lte2" ;
|
|
1796
|
lte2_In1_2459 = In1_Out1_1967 ;
|
|
1797
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/In1_2_gte2" ;
|
|
1798
|
gte2_In1_2027 = In1_Out1_1967 ;
|
|
1799
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/In1_2_lte3" ;
|
|
1800
|
lte3_In1_2465 = In1_Out1_1967 ;
|
|
1801
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/In1_2_gte3" ;
|
|
1802
|
gte3_In1_2033 = In1_Out1_1967 ;
|
|
1803
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/In1_2_interpolate1d#2" ;
|
|
1804
|
interpolate1dsharp2_In1_2317 = In1_Out1_1967 ;
|
|
1805
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/In1_2_interpolate1d#1" ;
|
|
1806
|
interpolate1dsharp1_In1_2179 = In1_Out1_1967 ;
|
|
1807
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/In1_2_lte1" ;
|
|
1808
|
lte1_In1_2453 = In1_Out1_1967 ;
|
|
1809
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/In1_2_interpolate1d#0" ;
|
|
1810
|
interpolate1dsharp0_In1_2041 = In1_Out1_1967 ;
|
|
1811
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0_2_branch#1" ;
|
|
1812
|
branchsharp1_In1_1988 = interpolate1dsharp0_Out1_2046 ;
|
|
1813
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r8_2_interpolate1d#2" ;
|
|
1814
|
interpolate1dsharp2_In5_2321 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r8_Value ;
|
|
1815
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r7_2_interpolate1d#2" ;
|
|
1816
|
interpolate1dsharp2_In4_2320 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r7_Value ;
|
|
1817
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r7_2_interpolate1d#1" ;
|
|
1818
|
interpolate1dsharp1_In5_2183 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r7_Value ;
|
|
1819
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r6_2_interpolate1d#1" ;
|
|
1820
|
interpolate1dsharp1_In4_2182 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r6_Value ;
|
|
1821
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r6_2_interpolate1d#0" ;
|
|
1822
|
interpolate1dsharp0_In5_2045 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r6_Value ;
|
|
1823
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/r5_2_interpolate1d#0" ;
|
|
1824
|
interpolate1dsharp0_In4_2044 = Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_r5_Value ;
|
|
1825
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2_2_branch#3" ;
|
|
1826
|
branchsharp3_In1_2014 = interpolate1dsharp2_Out1_2322 ;
|
|
1827
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1_2_branch#2" ;
|
|
1828
|
branchsharp2_In1_2001 = interpolate1dsharp1_Out1_2184 ;
|
|
1829
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte1_2_branch#1" ;
|
|
1830
|
branchsharp1_In2_1989 =
|
|
1831
|
if lte1_Out1_2455 then
|
|
1832
|
1.0
|
|
1833
|
else 0.0 ;
|
|
1834
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte1_2_branch#1" ;
|
|
1835
|
branchsharp1_In3_1990 =
|
|
1836
|
if gte1_Out1_2023 then
|
|
1837
|
1.0
|
|
1838
|
else 0.0 ;
|
|
1839
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte2_2_branch#2" ;
|
|
1840
|
branchsharp2_In2_2002 =
|
|
1841
|
if lte2_Out1_2461 then
|
|
1842
|
1.0
|
|
1843
|
else 0.0 ;
|
|
1844
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte2_2_branch#2" ;
|
|
1845
|
branchsharp2_In3_2003 =
|
|
1846
|
if gte2_Out1_2029 then
|
|
1847
|
1.0
|
|
1848
|
else 0.0 ;
|
|
1849
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/lte3_2_branch#3" ;
|
|
1850
|
branchsharp3_In2_2015 =
|
|
1851
|
if lte3_Out1_2467 then
|
|
1852
|
1.0
|
|
1853
|
else 0.0 ;
|
|
1854
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/gte3_2_branch#3" ;
|
|
1855
|
branchsharp3_In3_2016 =
|
|
1856
|
if gte3_Out1_2035 then
|
|
1857
|
1.0
|
|
1858
|
else 0.0 ;
|
|
1859
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#1_2_Add" ;
|
|
1860
|
Add_In1_1975 = branchsharp1_Out1_1991 ;
|
|
1861
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#2_2_Add" ;
|
|
1862
|
Add_In2_1976 = branchsharp2_Out1_2004 ;
|
|
1863
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/branch#3_2_Add" ;
|
|
1864
|
Add_In3_1977 = branchsharp3_Out1_2017 ;
|
|
1865
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/Add_2_Out1" ;
|
|
1866
|
Out1_In1_2543 = Add_Out1_1978 ;
|
|
1867
|
|
|
1868
|
tel
|
|
1869
|
|
|
1870
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0" ;
|
|
1871
|
|
|
1872
|
node Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_interpolate1dsharp0 (
|
|
1873
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/In1/Out1" ;
|
|
1874
|
In1_Out1_2056 : real ;
|
|
1875
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/x1/Out1" ;
|
|
1876
|
x1_Out1_2066 : real ;
|
|
1877
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/x2/Out1" ;
|
|
1878
|
x2_Out1_2076 : real ;
|
|
1879
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/y1/Out1" ;
|
|
1880
|
y1_Out1_2086 : real ;
|
|
1881
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/y2/Out1" ;
|
|
1882
|
y2_Out1_2096 : real)
|
|
1883
|
returns (
|
|
1884
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Out1/In1" ;
|
|
1885
|
Out1_In1_2161 : real) ;
|
|
1886
|
var
|
|
1887
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add1/Out1" ;
|
|
1888
|
Add1_Out1_2106 : real ;
|
|
1889
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add2/Out1" ;
|
|
1890
|
Add2_Out1_2116 : real ;
|
|
1891
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add3/Out1" ;
|
|
1892
|
Add3_Out1_2126 : real ;
|
|
1893
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add4/Out1" ;
|
|
1894
|
Add4_Out1_2136 : real ;
|
|
1895
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Divide/Out1" ;
|
|
1896
|
Divide_Out1_2149 : real ;
|
|
1897
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add1/In1" ;
|
|
1898
|
Add1_In1_2104 : real ;
|
|
1899
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add1/In2" ;
|
|
1900
|
Add1_In2_2105 : real ;
|
|
1901
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add2/In1" ;
|
|
1902
|
Add2_In1_2114 : real ;
|
|
1903
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add2/In2" ;
|
|
1904
|
Add2_In2_2115 : real ;
|
|
1905
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add3/In1" ;
|
|
1906
|
Add3_In1_2124 : real ;
|
|
1907
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add3/In2" ;
|
|
1908
|
Add3_In2_2125 : real ;
|
|
1909
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add4/In1" ;
|
|
1910
|
Add4_In1_2134 : real ;
|
|
1911
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add4/In2" ;
|
|
1912
|
Add4_In2_2135 : real ;
|
|
1913
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Divide/In1" ;
|
|
1914
|
Divide_In1_2146 : real ;
|
|
1915
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Divide/In2" ;
|
|
1916
|
Divide_In2_2147 : real ;
|
|
1917
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Divide/In3" ;
|
|
1918
|
Divide_In3_2148 : real ;
|
|
1919
|
let
|
|
1920
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add1" ;
|
|
1921
|
Add1_Out1_2106 = - Add1_In1_2104 + Add1_In2_2105 ;
|
|
1922
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add2" ;
|
|
1923
|
Add2_Out1_2116 = Add2_In1_2114 + Add2_In2_2115 ;
|
|
1924
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add3" ;
|
|
1925
|
Add3_Out1_2126 = - Add3_In1_2124 + Add3_In2_2125 ;
|
|
1926
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add4" ;
|
|
1927
|
Add4_Out1_2136 = Add4_In1_2134 + - Add4_In2_2135 ;
|
|
1928
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Divide" ;
|
|
1929
|
Divide_Out1_2149 = Divide_In1_2146 / Divide_In2_2147 * Divide_In3_2148 ;
|
|
1930
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add2_2_Out1" ;
|
|
1931
|
Out1_In1_2161 = Add2_Out1_2116 ;
|
|
1932
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/y1_2_Add2" ;
|
|
1933
|
Add2_In2_2115 = y1_Out1_2086 ;
|
|
1934
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/y1_2_Add3" ;
|
|
1935
|
Add3_In1_2124 = y1_Out1_2086 ;
|
|
1936
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/x2_2_Add1" ;
|
|
1937
|
Add1_In2_2105 = x2_Out1_2076 ;
|
|
1938
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/x1_2_Add1" ;
|
|
1939
|
Add1_In1_2104 = x1_Out1_2066 ;
|
|
1940
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/x1_2_Add4" ;
|
|
1941
|
Add4_In2_2135 = x1_Out1_2066 ;
|
|
1942
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add1_2_Divide" ;
|
|
1943
|
Divide_In2_2147 = Add1_Out1_2106 ;
|
|
1944
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/y2_2_Add3" ;
|
|
1945
|
Add3_In2_2125 = y2_Out1_2096 ;
|
|
1946
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add3_2_Divide" ;
|
|
1947
|
Divide_In3_2148 = Add3_Out1_2126 ;
|
|
1948
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Divide_2_Add2" ;
|
|
1949
|
Add2_In1_2114 = Divide_Out1_2149 ;
|
|
1950
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/Add4_2_Divide" ;
|
|
1951
|
Divide_In1_2146 = Add4_Out1_2136 ;
|
|
1952
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#0/In1_2_Add4" ;
|
|
1953
|
Add4_In1_2134 = In1_Out1_2056 ;
|
|
1954
|
tel
|
|
1955
|
|
|
1956
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1" ;
|
|
1957
|
|
|
1958
|
node Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_interpolate1dsharp1 (
|
|
1959
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/In1/Out1" ;
|
|
1960
|
In1_Out1_2194 : real ;
|
|
1961
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/x1/Out1" ;
|
|
1962
|
x1_Out1_2204 : real ;
|
|
1963
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/x2/Out1" ;
|
|
1964
|
x2_Out1_2214 : real ;
|
|
1965
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/y1/Out1" ;
|
|
1966
|
y1_Out1_2224 : real ;
|
|
1967
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/y2/Out1" ;
|
|
1968
|
y2_Out1_2234 : real)
|
|
1969
|
returns (
|
|
1970
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Out1/In1" ;
|
|
1971
|
Out1_In1_2299 : real) ;
|
|
1972
|
var
|
|
1973
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add1/Out1" ;
|
|
1974
|
Add1_Out1_2244 : real ;
|
|
1975
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add2/Out1" ;
|
|
1976
|
Add2_Out1_2254 : real ;
|
|
1977
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add3/Out1" ;
|
|
1978
|
Add3_Out1_2264 : real ;
|
|
1979
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add4/Out1" ;
|
|
1980
|
Add4_Out1_2274 : real ;
|
|
1981
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Divide/Out1" ;
|
|
1982
|
Divide_Out1_2287 : real ;
|
|
1983
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add1/In1" ;
|
|
1984
|
Add1_In1_2242 : real ;
|
|
1985
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add1/In2" ;
|
|
1986
|
Add1_In2_2243 : real ;
|
|
1987
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add2/In1" ;
|
|
1988
|
Add2_In1_2252 : real ;
|
|
1989
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add2/In2" ;
|
|
1990
|
Add2_In2_2253 : real ;
|
|
1991
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add3/In1" ;
|
|
1992
|
Add3_In1_2262 : real ;
|
|
1993
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add3/In2" ;
|
|
1994
|
Add3_In2_2263 : real ;
|
|
1995
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add4/In1" ;
|
|
1996
|
Add4_In1_2272 : real ;
|
|
1997
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add4/In2" ;
|
|
1998
|
Add4_In2_2273 : real ;
|
|
1999
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Divide/In1" ;
|
|
2000
|
Divide_In1_2284 : real ;
|
|
2001
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Divide/In2" ;
|
|
2002
|
Divide_In2_2285 : real ;
|
|
2003
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Divide/In3" ;
|
|
2004
|
Divide_In3_2286 : real ;
|
|
2005
|
let
|
|
2006
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add1" ;
|
|
2007
|
Add1_Out1_2244 = - Add1_In1_2242 + Add1_In2_2243 ;
|
|
2008
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add2" ;
|
|
2009
|
Add2_Out1_2254 = Add2_In1_2252 + Add2_In2_2253 ;
|
|
2010
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add3" ;
|
|
2011
|
Add3_Out1_2264 = - Add3_In1_2262 + Add3_In2_2263 ;
|
|
2012
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add4" ;
|
|
2013
|
Add4_Out1_2274 = Add4_In1_2272 + - Add4_In2_2273 ;
|
|
2014
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Divide" ;
|
|
2015
|
Divide_Out1_2287 = Divide_In1_2284 / Divide_In2_2285 * Divide_In3_2286 ;
|
|
2016
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add2_2_Out1" ;
|
|
2017
|
Out1_In1_2299 = Add2_Out1_2254 ;
|
|
2018
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/y1_2_Add2" ;
|
|
2019
|
Add2_In2_2253 = y1_Out1_2224 ;
|
|
2020
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/y1_2_Add3" ;
|
|
2021
|
Add3_In1_2262 = y1_Out1_2224 ;
|
|
2022
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/x2_2_Add1" ;
|
|
2023
|
Add1_In2_2243 = x2_Out1_2214 ;
|
|
2024
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/x1_2_Add1" ;
|
|
2025
|
Add1_In1_2242 = x1_Out1_2204 ;
|
|
2026
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/x1_2_Add4" ;
|
|
2027
|
Add4_In2_2273 = x1_Out1_2204 ;
|
|
2028
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add1_2_Divide" ;
|
|
2029
|
Divide_In2_2285 = Add1_Out1_2244 ;
|
|
2030
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/y2_2_Add3" ;
|
|
2031
|
Add3_In2_2263 = y2_Out1_2234 ;
|
|
2032
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add3_2_Divide" ;
|
|
2033
|
Divide_In3_2286 = Add3_Out1_2264 ;
|
|
2034
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Divide_2_Add2" ;
|
|
2035
|
Add2_In1_2252 = Divide_Out1_2287 ;
|
|
2036
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/Add4_2_Divide" ;
|
|
2037
|
Divide_In1_2284 = Add4_Out1_2274 ;
|
|
2038
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#1/In1_2_Add4" ;
|
|
2039
|
Add4_In1_2272 = In1_Out1_2194 ;
|
|
2040
|
tel
|
|
2041
|
|
|
2042
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2" ;
|
|
2043
|
|
|
2044
|
node Latitudinal_Control_Verif_Roll_InnerLoop_lookup1d_interpolate1dsharp2 (
|
|
2045
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/In1/Out1" ;
|
|
2046
|
In1_Out1_2332 : real ;
|
|
2047
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/x1/Out1" ;
|
|
2048
|
x1_Out1_2342 : real ;
|
|
2049
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/x2/Out1" ;
|
|
2050
|
x2_Out1_2352 : real ;
|
|
2051
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/y1/Out1" ;
|
|
2052
|
y1_Out1_2362 : real ;
|
|
2053
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/y2/Out1" ;
|
|
2054
|
y2_Out1_2372 : real)
|
|
2055
|
returns (
|
|
2056
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Out1/In1" ;
|
|
2057
|
Out1_In1_2437 : real) ;
|
|
2058
|
var
|
|
2059
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add1/Out1" ;
|
|
2060
|
Add1_Out1_2382 : real ;
|
|
2061
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add2/Out1" ;
|
|
2062
|
Add2_Out1_2392 : real ;
|
|
2063
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add3/Out1" ;
|
|
2064
|
Add3_Out1_2402 : real ;
|
|
2065
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add4/Out1" ;
|
|
2066
|
Add4_Out1_2412 : real ;
|
|
2067
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Divide/Out1" ;
|
|
2068
|
Divide_Out1_2425 : real ;
|
|
2069
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add1/In1" ;
|
|
2070
|
Add1_In1_2380 : real ;
|
|
2071
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add1/In2" ;
|
|
2072
|
Add1_In2_2381 : real ;
|
|
2073
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add2/In1" ;
|
|
2074
|
Add2_In1_2390 : real ;
|
|
2075
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add2/In2" ;
|
|
2076
|
Add2_In2_2391 : real ;
|
|
2077
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add3/In1" ;
|
|
2078
|
Add3_In1_2400 : real ;
|
|
2079
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add3/In2" ;
|
|
2080
|
Add3_In2_2401 : real ;
|
|
2081
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add4/In1" ;
|
|
2082
|
Add4_In1_2410 : real ;
|
|
2083
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add4/In2" ;
|
|
2084
|
Add4_In2_2411 : real ;
|
|
2085
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Divide/In1" ;
|
|
2086
|
Divide_In1_2422 : real ;
|
|
2087
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Divide/In2" ;
|
|
2088
|
Divide_In2_2423 : real ;
|
|
2089
|
--Trace PORT : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Divide/In3" ;
|
|
2090
|
Divide_In3_2424 : real ;
|
|
2091
|
let
|
|
2092
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add1" ;
|
|
2093
|
Add1_Out1_2382 = - Add1_In1_2380 + Add1_In2_2381 ;
|
|
2094
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add2" ;
|
|
2095
|
Add2_Out1_2392 = Add2_In1_2390 + Add2_In2_2391 ;
|
|
2096
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add3" ;
|
|
2097
|
Add3_Out1_2402 = - Add3_In1_2400 + Add3_In2_2401 ;
|
|
2098
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add4" ;
|
|
2099
|
Add4_Out1_2412 = Add4_In1_2410 + - Add4_In2_2411 ;
|
|
2100
|
--Trace BLOCK : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Divide" ;
|
|
2101
|
Divide_Out1_2425 = Divide_In1_2422 / Divide_In2_2423 * Divide_In3_2424 ;
|
|
2102
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add2_2_Out1" ;
|
|
2103
|
Out1_In1_2437 = Add2_Out1_2392 ;
|
|
2104
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/y1_2_Add2" ;
|
|
2105
|
Add2_In2_2391 = y1_Out1_2362 ;
|
|
2106
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/y1_2_Add3" ;
|
|
2107
|
Add3_In1_2400 = y1_Out1_2362 ;
|
|
2108
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/x2_2_Add1" ;
|
|
2109
|
Add1_In2_2381 = x2_Out1_2352 ;
|
|
2110
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/x1_2_Add1" ;
|
|
2111
|
Add1_In1_2380 = x1_Out1_2342 ;
|
|
2112
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/x1_2_Add4" ;
|
|
2113
|
Add4_In2_2411 = x1_Out1_2342 ;
|
|
2114
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add1_2_Divide" ;
|
|
2115
|
Divide_In2_2423 = Add1_Out1_2382 ;
|
|
2116
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/y2_2_Add3" ;
|
|
2117
|
Add3_In2_2401 = y2_Out1_2372 ;
|
|
2118
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add3_2_Divide" ;
|
|
2119
|
Divide_In3_2424 = Add3_Out1_2402 ;
|
|
2120
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Divide_2_Add2" ;
|
|
2121
|
Add2_In1_2390 = Divide_Out1_2425 ;
|
|
2122
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/Add4_2_Divide" ;
|
|
2123
|
Divide_In1_2422 = Add4_Out1_2412 ;
|
|
2124
|
--Trace SIGNAL : "Latitudinal_Control_Verif/Roll InnerLoop/lookup1d/interpolate1d#2/In1_2_Add4" ;
|
|
2125
|
Add4_In1_2410 = In1_Out1_2332 ;
|
|
2126
|
tel
|