Revision 9b45f3df regression_tests/lustre_files/success/kind_fmcad08/large/cruise_controller_13.lus
regression_tests/lustre_files/success/kind_fmcad08/large/cruise_controller_13.lus  

12  12  
13  13 
@ contract guarantees OK; 
14  14 
var 
15 
mode: int; 

15 
mode_: int;


16  16 
cruiseThrottle: real; 
17  17 
desiredSpeed: real; 
18  18 
rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeDecreaseInDesiredSpeed_rlt_clock: bool; 
...  ...  
21  21 
rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeIncreaseInDesiredSpeed_rlt_clock: bool; 
22  22 
rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeIncreaseInDesiredSpeed_rlt_init_step: bool; 
23  23 
newDesiredSpeed: real; 
24 
chart_CruiseController_ModeLogic_mode_logic_onOff: int; 

25 
chart_CruiseController_ModeLogic_mode_logic_decel: int; 

26 
chart_CruiseController_ModeLogic_mode_logic_set: int; 

27 
chart_CruiseController_ModeLogic_mode_logic_accel: int; 

28 
chart_CruiseController_ModeLogic_mode_logic_safetyCondition: int; 

29 
chart_CruiseController_ModeLogic_mode_logic____wakeup___: bool; 

30 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0: bool; 

31 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root: int; 

32 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_outports_setDesiredSpeed: int; 

33 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root: int; 

34 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1: bool; 

35 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_1: bool; 

36 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root: int; 

37 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_mode: int;


38 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_setDesiredSpeed: int; 

39 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root: int; 

40 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2: bool; 

41 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_2: bool; 

42 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root: int; 

43 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_outports_mode: int;


44 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root: int; 

45 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3: bool; 

46 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_3: bool; 

47 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root: int; 

48 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_outports_mode: int;


49 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root: int; 

50 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_outports_mode: int;


51 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4: bool; 

52 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root: int; 

53 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_15_states___root: int; 

54 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2: int; 

55 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_02: bool; 

56 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_02: bool; 

57 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2: int; 

58 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1: int; 

59 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_01: bool; 

60 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_01: bool; 

61 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1: int; 

62 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root: int; 

63 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0: bool; 

64 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_0: bool; 

65 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root: int; 

66 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0: bool; 

67 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root: int; 

68 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root: int; 

69 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1: bool; 

70 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_1: bool; 

71 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root: int; 

72 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_4_outports_mode: int;


73 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root: int; 

74 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2: bool; 

75 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_2: bool; 

76 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root: int; 

77 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_outports_mode: int;


78 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root: int; 

79 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3: bool; 

80 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_3: bool; 

81 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_8_outports_mode: int;


82 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root: int; 

83 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_outports_setDesiredSpeed: int; 

84 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root: int; 

85 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_outports_mode: int;


86 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root: int; 

87 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0: bool; 

88 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_rltCheckEntryStateConsistency_0: bool; 

89 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root: int; 

90 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0: bool; 

91 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root: int; 

92 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root: int; 

93 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed: int; 

94 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1: bool; 

95 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_complete_1: bool; 

96 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root: int; 

97 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_outports_mode: int;


98 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root: int; 

99 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_outports_mode: int;


100 
rlt_enter_CruiseController_ModeLogic_mode_logic_rltCheckEntryStateConsistency_0: bool; 

101 
rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root: int; 

102 
chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep: bool; 

103 
chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root: int; 

104 
chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode: int;


105 
chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed: int; 

106 
chart_CruiseController_ModeLogic_mode_logic_final_state_states___root: int; 

107 
chart_CruiseController_ModeLogic_mode_logic_setDesiredSpeed: int; 

24 
chart_CruiseController_ModeLogic_mode__logic_onOff: int;


25 
chart_CruiseController_ModeLogic_mode__logic_decel: int;


26 
chart_CruiseController_ModeLogic_mode__logic_set: int;


27 
chart_CruiseController_ModeLogic_mode__logic_accel: int;


28 
chart_CruiseController_ModeLogic_mode__logic_safetyCondition: int;


29 
chart_CruiseController_ModeLogic_mode__logic____wakeup___: bool;


30 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0: bool;


31 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root: int;


32 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_outports_setDesiredSpeed: int;


33 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root: int;


34 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1: bool;


35 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_1: bool;


36 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root: int;


37 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_mode_: int;


38 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_setDesiredSpeed: int;


39 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root: int;


40 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2: bool;


41 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_2: bool;


42 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root: int;


43 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_outports_mode_: int;


44 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root: int;


45 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3: bool;


46 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_3: bool;


47 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root: int;


48 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_outports_mode_: int;


49 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root: int;


50 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_outports_mode_: int;


51 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4: bool;


52 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root: int;


53 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_15_states___root: int;


54 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2: int;


55 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_02: bool;


56 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_02: bool;


57 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2: int;


58 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1: int;


59 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_01: bool;


60 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_01: bool;


61 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1: int;


62 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root: int;


63 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0: bool;


64 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_0: bool;


65 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root: int;


66 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0: bool;


67 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root: int;


68 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root: int;


69 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1: bool;


70 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_1: bool;


71 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root: int;


72 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_4_outports_mode_: int;


73 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root: int;


74 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2: bool;


75 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_2: bool;


76 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root: int;


77 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_outports_mode_: int;


78 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root: int;


79 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3: bool;


80 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_3: bool;


81 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_8_outports_mode_: int;


