Check for unused data in Stateflow Charts
Guideline: jc_0700: Unused data in Stateflow® block
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.
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
|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.