Check usage of State names
Guideline: jc_0731: State name format
Checks if slashes (/) are included in state names. After the state name is defined, add a new line for describing any executable statements. A slash (/) is required only when describing executable statements in continuation after state names.
This check requires Simulink® Check™ and Stateflow® licenses.
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
|Slash is in the state name.||Remove the slash from the state name and make sure to start a new line for any executable statements.|
Capabilities and Limitations
Runs on library models.
Analyzes content of library-linked blocks. By default, the input parameter Follow links is set to
Analyzes content in masked subsystems. By default, the input parameter Look under masks is set to
Allows exclusions of charts.