Main Content

Check for MATLAB expressions in Stateflow charts

Check ID: mathworks.jmaab.db_0127

Guideline: db_0127: Limitation on MATLAB® commands in Stateflow® blocks

Description

Identifies the Stateflow objects that use MATLAB expressions that are not suitable for code generation.

This check requires a Simulink® Check™ license.

Check Parameterization

This check contains sub-checks that correspond to sub IDs specified in the MAB and JMAAB modeling guidelines. You can use the Model Advisor Configuration Editor to specify which sub IDs (one or multiple) to execute.

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 — a1/a2

  • JMAAB — a1/a2

Note

Sub-check db_0127_a1 is selected by default.

Results and Recommended Actions

Guideline Sub IDConditionRecommended Action
db_0127_a1: Check for MATLAB expressions in Stateflow chartsOne or more Stateflow objects in the model use MATLAB expressions.Consider remodeling by replacing all MATLAB expressions in Stateflow objects.
db_0127_a2: Check for MATLAB expressions in Stateflow charts not accessed through MATLAB functionOne or more Stateflow objects in the model use MATLAB expressions that are not accessed through MATLAB function.Consider remodeling so that MATLAB expressions are accessed through MATLAB functions in Stateflow objects.

Capabilities and Limitations

  • Applies only to Stateflow charts that use C as the action language.

  • Runs on library models.

  • Allows exclusions.

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

Edit-Time Checking

This check is supported by edit-time checking.