82 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root: int;


83 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_outports_setDesiredSpeed: int;


84 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root: int;


85 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_outports_mode_: int;


86 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root: int;


87 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0: bool;


88 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_rltCheckEntryStateConsistency_0: bool;


89 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root: int;


90 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0: bool;


91 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root: int;


92 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root: int;


93 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed: int;


94 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1: bool;


95 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_complete_1: bool;


96 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root: int;


97 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_outports_mode_: int;


98 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root: int;


99 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_outports_mode_: int;


100 
rlt_enter_CruiseController_ModeLogic_mode__logic_rltCheckEntryStateConsistency_0: bool;


101 
rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root: int;


102 
chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep: bool;


103 
chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root: int;


104 
chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_: int;


105 
chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed: int;


106 
chart_CruiseController_ModeLogic_mode__logic_final_state_states___root: int;


107 
chart_CruiseController_ModeLogic_mode__logic_setDesiredSpeed: int;


108  108 
cruise_controller_CruiseController_ModeLogic_DelayOnsetAccel_Bounded_Count_Out: int; 
109  109 
cruise_controller_CruiseController_ModeLogic_DelayOnsetDecel_Bounded_Count_Out: int; 
110  110 
cruise_controller_CruiseController_ModeLogic_resumeEvent_Out: bool; 
...  ...  
205  205 
else 0)) 
206  206 
else 20)); 
207  207  
208 
chart_CruiseController_ModeLogic_mode_logic_onOff = 

208 
chart_CruiseController_ModeLogic_mode__logic_onOff =


209  209 
(if (onOff = false) 
210  210 
then 0 
211  211 
else 1); 
212  212  
213 
chart_CruiseController_ModeLogic_mode_logic_decel = 

213 
chart_CruiseController_ModeLogic_mode__logic_decel =


214  214 
(if ( 
215  215 
(if (cruise_controller_CruiseController_ModeLogic_DelayOnsetDecel_Bounded_Count_Out = 20) 
216  216 
then true 
...  ...  
218  218 
then 0 
219  219 
else 1); 
220  220  
221 
chart_CruiseController_ModeLogic_mode_logic_set = 

221 
chart_CruiseController_ModeLogic_mode__logic_set =


222  222 
(if (cruise_controller_CruiseController_ModeLogic_setEvent_Out = false) 
223  223 
then 0 
224  224 
else 1); 
225  225  
226 
chart_CruiseController_ModeLogic_mode_logic_accel = 

226 
chart_CruiseController_ModeLogic_mode__logic_accel =


227  227 
(if ( 
228  228 
(if (cruise_controller_CruiseController_ModeLogic_DelayOnsetAccel_Bounded_Count_Out = 20) 
229  229 
then true 
...  ...  
231  231 
then 0 
232  232 
else 1); 
233  233  
234 
chart_CruiseController_ModeLogic_mode_logic_safetyCondition = 

234 
chart_CruiseController_ModeLogic_mode__logic_safetyCondition =


235  235 
(if (cruise_controller_CruiseController_ModeLogic_safetyCondition_safetyCondition = false) 
236  236 
then 0 
237  237 
else 1); 
238  238  
239 
chart_CruiseController_ModeLogic_mode_logic____wakeup___ = true; 

239 
chart_CruiseController_ModeLogic_mode__logic____wakeup___ = true;


240  240  
241 
chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep = (true > 

242 
(if (pre chart_CruiseController_ModeLogic_mode_logic____wakeup___) 

241 
chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep = (true >


242 
(if (pre chart_CruiseController_ModeLogic_mode__logic____wakeup___)


243  243 
then false 
244 
else (pre chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep))); 

244 
else (pre chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep)));


245  245  
246 
chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root = (0 > (pre chart_CruiseController_ModeLogic_mode_logic_final_state_states___root));


246 
chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root = (0 > (pre chart_CruiseController_ModeLogic_mode__logic_final_state_states___root));


247  247  
248 
chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode = (0 > (pre mode));


248 
chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_ = (0 > (pre mode_));


249  249  
250 
chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed = (0 > (pre chart_CruiseController_ModeLogic_mode_logic_setDesiredSpeed));


250 
chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed = (0 > (pre chart_CruiseController_ModeLogic_mode__logic_setDesiredSpeed));


251  251  
252 
chart_CruiseController_ModeLogic_mode_logic_final_state_states___root = 

253 
(if chart_CruiseController_ModeLogic_mode_logic____wakeup___ 

252 
chart_CruiseController_ModeLogic_mode__logic_final_state_states___root =


253 
(if chart_CruiseController_ModeLogic_mode__logic____wakeup___


254  254 
then 
255 
(if chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep 

256 
then rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root 

255 
(if chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep


256 
then rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root


257  257 
else 
258 
(if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_complete_1) and 

258 
(if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_complete_1) and


259  259 

260 
((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 2) and 

261 
(rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 8))) 

260 
((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 2) and


261 
(rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 8)))


262  262 
then 
263 
(if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_3) and 

263 
(if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_3) and


264  264 

265 
((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root >= 3) and 

266 
(rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root <= 6))) 

267 
then rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_15_states___root 

268 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root) 

269 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root)) 

270 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root); 

271  
272 
mode = 

273 
(if chart_CruiseController_ModeLogic_mode_logic____wakeup___ 

265 
((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root >= 3) and


266 
(rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root <= 6)))


267 
then rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_15_states___root


268 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root)


