Check for names of Stateflow ports and associated signals
Guideline: db_0123: Stateflow port names
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.
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
|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.