jc_0730: Unique state name in Stateflow blocks
Sub ID Recommendations
NA-MAAB — a
JMAAB — a
Sub ID a
State names in Stateflow® Chart (Stateflow) block shall be unique.
The content of linked atomic subcharts can be treated as another Stateflow Chart block.
Sub ID a:
Readability is impaired.
Deviation from the rule can cause unintended code behavior.
Model Advisor check: Check uniqueness of State names (Simulink Check)
JMAAB guideline jc_0730, which is available in Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow on the MathWorks® website.
Represent Operating Modes by Using States (Stateflow)
Atomic Subcharts (Stateflow)