Check for unused data in Stateflow Charts

Check ID: mathworks.jmaab.jc_0700

Guideline: jc_0700: Unused data in Stateflow^® block

• MAB v5.0

• JMAAB v5.1

• JMAAB v6.0

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.