Main Content

Check usage of square root operations

mathworks.hism.hisl_0003

Since R2021b

Dependencies: Simulink® Check™, Simulink Design Verifier™, and Stateflow®

Usage: High-Integrity System Modeling

Guideline: hisl_0003: Usage of square root operations

Description

Use this check to identify square root operations with inputs that can be negative.

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
Square root operations in the model have inputs that can become negative during simulation. Remodel to prevent the inputs of the square root operations from becoming negative.

Capabilities and Limitations

  • Run on library models

  • Analyzes only active variant choices

  • Performs extensive analysis

Version History

Introduced in R2021b