Main Content

Check usage of remainder and reciprocal operations

mathworks.sldv.hism.hisl_0002

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

Usage: High-Integrity System Modeling

Guideline: hisl_0002: Usage of remainder and reciprocal operations

Description

This check identifies uses of remainder and reciprocal operations that cause non-finite results. This check performs SLDV analysis on the model. Running this check triggers an extensive analysis using Simulink Design Verifier.

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
Remainder and reciprocal operations in the model have inputs that can be equal to zero during simulation.Make sure that the inputs to the remainder and reciprocal operations are not equal to zero.

Capabilities and Limitations

  • Does not run on library models

  • Allows exclusions of blocks and charts

  • Analyzes only active variant choices

  • Performs extensive analysis

Version History

Introduced in R2017b

expand all