Project

General

Profile

Download (6.3 KB) Statistics
| Branch: | Tag: | Revision:
1
-- This file has been generated by CoCoSim2.
2

    
3
-- Compiler: Lustre compiler 2 (ToLustre.m)
4
-- Time: 03-Dec-2018 22:23:23
5
(*
6
Original block name: BusSelector5_PP/USERINPUTS
7
*)
8
node  USERINPUTS_78_250(__time_step : real;
9
	__nb_step : int;)
10
returns(user_input_1 : int;
11
	user_input_2 : int;
12
	user_input_3 : int;
13
	user_input_4 : int;
14
	user_input_5 : int;
15
	user_input_6 : int;
16
	user_input_7 : real;
17
	user_input_8 : real;
18
	user_input_9 : real;
19
	user_input_10 : real;
20
	user_input_11 : real;
21
	user_input_12 : real;
22
	user_input_13 : bool;
23
	user_input_14 : bool;
24
	user_input_15 : bool;
25
	user_input_16 : real;
26
	user_input_17 : bool;
27
	user_input_18 : bool;
28
	user_input_19 : bool;
29
	user_input_20 : bool;
30
	user_input_21 : bool;);
31
var BusCreator1_1 : int;
32
	BusCreator1_2 : int;
33
	BusCreator1_3 : int;
34
	BusCreator1_4 : int;
35
	BusCreator1_5 : int;
36
	BusCreator1_6 : int;
37
	BusCreator1_7 : real;
38
	BusCreator1_8 : real;
39
	BusCreator1_9 : real;
40
	BusCreator1_10 : real;
41
	BusCreator1_11 : real;
42
	BusCreator1_12 : real;
43
	BusCreator1_13 : bool;
44
	BusCreator1_14 : bool;
45
	BusCreator1_15 : bool;
46
	BusCreator1_16 : real;
47
	BusCreator1_17 : bool;
48
	BusCreator1_18 : bool;
49
	BusCreator1_19 : bool;
50
	BusCreator1_20 : bool;
51
	BusCreator1_21 : bool;
52
	CLOSED_LOOPSWPitch_1 : bool;
53
	CLOSED_LOOPSWRoll_1 : bool;
54
	CLOSED_LOOPSWYaw_1 : bool;
55
	Constant_1 : real;
56
	Constant1_1 : bool;
57
	Constant2_1 : bool;
58
	Constant3_1 : bool;
59
	Constant4_1 : bool;
60
	Constant5_1 : bool;
61
	DEADBANDVALUE_1 : real;
62
	Gain_1 : real;
63
	Gain_2 : real;
64
	Gain_3 : real;
65
	MANEUVERRATEVALUE_1 : real;
66
	Mux2_1 : bool;
67
	Mux2_2 : bool;
68
	Mux2_3 : bool;
69
	Mux3_1 : int;
70
	Mux3_2 : int;
71
	Mux3_3 : int;
72
	Mux4_1 : real;
73
	Mux4_2 : real;
74
	Mux4_3 : real;
75
	PRIMARY_VERNIER_SWValue_1 : real;
76
	PitchCommand_1 : real;
77
	RHC_STATE1_1 : int;
78
	RHC_STATE2_1 : int;
79
	RHC_STATE3_1 : int;
80
	RollCommand_1 : real;
81
	UnitDelay2_1 : int;
82
	UnitDelay2_2 : int;
83
	UnitDelay2_3 : int;
84
	YawCommand_1 : real;
85
let
86
	BusCreator1_1 = Mux3_1;
87
	BusCreator1_2 = Mux3_2;
88
	BusCreator1_3 = Mux3_3;
89
	BusCreator1_4 = UnitDelay2_1;
90
	BusCreator1_5 = UnitDelay2_2;
91
	BusCreator1_6 = UnitDelay2_3;
92
	BusCreator1_7 = DEADBANDVALUE_1;
93
	BusCreator1_8 = MANEUVERRATEVALUE_1;
