NA-MAAB — a, b
JMAAB — a, b
When a transition line with a transition condition originates from a connective junction, the unconditional transition line shall also begin from that junction.
There is not an unconditional transition line.
The execution order for unconditional transitions shall be set to the last value.
The execution order for unconditional transitions is not the last value.
Sub ID a:
Prevents unintended behavior that results from backtracking. Setting an unconditional transition explicitly defines the behavior for when the condition is not met.
Sub ID b:
Setting the unconditional transition to take precedence can prevent unintended behavior.
Model Advisor check: Check usage of unconditional transitions in flow charts (Simulink Check)
JMAAB guideline jc_0773, which is available in Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow on the MathWorks® website.
Execution of a Stateflow Chart (Stateflow)