Check naming of ports in Stateflow charts

mathworks.hism.hisf_0016

Dependencies: Simulink^® Check™ and Stateflow^®

Usage: High-Integrity System Modeling

Guideline: hisf_0016: Stateflow port names

Description

Use this check to identify mismatches between names of Stateflow ports and associated signals.

The reusable Stateflow blocks can have different port names.

Check Parameters

Use the Model Advisor Configuration Editor to define the scope of the analysis by specifying the input parameters.

Parameter	Description
Follow links	Specify whether to include content of library-linked blocks in the analysis. on (default) | off
Look under masks	Specify whether to include masked model elements in the analysis. all (default) | none | graphical | functional all — Check analysis includes all masked model elements. none — Check analysis excludes masked model elements. graphical — Check analysis includes only the graphical masked model elements. functional — Check analysis includes only the functional masked model elements.

Recommended Actions and Results

Review the violations that are flagged by the check and the recommended action for fixing the issue. After applying the changes, save the model and rerun the check analysis.

Modeling Condition	Recommended Action
Names of the input and output ports of Stateflow charts are not the same as the names of the connected signals.	Make sure that the names of the input and output ports of Stateflow charts are same as the names of the connected signals.

Capabilities and Limitations

• Does not analyze port names of Stateflow truth tables or Stateflow state transition tables

• Does not flag reusable Stateflow charts as they are considered library-linked charts

• Does not flag signals without names

• Allows exclusions of blocks and charts

• Analyzes both active and inactive variant choices

• Does not require model compilation

Version History

Introduced in R2020a