94
	BusCreator1_9 = Gain_1;
95
	BusCreator1_10 = Gain_2;
96
	BusCreator1_11 = Gain_3;
97
	BusCreator1_12 = PRIMARY_VERNIER_SWValue_1;
98
	BusCreator1_13 = Mux2_1;
99
	BusCreator1_14 = Mux2_2;
100
	BusCreator1_15 = Mux2_3;
101
	BusCreator1_16 = Constant_1;
102
	BusCreator1_17 = Constant1_1;
103
	BusCreator1_18 = Constant2_1;
104
	BusCreator1_19 = Constant3_1;
105
	BusCreator1_20 = Constant4_1;
106
	BusCreator1_21 = Constant5_1;
107
	CLOSED_LOOPSWPitch_1 = true;
108
	CLOSED_LOOPSWRoll_1 = true;
109
	CLOSED_LOOPSWYaw_1 = true;
110
	Constant_1 = 2.000000000000000;
111
	Constant1_1 = false;
112
	Constant2_1 = false;
113
	Constant3_1 = false;
114
	Constant4_1 = false;
115
	Constant5_1 = false;
116
	DEADBANDVALUE_1 = 0.486065387725800;
117
	Gain_1 = (Mux4_1 * 0.017453292519943);
118
	Gain_2 = (Mux4_2 * 0.017453292519943);
119
	Gain_3 = (Mux4_3 * 0.017453292519943);
120
	MANEUVERRATEVALUE_1 = 0.754919878641800;
121
	Mux2_1 = CLOSED_LOOPSWRoll_1;
122
	Mux2_2 = CLOSED_LOOPSWPitch_1;
123
	Mux2_3 = CLOSED_LOOPSWYaw_1;
124
	Mux3_1 = RHC_STATE1_1;
125
	Mux3_2 = RHC_STATE2_1;
126
	Mux3_3 = RHC_STATE3_1;
127
	Mux4_1 = RollCommand_1;
128
	Mux4_2 = PitchCommand_1;
129
	Mux4_3 = YawCommand_1;
130
	PRIMARY_VERNIER_SWValue_1 = 1.000000000000000;
131
	PitchCommand_1 = 0.000000000000000;
132
	RHC_STATE1_1 = 0;
133
	RHC_STATE2_1 = 0;
134
	RHC_STATE3_1 = 0;
135
	RollCommand_1 = 0.000000000000000;
136
	UnitDelay2_1 = (0 -> (pre Mux3_1));
137
	UnitDelay2_2 = (0 -> (pre Mux3_2));
138
	UnitDelay2_3 = (0 -> (pre Mux3_3));
139
	YawCommand_1 = 0.000000000000000;
140
	user_input_1 = BusCreator1_1;
141
	user_input_2 = BusCreator1_2;
142
	user_input_3 = BusCreator1_3;
143
	user_input_4 = BusCreator1_4;
144
	user_input_5 = BusCreator1_5;
145
	user_input_6 = BusCreator1_6;
146
	user_input_7 = BusCreator1_7;
147
	user_input_8 = BusCreator1_8;
148
	user_input_9 = BusCreator1_9;
149
	user_input_10 = BusCreator1_10;
150
	user_input_11 = BusCreator1_11;
151
	user_input_12 = BusCreator1_12;
152
	user_input_13 = BusCreator1_13;
153
	user_input_14 = BusCreator1_14;
154
	user_input_15 = BusCreator1_15;
155
	user_input_16 = BusCreator1_16;
156
	user_input_17 = BusCreator1_17;
157
	user_input_18 = BusCreator1_18;
158
	user_input_19 = BusCreator1_19;
159
	user_input_20 = BusCreator1_20;
160
	user_input_21 = BusCreator1_21;
