jc_0730: Unique state name in Stateflow blocks

Sub ID Recommendations

• NA-MAAB — a

• JMAAB — a

MATLAB Versions

All

Rule

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.

Custom Parameter

Not Applicable

Rationale

Sub ID a:

• Readability is impaired.

• Deviation from the rule can cause unintended code behavior.

Verification

Model Advisor check: Check uniqueness of State names (Simulink Check)

Last Changed

R2020a