NA-MAAB — a
JMAAB — 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.
Evaluate Transitions (Stateflow)
Transitions to and from Junctions (Stateflow)