jc_0773: Unconditional transition of a flow chart

Sub ID Recommendations

NA-MAAB — a, b
JMAAB — a, b

MATLAB Versions

All

Rule

Sub ID a

When a transition line with a transition condition originates from a connective junction, the unconditional transition line shall also begin from that junction.

Custom Parameter

Not Applicable

Example — Correct

Example — Incorrect

There is not an unconditional transition line.

Sub ID b

The execution order for unconditional transitions shall be set to the last value.

Custom Parameter

Not Applicable

Example — Correct

Example — Incorrect

The execution order for unconditional transitions is not the last value.

Rationale

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.

Verification

Model Advisor check: Check usage of unconditional transitions in flow charts (Simulink Check)

Last Changed

R2020a

Documentation