269 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root))


270 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root);


271  
272 
mode_ =


273 
(if chart_CruiseController_ModeLogic_mode__logic____wakeup___


274  274 
then 
275 
(if chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep 

275 
(if chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep


276  276 
then 
277 
(if (not (chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root = 1)) 

277 
(if (not (chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root = 1))


278  278 
then 1 
279 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode)


279 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_)


280  280 
else 
281 
(if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_complete_1) and 

281 
(if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_complete_1) and


282  282 

283 
((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 2) and 

284 
(rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 8))) 

283 
((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 2) and


284 
(rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 8)))


285  285 
then 
286 
(if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_3) and 

286 
(if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_3) and


287  287 

288 
((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root >= 3) and 

289 
(rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root <= 6))) 

288 
((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root >= 3) and


289 
(rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root <= 6)))


290  290 
then 
291 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4 

291 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4


292  292 
then 
293 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root = 4)) 

293 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root = 4))


294  294 
then 4 
295 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_outports_mode)


296 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_outports_mode)


297 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_outports_mode)


298 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_outports_mode))


299 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode);


300  
301 
chart_CruiseController_ModeLogic_mode_logic_setDesiredSpeed = 

302 
(if chart_CruiseController_ModeLogic_mode_logic____wakeup___ 

295 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_outports_mode_)


296 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_outports_mode_)


297 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_outports_mode_)


298 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_outports_mode_))


299 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_);


300  
301 
chart_CruiseController_ModeLogic_mode__logic_setDesiredSpeed =


302 
(if chart_CruiseController_ModeLogic_mode__logic____wakeup___


303  303 
then 
304 
(if chart_CruiseController_ModeLogic_mode_logic_rlt_evtInitStep 

305 
then chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed 

304 
(if chart_CruiseController_ModeLogic_mode__logic_rlt_evtInitStep


305 
then chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed


306  306 
else 
307 
(if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_complete_1) and 

307 
(if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_complete_1) and


308  308 

309 
((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 2) and 

310 
(rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 8))) 

309 
((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 2) and


310 
(rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 8)))


311  311 
then 
312 
(if ((not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_3) and 

312 
(if ((not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_3) and


313  313 

314 
((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root >= 3) and 

315 
(rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root <= 6))) 

314 
((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root >= 3) and


315 
(rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root <= 6)))


316  316 
then 
317 
(if ((not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4 or 

318 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_3)) and 

319 
(rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_15_states___root = 4)) 

317 
(if ((not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4 or


318 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_3)) and


319 
(rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_15_states___root = 4))


320  320 
then 0 
321  321 
else 
322 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2 

322 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2


323  323 
then 
324 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root = 4) 

324 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root = 4)


325  325 
then 0 
326 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_setDesiredSpeed) 

327 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_setDesiredSpeed)) 

328 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_outports_setDesiredSpeed) 

329 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed)) 

330 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed); 

326 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_setDesiredSpeed)


327 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_setDesiredSpeed))


328 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_outports_setDesiredSpeed)


329 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed))


330 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed);


331  331  
332  332 

333 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0 = ( 

334 
((chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root >= 2) and 

335 
(chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root <= 8)) and 

333 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0 = (


334 
((chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root >= 2) and


335 
(chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root <= 8)) and


336  336 
(not 
337 
(if (chart_CruiseController_ModeLogic_mode_logic_onOff <> 0) 

337 
(if (chart_CruiseController_ModeLogic_mode__logic_onOff <> 0)


338  338 
then true 
339  339 
else false))); 
340  340  
341  341 

342 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root = 

343 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0 

342 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root =


343 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0


344  344 
then 
345  345 
(if 
346 
((chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root >= 2) and 

347 
(chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root <= 8)) 

346 
((chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root >= 2) and


347 
(chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root <= 8))


348  348 
then 
349  349 
0 
350 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root) 

351 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root); 

350 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root)


351 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root);


352  352  
353  353 

354 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root = 

355 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0 

354 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root =


355 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0


356  356 
then 
357 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root = 1)) 

357 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root = 1))


358  358 
then 
359  359  
360  360 
1 
361 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root) 

362 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root); 

361 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root)


362 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root);


363  363  
364  364 

365  365  
366  366 

367 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed = 

368 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0 

367 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed =


368 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0


369  369 
then 
370  370 
(if 
371  371  
372 
((chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root >= 2) and 

373 
(chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root <= 8)) 

372 
((chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root >= 2) and


373 
(chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root <= 8))


374  374 
then 
375  375 
(if 
376  376  
377 
((chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root >= 3) and 

378 
(chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root <= 6)) 

377 
((chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root >= 3) and


378 
(chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root <= 6))


379  379 
then 
380 
(if (chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root = 4) 

380 
(if (chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root = 4)


381  381 
then 0 
382 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed) 

383 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed) 

384 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed) 

385 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_setDesiredSpeed); 

382 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed)


383 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed)


384 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed)


385 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_setDesiredSpeed);


386  386  
387  387 

388  388  
389  389 

390 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root = 1) and


390 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root = 1) and


391  391 
( 
392 
(if (chart_CruiseController_ModeLogic_mode_logic_onOff <> 0) 

392 
(if (chart_CruiseController_ModeLogic_mode__logic_onOff <> 0)


393  393 
then true 
394  394 
else false) and 
395 
(not rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0))); 

