Check use of Simulink in Stateflow charts

Check ID: mathworks.maab.na_0039

Guideline: na_0039: Limitation on Simulink^® functions in Chart blocks

• MAB v5.0

• JMAAB v5.1

• JMAAB v6.0

Description

Checks Simulink functions in the root Stateflow^® chart and identifies Stateflow charts that are nested within these functions.

This check requires Simulink Check™ and Stateflow licenses.

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
The Simulink function has a nested Stateflow chart.	Consider modifying your root Stateflow chart so the Simulink function does not contain a nested Stateflow chart.

Capabilities and Limitations

• Does not check Stateflow states.

• Runs on library models.

• Allows exclusions of blocks and charts.

• Allows syntax highlighting.

• 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.