jc_0751: Backtracking prevention in state transition
Sub ID Recommendations
NA-MAAB — a
JMAAB — a
Sub ID a
Connective junctions shall not be used to separate complex conditions.
Connective junctions are not used to separate complex conditions.
Connective junctions are used to separate complex conditions.
Sub ID a:
Deviation from the rule can cause backtracking, which results in unintended behavior.
Model Advisor check: Check for unexpected backtracking in state transitions (Simulink Check)
JMAAB guideline jc_0751, which is available in Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow on the MathWorks® website.
Transition Between Operating Modes (Stateflow)
Evaluate Transitions (Stateflow)