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.

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
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

R2021b: Model Advisor check renamed and supports Stateflow and MATLAB domains

The check now supports Stateflow and MATLAB^® domains.

To reflect this change, the Model Advisor check Check usage of Math Function blocks (rem and reciprocal functions) is now called Check usage of remainder and reciprocal operations.

R2018b: Model Advisor check Check usage of Math Operations blocks split into multiple checks

The Model Advisor check Check usage of Math Operations blocks is split into multiple checks based on functionality.

The check Check usage of Math Function blocks (rem and reciprocal functions) inspects the usage of the Math Function blocks that have remainder after division and reciprocals.

Model Advisor Check	Split Check Titles	Check ID
Check usage of Math Operations blocks	Check usage of Abs blocks	mathworks.hism.hisl_0001
	Check usage of Math Function blocks (rem and reciprocal functions)	mathworks.hism.hisl_0002
	Check usage of Math Function blocks (log and log10 functions)	mathworks.hism.hisl_0004
	Check usage of Assignment blocks	mathworks.hism.hisl_0029