NA-MAAB — a
JMAAB — a
All transition paths shall be executable by setting configuration parameter:
(R2011b to R2016a) Set Transition shadowing to
(R2016b and later) Set Unreachable execution
1 is an unconditional transition and
[C1] is described in execution
Sub ID a:
An unconditional transition that is in a position other than the last in the execution order causes the subsequent transition to be a dead path, which results in unintended simulation behavior.
Model Advisor check: Check usage of transition conditions in Stateflow transitions (Simulink Check)
JMAAB guideline jc_0772, which is available in Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow on the MathWorks® website.
Types of Chart Execution (Stateflow)
Execution of a Stateflow Chart (Stateflow)