jc_0772: Execution order and transition conditions of transition lines

Sub ID Recommendations

• NA-MAAB — a

• JMAAB — a

MATLAB Versions

All

Rule

Sub ID a

All transition paths shall be executable by setting configuration parameter:

• (R2011b to R2016a) Set Transition shadowing to error.

• (R2016b and later) Set Unreachable execution path to error.

Custom Parameter

Not Applicable

Example — Correct

Example — Incorrect

Execution order 1 is an unconditional transition and conditional expression [C1] is described in execution condition 2.

Rationale

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.

Verification

Model Advisor check: Check usage of transition conditions in Stateflow transitions (Simulink Check)

Last Changed

R2020a