161
tel
162

    
163
(*
164
Original block name: BusSelector5_PP
165
*)
166
node  BusSelector5_PP(_virtual : bool;)
167
returns(Out1_1 : real;
168
	Out1_2 : real;
169
	Out1_3 : real;
170
	Out2_1 : real;
171
	Out3_1 : real;
172
	Out4_1 : real;
173
	Out5_1 : bool;
174
	Out5_2 : bool;
175
	Out5_3 : bool;
176
	Out6_1 : int;
177
	Out6_2 : int;
178
	Out6_3 : int;);
179
var BusSelector3_1 : real;
180
	BusSelector3_2 : real;
181
	BusSelector3_3 : real;
182
	BusSelector3_4 : real;
183
	BusSelector3_5 : real;
184
	BusSelector3_6 : real;
185
	BusSelector3_7 : bool;
186
	BusSelector3_8 : bool;
187
	BusSelector3_9 : bool;
188
	BusSelector3_10 : int;
189
	BusSelector3_11 : int;
190
	BusSelector3_12 : int;
191
	USERINPUTS_1 : int;
192
	USERINPUTS_2 : int;
193
	USERINPUTS_3 : int;
194
	USERINPUTS_4 : int;
195
	USERINPUTS_5 : int;
196
	USERINPUTS_6 : int;
197
	USERINPUTS_7 : real;
198
	USERINPUTS_8 : real;
199
	USERINPUTS_9 : real;
200
	USERINPUTS_10 : real;
201
	USERINPUTS_11 : real;
202
	USERINPUTS_12 : real;
203
	USERINPUTS_13 : bool;
204
	USERINPUTS_14 : bool;
205
	USERINPUTS_15 : bool;
206
	USERINPUTS_16 : real;
207
	USERINPUTS_17 : bool;
208
	USERINPUTS_18 : bool;
209
	USERINPUTS_19 : bool;
210
	USERINPUTS_20 : bool;
211
	USERINPUTS_21 : bool;
212
	__time_step : real;
213
	__nb_step : int;
214
let
215
	BusSelector3_1 = USERINPUTS_9;
216
	BusSelector3_2 = USERINPUTS_10;
217
	BusSelector3_3 = USERINPUTS_11;
218
	BusSelector3_4 = USERINPUTS_12;
219
	BusSelector3_5 = USERINPUTS_7;
220
	BusSelector3_6 = USERINPUTS_8;
221
	BusSelector3_7 = USERINPUTS_13;
222
	BusSelector3_8 = USERINPUTS_14;
223
	BusSelector3_9 = USERINPUTS_15;
224
	BusSelector3_10 = USERINPUTS_1;
225
	BusSelector3_11 = USERINPUTS_2;
226
	BusSelector3_12 = USERINPUTS_3;
227
	(USERINPUTS_1, USERINPUTS_2, USERINPUTS_3, USERINPUTS_4, USERINPUTS_5, USERINPUTS_6, USERINPUTS_7, USERINPUTS_8, USERINPUTS_9, USERINPUTS_10, USERINPUTS_11, USERINPUTS_12, USERINPUTS_13, USERINPUTS_14, USERINPUTS_15, USERINPUTS_16, USERINPUTS_17, USERINPUTS_18, USERINPUTS_19, USERINPUTS_20, USERINPUTS_21) = USERINPUTS_78_250(__time_step, __nb_step);
228
	Out1_1 = BusSelector3_1;
229
	Out1_2 = BusSelector3_2;
230
	Out1_3 = BusSelector3_3;
231
	Out2_1 = BusSelector3_4;
232
	Out3_1 = BusSelector3_5;
233
	Out4_1 = BusSelector3_6;
234
	Out5_1 = BusSelector3_7;
235
	Out5_2 = BusSelector3_8;
236
	Out5_3 = BusSelector3_9;
237
	Out6_1 = BusSelector3_10;
238
	Out6_2 = BusSelector3_11;
239
	Out6_3 = BusSelector3_12;
240
	__time_step = (0.0 -> ((pre __time_step) + 0.200000000000000));
241
	__nb_step = (0 -> ((pre __nb_step) + 1));
242
tel
243

    
(235-235/1153)