Main Content

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:

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

See Also

Introduced in R2020a