395 
(not rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0)));


396  396  
397  397 

398 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1 or


399 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0); 

398 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1 or


399 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0);


400  400  
401  401 

402  402  
403 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root = 

404 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1 

403 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root =


404 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1


405  405 
then 
406 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root = 1) 

406 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root = 1)


407  407 
then 
408  408  
409  409 
0 
410 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root) 

411 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root); 

410 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root)


411 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root);


412  412  
413  413 

414  414  
415 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_outports_mode =


416 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_0 

415 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_outports_mode_ =


416 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_0


417  417 
then 
418 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_1_states___root = 1)) 

418 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_1_states___root = 1))


419  419 
then 1 
420 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode)


421 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_outports_mode);


420 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_)


421 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_outports_mode_);


422  422  
423  423 

424 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root = 

425 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1 

426 
then rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root 

427 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root); 

424 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root =


425 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1


426 
then rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root


427 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root);


428  428  
429  429 

430  430  
431  431 

432 
rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_outports_mode =


433 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_fired_1 

432 
rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_outports_mode_ =


433 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_fired_1


434  434 
then 
435 
(if rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0 

435 
(if rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0


436  436 
then 
437 
(if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 7)) 

437 
(if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root = 7))


438  438 
then 2 
439 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_outports_mode)


440 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_outports_mode)


441 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_outports_mode);


439 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_outports_mode_)


440 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_outports_mode_)


441 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_outports_mode_);


442  442  
443  443 

444  444  
445  445 

446 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0 = ( 

446 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0 = (


447  447  
448 
((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 3) and 

449 
(rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 6)) and 

448 
((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 3) and


449 
(rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 6)) and


450  450 
(not 
451 
(if (chart_CruiseController_ModeLogic_mode_logic_safetyCondition <> 0) 

451 
(if (chart_CruiseController_ModeLogic_mode__logic_safetyCondition <> 0)


452  452 
then true 
453  453 
else false))); 
454  454  
455  455 

456  456  
457 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 

458 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0 

457 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root =


458 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0


459  459 
then 
460  460 
(if 
461  461  
462 
((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 3) and 

463 
(rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 6)) 

462 
((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 3) and


463 
(rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 6))


464  464 
then 
465  465  
466  466 
2 
467 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root) 

468 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root); 

467 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root)


468 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root);


469  469  
470  470 

471 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root = 

472 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0 

471 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root =


472 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0


473  473 
then 
474 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 8)) 

474 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root = 8))


475  475 
then 
476  476  
477  477 
8 
478 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root) 

479 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root); 

478 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root)


479 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root);


480  480  
481  481 

482  482  
483  483 

484 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root = 8) and


484 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root = 8) and


485  485 
(( 
486  486 
(if ( 
487 
(if ((chart_CruiseController_ModeLogic_mode_logic_set = 1) = false) 

487 
(if ((chart_CruiseController_ModeLogic_mode__logic_set = 1) = false)


488  488 
then 0 
489  489 
else 1) <> 0) 
490  490 
then true 
491  491 
else false) and 
492  492 

493  493 
(if ( 
494 
(if ((chart_CruiseController_ModeLogic_mode_logic_safetyCondition = 1) = false) 

494 
(if ((chart_CruiseController_ModeLogic_mode__logic_safetyCondition = 1) = false)


495  495 
then 0 
496  496 
else 1) <> 0) 
497  497 
then true 
498  498 
else false)) and 
499 
(not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0))); 

499 
(not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0)));


500  500  
501  501 

502 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1 or


503 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0); 

502 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1 or


503 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0);


504  504  
505  505 

506  506  
507 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root = 

508 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1 

507 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root =


508 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1


509  509 
then 
510 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root = 8) 

510 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root = 8)


511  511 
then 
512  512  
513  513 
2 
514 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root) 

515 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_2_states___root); 

514 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root)


515 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_2_states___root);


516  516  
517  517 

518  518  
519 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_4_outports_mode =


520 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0 

519 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_4_outports_mode_ =


520 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0


521  521 
then 
522 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 8)) 

522 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root = 8))


523  523 
then 3 
524 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_outports_mode)


525 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_outports_mode);


524 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_outports_mode_)


525 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_outports_mode_);


526  526  
527  527 

528  528  
529 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root = 

530 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1 

531 
then rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root 

532 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root); 

529 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root =


530 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1


531 
then rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root


532 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root);


533  533  
534  534 

535  535  
536  536 

537 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root = 8) and


537 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root = 8) and


538  538 
(( 
539  539 
(if ( 
540  540 
(if (( 
...  ...  
547  547 
else false) and 
548  548 

549  549 
(if ( 
550 
(if ((chart_CruiseController_ModeLogic_mode_logic_safetyCondition = 1) = false) 

550 
(if ((chart_CruiseController_ModeLogic_mode__logic_safetyCondition = 1) = false)


551  551 
then 0 
552  552 
else 1) <> 0) 
553  553 
then true 
554  554 
else false)) and 
555 
(not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_1))); 

555 
(not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_1)));


556  556  
557  557 

558 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_2 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2 or


559 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_1); 

558 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_2 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2 or


559 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_1);


560  560  
561  561 

562  562  
563 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root = 

564 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2 

563 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root =


564 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2


565  565 
then 
566 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root = 8) 

566 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root = 8)


567  567 
then 
568  568  
569  569 
2 
570 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root) 

