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