NA-MAAB — a
JMAAB — a
All
Connective junctions shall not be used to separate complex conditions.
Not Applicable
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)
R2020a
JMAAB guideline jc_0751, which is available in Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow on the MathWorks® website.
Transitions (Stateflow)
Evaluate Transitions (Stateflow)
Transitions to and from Junctions (Stateflow)