Main Content

Check use of Simulink in Stateflow charts

Check ID: mathworks.maab.na_0039

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

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

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