Check assignment operations in Stateflow Charts

mathworks.hism.hisf_0065

Dependencies: Simulink^® Check™ and Stateflow^®

Usage: High-Integrity System Modeling

Guideline: hisf_0065: Type cast operations in Stateflow to improve code compliance

Description

Use this check to identify assignment operations in Stateflow objects that implicitly cast the results of integer and fixed-point arithmetic to wider data types than the input data types.

Note

This check identifies only the assignments with arithmetic operations.

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
The Stateflow object consists of assignment operations that cast the results of integer and fixed-point arithmetic to wider data types than the input data types.	Explicitly replace assignment operator = with the := operator in Stateflow objects.

Capabilities and Limitations

• Does not run on library models.

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

• Analyzes only active variant choices

• Performs model compilation

Version History

Introduced in R2017b