Check Stateflow charts for strong data typing

mathworks.hism.hisf_0015

Since R2021a

Dependencies: Simulink® Check™ and Stateflow®

Usage: High-Integrity System Modeling

Guideline: hisf_0015: Strong data typing (casting variables and parameters in expressions)

Description

Use this check to identify variables and parameters in expressions with different data types in Stateflow states and transitions.

Check Parameters

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

ParameterDescription
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 ConditionRecommended Action
The Stateflow objects have variables and parameters in expressions with different data types.

Explicitly cast variables and parameters in expressions to the same data types. For more information see, cast.

Capabilities and Limitations

  • Does not run on library models

  • Allows exclusions of blocks and charts

  • Does not analyze the type of literals in expressions in Stateflow objects and explicitly casts types of literals to the intended data type

  • Does not flag expressions with true and false keywords. For more information, see Other Common Reserved Keywords (Embedded Coder).

  • Does not analyze external functions written in C and embedded in Stateflow

  • In some cases, reports an information status when the data type cannot be determined by the check

  • Analyzes only active variant choices

  • Performs model compilation

Version History

Introduced in R2021a

See Also

Topics