Check usage of Reciprocal Sqrt blocks

mathworks.hism.hisl_0028

Since R2020b

Dependencies: Simulink^® Check™ and Simulink Design Verifier™

Usage: High-Integrity System Modeling

Guideline: hisl_0028: Usage of Reciprocal Square Root blocks

Description

This check identifies Reciprocal Sqrt blocks with inputs that can become zero or negative.

This check performs Simulink Design Verifier analysis on the model.

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
One or more Reciprocal Sqrt blocks in the model have inputs that can become zero or negative during simulation.	Revise the model to prevent the input of the Reciprocal Sqrt blocks from becoming zero or negative.

Capabilities and Limitations

• Runs on library models

• Performs extensive analysis

• Analyzes only active variant choices

Version History

Introduced in R2020b