571 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_5_states___root); 

570 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root)


571 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_5_states___root);


572  572  
573  573 

574  574  
575 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_outports_mode =


576 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1 

575 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_outports_mode_ =


576 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1


577  577 
then 
578 
(if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0 

578 
(if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0


579  579 
then 
580 
(if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root = 4)) 

580 
(if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root = 4))


581  581 
then 4 
582 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_4_outports_mode)


583 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_4_outports_mode)


584 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_4_outports_mode);


582 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_4_outports_mode_)


583 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_4_outports_mode_)


584 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_4_outports_mode_);


585  585  
586  586 

587 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root = 

588 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2 

589 
then rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1 

590 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root); 

587 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root =


588 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2


589 
then rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1


590 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root);


591  591  
592  592 

593  593  
594  594 

595 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root = 7) and


595 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root = 7) and


596  596 
(( 
597  597 
(if ( 
598 
(if ((chart_CruiseController_ModeLogic_mode_logic_set = 1) = false) 

598 
(if ((chart_CruiseController_ModeLogic_mode__logic_set = 1) = false)


599  599 
then 0 
600  600 
else 1) <> 0) 
601  601 
then true 
602  602 
else false) and 
603  603 

604  604 
(if ( 
605 
(if ((chart_CruiseController_ModeLogic_mode_logic_safetyCondition = 1) = false) 

605 
(if ((chart_CruiseController_ModeLogic_mode__logic_safetyCondition = 1) = false)


606  606 
then 0 
607  607 
else 1) <> 0) 
608  608 
then true 
609  609 
else false)) and 
610 
(not rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_2))); 

610 
(not rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_2)));


611  611  
612  612 

613 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_3 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3 or


614 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_complete_2); 

613 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_3 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3 or


614 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_complete_2);


615  615  
616  616 

617  617  
618 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_8_outports_mode =


619 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_2 

618 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_8_outports_mode_ =


619 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_2


620  620 
then 
621 
(if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_01 

621 
(if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_01


622  622 
then 
623 
(if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1 = 4)) 

623 
(if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1 = 4))


624  624 
then 4 
625 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_outports_mode)


626 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_outports_mode)


627 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_outports_mode);


625 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_outports_mode_)


626 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_outports_mode_)


627 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_outports_mode_);


628  628  
629  629 

630  630  
631 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root = 

632 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3 

631 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root =


632 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3


633  633 
then 
634 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root = 7) 

634 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root = 7)


635  635 
then 
636  636  
637  637 
2 
638 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root) 

639 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_7_states___root); 

638 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root)


639 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_7_states___root);


640  640  
641  641 

642  642  
643 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_outports_setDesiredSpeed = 

644 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3 

643 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_outports_setDesiredSpeed =


644 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3


645  645 
then 1 
646  646 
else 
647 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_1 

647 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_1


648  648 
then 1 
649  649 
else 
650 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0 

650 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0


651  651 
then 
652  652 
(if 
653  653  
654 
((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root >= 3) and 

655 
(rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root <= 6)) 

654 
((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root >= 3) and


655 
(rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root <= 6))


656  656 
then 
657 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_4_states___root = 4) 

657 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_4_states___root = 4)


658  658 
then 0 
659 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed) 

660 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed) 

661 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_2_outports_setDesiredSpeed))); 

659 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed)


660 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed)


661 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_2_outports_setDesiredSpeed)));


662  662  
663  663 

664  664  
665 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root = 

666 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3 

667 
then rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2 

668 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root); 

665 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root =


666 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3


667 
then rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2


668 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root);


669  669  
670  670 

671  671  
672  672 

673  673  
674 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_outports_mode =


675 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_fired_3 

674 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_outports_mode_ =


675 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_fired_3


676  676 
then 
677 
(if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_02 

677 
(if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_02


678  678 
then 
679 
(if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2 = 4)) 

679 
(if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2 = 4))


680  680 
then 4 
681 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_8_outports_mode)


682 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_8_outports_mode)


683 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_8_outports_mode);


681 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_8_outports_mode_)


682 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_8_outports_mode_)


683 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_8_outports_mode_);


684  684  
685  685 

686  686  
687  687 

688 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root = 4) and


689 
(chart_CruiseController_ModeLogic_mode_logic_set = 1)); 

688 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root = 4) and


689 
(chart_CruiseController_ModeLogic_mode__logic_set = 1));


690  690  
691  691 

692  692  
693 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root = 

694 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0 

693 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root =


694 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0


695  695 
then 
696 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root = 4) 

696 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root = 4)


697  697 
then 
698  698  
699  699 
3 
700 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root) 

701 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_states___root); 

700 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root)


701 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_states___root);


702  702  
703  703 

704  704  
705 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_outports_setDesiredSpeed = 

706 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0 

705 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_outports_setDesiredSpeed =


706 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0


707  707 
then 1 
708 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_outports_setDesiredSpeed); 

708 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_outports_setDesiredSpeed);


709  709  
710  710 

711  711  
712 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 

713 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0 

712 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root =


713 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0


714  714 
then 
715 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root = 4)) 

715 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root = 4))


716  716 
then 
717  717  
718  718 
4 
719 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root) 

720 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root); 

719 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root)


720 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root);


721  721  
722  722 

723  723  
724  724 

725 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 4) and


726 
((chart_CruiseController_ModeLogic_mode_logic_accel = 1) and 

727 
(not rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0))); 

725 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 4) and


