Main Content

Check global variables in graphical functions

mathworks.hism.hisl_0062

Dependencies: Simulink® Check™ and Stateflow®

Usage: High-Integrity System Modeling

Guideline: hisl_0062: Global variables in graphical functions

Description

This check identifies the expressions that read and write to the same global data in a Stateflow chart.

Check Parameters

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

ParameterDescription

Follow links

Verify and trace links within the Simulink model.

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
One or more expressions operate on graphical functions and global variables used within graphical functions.Modify the expressions so that the functions and the global variables are not used in the same expression.

Capabilities and Limitations

  • Runs on library models

  • Allows exclusions of blocks and charts

  • Analyzes both active and inactive variant choices

Version History

Introduced in R2018b