Main Content

jc_0797: Unconnected transitions / states / connective junctions

Sub ID Recommendations

  • NA-MAAB — a, b

  • JMAAB — a, b

MATLAB Versions

All

Rule

Sub ID a

Stateflow® Chart (Stateflow) shall not have unconnected transitions.

Custom Parameter

Not Applicable

Example — Correct

Example — Incorrect

There are unconnected transitions.

Sub ID b

Stateflow Chart (Stateflow) shall not have unconnected exclusive (OR) states and connective junctions without a transition source.

Custom Parameter

Not Applicable

Example — Correct

Does not have unconnected exclusive (OR) states or connective junctions without a transition source.

Example — Incorrect

There are unconnected exclusive (OR) states and connective junctions without a transition source.

Rationale

Sub IDs a, b:

  • Unconnected transitions can result in adverse effects, such as misinterpretation of simulation results or failure to generate code.

Verification

Model Advisor check: Check for unconnected objects in Stateflow Charts (Simulink Check)

Last Changed

R2020a

Introduced in R2020a