726 
((chart_CruiseController_ModeLogic_mode__logic_accel = 1) and


727 
(not rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0)));


728  728  
729  729 

730 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1 or


731 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0); 

730 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_1 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1 or


731 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0);


732  732  
733  733 

734  734  
735 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root = 

736 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1 

735 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root =


736 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1


737  737 
then 
738 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 4) 

738 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 4)


739  739 
then 
740  740  
741  741 
3 
742 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root) 

743 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root); 

742 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root)


743 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root);


744  744  
745  745 

746  746  
747 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_mode =


748 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0 

747 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_mode_ =


748 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0


749  749 
then 
750 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_states___root = 4)) 

750 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_states___root = 4))


751  751 
then 4 
752 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_outports_mode)


753 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_10_outports_mode);


752 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_outports_mode_)


753 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_10_outports_mode_);


754  754  
755  755 

756  756  
757 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_setDesiredSpeed = 

758 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1 

757 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_setDesiredSpeed =


758 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1


759  759 
then 
760 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 4) 

760 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 4)


761  761 
then 0 
762 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_outports_setDesiredSpeed) 

763 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_2_outports_setDesiredSpeed); 

762 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_outports_setDesiredSpeed)


763 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_2_outports_setDesiredSpeed);


764  764  
765  765 

766 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root = 

767 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1 

766 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root =


767 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1


768  768 
then 
769 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root = 5)) 

769 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root = 5))


770  770 
then 
771  771  
772  772 
5 
773 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root) 

774 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root); 

773 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root)


774 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root);


775  775  
776  776 

777  777  
778  778 

779 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root = 4) and


780 
((chart_CruiseController_ModeLogic_mode_logic_decel = 1) and 

781 
(not rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_1))); 

779 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root = 4) and


780 
((chart_CruiseController_ModeLogic_mode__logic_decel = 1) and


781 
(not rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_1)));


782  782  
783  783 

784 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_2 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2 or


785 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_1); 

784 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_2 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2 or


785 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_1);


786  786  
787  787 

788  788  
789 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root = 

790 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2 

789 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root =


790 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2


791  791 
then 
792 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root = 4) 

792 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root = 4)


793  793 
then 
794  794  
795  795 
3 
796 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root) 

797 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_5_states___root); 

796 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root)


797 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_5_states___root);


798  798  
799  799 

800  800  
801 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_outports_mode =


802 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_1 

801 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_outports_mode_ =


802 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_1


803  803 
then 
804 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_states___root = 5)) 

804 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_states___root = 5))


805  805 
then 6 
806 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_mode)


807 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_4_outports_mode);


806 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_mode_)


807 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_4_outports_mode_);


808  808  
809  809 

810 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root = 

811 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2 

810 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root =


811 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2


812  812 
then 
813 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root = 6)) 

813 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root = 6))


814  814 
then 
815  815  
816  816 
6 
817 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root) 

818 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root); 

817 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root)


818 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root);


819  819  
820  820 

821  821  
822  822 

823 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root = 6) and


824 
((chart_CruiseController_ModeLogic_mode_logic_decel = 0) and 

825 
(not rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_2))); 

823 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root = 6) and


824 
((chart_CruiseController_ModeLogic_mode__logic_decel = 0) and


825 
(not rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_2)));


826  826  
827  827 

828 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_3 = (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3 or


829 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_2); 

828 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_3 = (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3 or


829 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_2);


830  830  
831  831 

832  832  
833 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root = 

834 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3 

833 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root =


834 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3


835  835 
then 
836 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root = 6) 

836 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root = 6)


837  837 
then 
838  838  
839  839 
3 
840 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root) 

841 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_7_states___root); 

840 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root)


841 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_7_states___root);


842  842  
843  843 

844  844  
845 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_outports_mode =


846 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_2 

845 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_outports_mode_ =


846 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_2


847  847 
then 
848 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_states___root = 6)) 

848 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_states___root = 6))


849  849 
then 5 
850 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_outports_mode)


851 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_6_outports_mode);


850 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_outports_mode_)


851 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_6_outports_mode_);


852  852  
853  853 

854 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root = 

855 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3 

854 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root =


855 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3


856  856 
then 
857 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root = 4)) 

857 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root = 4))


858  858 
then 
859  859  
860  860 
4 
861 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root) 

862 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root); 

861 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root)


862 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root);


863  863  
864  864 

865  865  
866  866 

867 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_outports_mode =


868 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_3 

867 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_outports_mode_ =


868 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_3


869  869 
then 
870 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_states___root = 4)) 

870 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_states___root = 4))


871  871 
then 4 
872 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_outports_mode)


873 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_8_outports_mode);


872 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_outports_mode_)


873 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_8_outports_mode_);


874  874  
875  875 

876  876  
877  877 

878 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4 = ((rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root = 5) and


879 
((chart_CruiseController_ModeLogic_mode_logic_accel = 0) and 

880 
(not rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_complete_3))); 

878 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4 = ((rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root = 5) and


879 
((chart_CruiseController_ModeLogic_mode__logic_accel = 0) and


880 
(not rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_complete_3)));


881  881  
882  882 

883  883  
884 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root = 

885 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4 

884 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root =


885 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4


886  886 
then 
887 
(if (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root = 5) 

887 
(if (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root = 5)


888  888 
then 
889  889  
890  890 
3 
891 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root) 

892 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_9_states___root); 

891 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root)


892 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_9_states___root);


893  893  
894  894 

