jc_0797: Unconnected transitions / states / connective junctions
Sub ID Recommendations
NA-MAAB — a, b
JMAAB — a, b
Sub ID a
Stateflow® Chart (Stateflow) shall not have unconnected transitions.
There are unconnected transitions.
Sub ID b
Stateflow Chart (Stateflow) shall not have unconnected exclusive (OR) states and connective junctions without a transition source.
Does not have unconnected exclusive (OR) states or connective junctions without a transition source.
There are unconnected exclusive (OR) states and connective junctions without a transition source.
Sub IDs a, b:
Unconnected transitions can result in adverse effects, such as misinterpretation of simulation results or failure to generate code.
Model Advisor check: Check for unconnected objects in Stateflow Charts (Simulink Check)
JMAAB guideline jc_0797, which is available in Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow on the MathWorks® website.
Exclusive (OR) State Decomposition (Stateflow)
Transition Between Exclusive States (Stateflow)
Transition Between Operating Modes (Stateflow)
Transitions to and from Junctions (Stateflow)