Check uniqueness of Stateflow state, data and event names

Check ID: mathworks.jmaab.jc_0732

Guideline: jc_0732: Distinction between state names, data names, and event names

• MAB v6.0

• JMAAB v5.1

• JMAAB v6.0

Description

Checks if Stateflow^® data names, Stateflow state names, and Stateflow event names are identical in a single Stateflow chart.

Stateflow states include the following.

• Atomic Subchart

• State

• Simulink State

This check requires a Simulink^® Check™ and Stateflow license.

Check Parameterization

This check does not include sub-checks because the MAB modeling guideline provides only one sub ID.

For reference, the MAB guideline sub ID(s) that are recommended for use by the NA-MAAB and JMAAB modeling standards organizations are:

• NA-MAAB — a

• JMAAB — a

Results and Recommended Actions

Condition	Recommended Action
Stateflow data, Stateflow states and Stateflow events have the same name in a Stateflow Chart.	Rename Stateflow data, Stateflow states and Stateflow events to have different names.

Capabilities and Limitations

• Runs on library models.

• Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to on.

• Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to graphical.

• Allows exclusions of charts.

• Does not support Truth Table (Stateflow) blocks and Stateflow transition tables.