895 
rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_15_states___root = 

896 
(if rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_4 

895 
rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_15_states___root =


896 
(if rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_4


897  897 
then 
898 
(if (not (rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root = 4)) 

898 
(if (not (rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root = 4))


899  899 
then 
900  900  
901  901 
4 
902 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root) 

903 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_10_states___root); 

902 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root)


903 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_10_states___root);


904  904  
905  905 

906  906  
907 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2 = 

907 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2 =


908  908 
(if (not 
909  909  
910 
((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root >= 3) and 

911 
(rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root <= 6))) 

910 
((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root >= 3) and


911 
(rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root <= 6)))


912  912 
then 
913  913  
914  914 
3 
915 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root); 

915 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root);


916  916  
917  917 

918 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_02 = ((not 

918 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_02 = ((not


919  919  
920 
((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root >= 3) and 

921 
(rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_9_states___root <= 6))) and 

920 
((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root >= 3) and


921 
(rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_9_states___root <= 6))) and


922  922 

923  923  
924 
((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2 >= 3) and 

925 
(rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2 <= 6))); 

924 
((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2 >= 3) and


925 
(rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2 <= 6)));


926  926  
927 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2 = 

928 
(if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_02 

927 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2 =


928 
(if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_02


929  929 
then 
930 
(if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2 = 4)) 

930 
(if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2 = 4))


931  931 
then 
932  932  
933  933 
4 
934 
else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2) 

935 
else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root2); 

934 
else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2)


935 
else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root2);


936  936  
937  937 

938  938  
939 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_02 = ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2 = 4) or


940 
((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2 = 5) or 

941 
(rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root2 = 6))); 

939 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_02 = ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2 = 4) or


940 
((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2 = 5) or


941 
(rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root2 = 6)));


942  942  
943 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1 = 

943 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1 =


944  944 
(if (not 
945  945  
946 
((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root >= 3) and 

947 
(rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root <= 6))) 

946 
((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root >= 3) and


947 
(rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root <= 6)))


948  948 
then 
949  949  
950  950 
3 
951 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root); 

951 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root);


952  952  
953  953 

954 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_01 = ((not 

954 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_01 = ((not


955  955  
956 
((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root >= 3) and 

957 
(rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_6_states___root <= 6))) and 

956 
((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root >= 3) and


957 
(rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_6_states___root <= 6))) and


958  958 

959  959  
960 
((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1 >= 3) and 

961 
(rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1 <= 6))); 

960 
((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1 >= 3) and


961 
(rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1 <= 6)));


962  962  
963  963 

964 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1 = 

965 
(if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_01 

964 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1 =


965 
(if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_01


966  966 
then 
967 
(if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1 = 4)) 

967 
(if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1 = 4))


968  968 
then 
969  969  
970  970 
4 
971 
else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1) 

972 
else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root1); 

971 
else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1)


972 
else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root1);


973  973  
974  974 

975  975  
976 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_01 = ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1 = 4) or


977 
((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1 = 5) or 

978 
(rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root1 = 6))); 

976 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_01 = ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1 = 4) or


977 
((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1 = 5) or


978 
(rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root1 = 6)));


979  979  
980 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root = 

980 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root =


981  981 
(if (not 
982  982  
983 
((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root >= 3) and 

984 
(rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root <= 6))) 

983 
((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root >= 3) and


984 
(rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root <= 6)))


985  985 
then 
986  986  
987  987 
3 
988 
else rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root); 

988 
else rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root);


989  989  
990  990 

991 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0 = ((not 

991 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0 = ((not


992  992  
993 
((rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root >= 3) and 

994 
(rlt_eval_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root <= 6))) and 

993 
((rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root >= 3) and


994 
(rlt_eval_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root <= 6))) and


995  995 

996  996  
997 
((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root >= 3) and 

998 
(rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root <= 6))); 

997 
((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root >= 3) and


998 
(rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root <= 6)));


999  999  
1000  1000 

1001 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 

1002 
(if rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_fired_0 

1001 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root =


1002 
(if rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_fired_0


1003  1003 
then 
1004 
(if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root = 4)) 

1004 
(if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root = 4))


1005  1005 
then 
1006  1006  
1007  1007 
4 
1008 
else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root) 

1009 
else rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_1_states___root); 

1008 
else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root)


1009 
else rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_1_states___root);


1010  1010  
1011  1011 

1012  1012  
1013 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rltCheckEntryStateConsistency_0 = ((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 4) or


1014 
((rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 5) or 

1015 
(rlt_enter_CruiseController_ModeLogic_mode_logic_On_Active_rlt_state_3_states___root = 6))); 

1013 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rltCheckEntryStateConsistency_0 = ((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 4) or


1014 
((rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 5) or


1015 
(rlt_enter_CruiseController_ModeLogic_mode__logic_On_Active_rlt_state_3_states___root = 6)));


1016  1016  
1017 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 

1017 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root =


1018  1018 
(if (not 
1019  1019  
1020 
((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root >= 2) and 

1021 
(rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root <= 8))) 

1020 
((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root >= 2) and


1021 
(rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root <= 8)))


1022  1022 
then 
1023  1023  
1024  1024 
2 
1025 
else rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root); 

1025 
else rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root);


1026  1026  
1027  1027 

