jc_0751: Backtracking prevention in state transition

Sub ID Recommendations

• NA-MAAB — a

• JMAAB — a

MATLAB Versions

All

Rule

Sub ID a

Connective junctions shall not be used to separate complex conditions.

Custom Parameter

Not Applicable

Example — Correct

Connective junctions are not used to separate complex conditions.

Example — Incorrect

Connective junctions are used to separate complex conditions.

Rationale

Sub ID a:

• Deviation from the rule can cause backtracking, which results in unintended behavior.

Verification

Model Advisor check: Check for unexpected backtracking in state transitions (Simulink Check)

Last Changed

R2020a