Main Content

Check for names of Stateflow ports and associated signals

Check ID: mathworks.maab.db_0123

Guideline: db_0123: Stateflow port names

Description

Check for mismatches between Stateflow® ports and associated signal names.

The name of Stateflow input and output should be the same as the corresponding signal.

Available with Simulink® Check™.

This check requires a Stateflow license.

Check Parameterization

This Model Advisor check is not applicable for JMAAB modeling guidelines.

This check does not include sub-checks.

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 — Not supported

Results and Recommended Actions

ConditionRecommended Action
Signals have names that differ from the corresponding Stateflow ports. Change the names of either the signals or the Stateflow ports.

Capabilities and Limitations

  • Does not flag name mismatches for reusable Stateflow charts in libraries.

  • Does not run on library models.

  • Does not analyze content of library linked blocks.

  • Analyzes content in all masked subsystems.

  • Allows exclusions of blocks and charts. Exclusions will not work for library linked charts.