1028 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0 = ((not 

1028 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0 = ((not


1029  1029  
1030 
((rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root >= 2) and 

1031 
(rlt_eval_CruiseController_ModeLogic_mode_logic_rlt_state_3_states___root <= 8))) and 

1030 
((rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root >= 2) and


1031 
(rlt_eval_CruiseController_ModeLogic_mode__logic_rlt_state_3_states___root <= 8))) and


1032  1032 

1033  1033  
1034 
((rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root >= 2) and 

1035 
(rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root <= 8))); 

1034 
((rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root >= 2) and


1035 
(rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root <= 8)));


1036  1036  
1037  1037 

1038 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root = 

1039 
(if rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_fired_0 

1038 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root =


1039 
(if rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_fired_0


1040  1040 
then 
1041 
(if (not (rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root = 7)) 

1041 
(if (not (rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root = 7))


1042  1042 
then 
1043  1043  
1044  1044 
7 
1045 
else rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root) 

1046 
else rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_1_states___root); 

1045 
else rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root)


1046 
else rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_1_states___root);


1047  1047  
1048  1048 

1049  1049  
1050 
rlt_enter_CruiseController_ModeLogic_mode_logic_On_rltCheckEntryStateConsistency_0 = ( 

1050 
rlt_enter_CruiseController_ModeLogic_mode__logic_On_rltCheckEntryStateConsistency_0 = (


1051  1051  
1052 
((rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root >= 3) and 

1053 
(rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root <= 6)) or 

1054 
((rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root = 7) or 

1055 
(rlt_enter_CruiseController_ModeLogic_mode_logic_On_rlt_state_3_states___root = 8))); 

1052 
((rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root >= 3) and


1053 
(rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root <= 6)) or


1054 
((rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root = 7) or


1055 
(rlt_enter_CruiseController_ModeLogic_mode__logic_On_rlt_state_3_states___root = 8)));


1056  1056  
1057  1057 

1058 
rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root = 

1059 
(if (not (chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root = 1)) 

1058 
rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root =


1059 
(if (not (chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root = 1))


1060  1060 
then 
1061  1061  
1062  1062 
1 
1063 
else chart_CruiseController_ModeLogic_mode_logic_begin_state_states___root); 

1063 
else chart_CruiseController_ModeLogic_mode__logic_begin_state_states___root);


1064  1064  
1065  1065 

1066  1066  
1067 
rlt_enter_CruiseController_ModeLogic_mode_logic_rltCheckEntryStateConsistency_0 = ((rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root = 1) or


1067 
rlt_enter_CruiseController_ModeLogic_mode__logic_rltCheckEntryStateConsistency_0 = ((rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root = 1) or


1068  1068 

1069  1069  
1070 
((rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root >= 2) and 

1071 
(rlt_enter_CruiseController_ModeLogic_mode_logic_rlt_state_2_states___root <= 8))); 

1070 
((rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root >= 2) and


1071 
(rlt_enter_CruiseController_ModeLogic_mode__logic_rlt_state_2_states___root <= 8)));


1072  1072  
1073  1073 
cruise_controller_CruiseController_ModeLogic_resumeEvent_Out = (false > ((not (pre accelResume)) and 
1074  1074 
accelResume)); 
...  ...  
1089  1089 
decelSet)); 
1090  1090  
1091  1091 
cruise_controller_CruiseController_SetDesiredSpeed_setDesiredSpeed = 
1092 
(if (chart_CruiseController_ModeLogic_mode_logic_setDesiredSpeed <> 0) 

1092 
(if (chart_CruiseController_ModeLogic_mode__logic_setDesiredSpeed <> 0)


1093  1093 
then true 
1094  1094 
else false); 
1095  1095  
1096  1096 
rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeDecreaseInDesiredSpeed_rlt_clock = 
1097 
(if (mode = 5) 

1097 
(if (mode_ = 5)


1098  1098 
then true 
1099  1099 
else false); 
1100  1100  
...  ...  
1117  1117 
else (pre rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeDecreaseInDesiredSpeed_rlt_init_step))); 
1118  1118  
1119  1119 
rlt_condact_cruise_controller_CruiseController_SetDesiredSpeed_computeIncreaseInDesiredSpeed_rlt_clock = 
1120 
(if (mode = 6) 

1120 
(if (mode_ = 6)


1121  1121 
then true 
1122  1122 
else false); 
1123  1123  
...  ...  
1141  1141  
1142  1142 
cruise_controller_CruiseController_SetDesiredSpeed_IncreaseDesiredSpeed = 
1143  1143 
(if 
1144 
(if (mode = 6) 

1144 
(if (mode_ = 6)


1145  1145 
then true 
1146  1146 
else false) 
1147  1147 
then newDesiredSpeed 
1148  1148 
else 
1149  1149 
(if 
1150 
(if (mode = 5) 

1150 
(if (mode_ = 5)


1151  1151 
then true 
1152  1152 
else false) 
1153  1153 
then newDesiredSpeed1 
1154  1154 
else 
1155  1155 
(if 
1156 
(if (mode = 4) 

1156 
(if (mode_ = 4)


1157  1157 
then true 
1158  1158 
else false) 
1159  1159 
then cruise_controller_CruiseController_SetDesiredSpeed_GOTOL_prevDesiredSpeed 
1160  1160 
else 
1161  1161 
(if 
1162 
(if (mode = 3) 

1162 
(if (mode_ = 3)


1163  1163 
then true 
1164  1164 
else false) 
1165  1165 
then cruise_controller_CruiseController_SetDesiredSpeed_GOTOL_prevDesiredSpeed 
Also available in: Unified diff