Check for unused data in Stateflow Charts
Check ID:
mathworks.jmaab.jc_0700
Guideline: jc_0700: Unused data in Stateflow® block
Description
Identifies if the parameter Unused data, events, messages and functions is set to None. Unused data and events cannot exist in the Stateflow block.
This check requires a Simulink® Check™ 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 |
---|---|
In a Stateflow block, the parameter Unused data, events, messages and functions is set to None. | Make sure to set the parameter to either Warning or Error. |
Capabilities and Limitations
Runs on library models.