Check usage of log and log10 operations

mathworks.sldv.hism.hisl_0004

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

Usage: High-Integrity System Modeling

Guideline: hisl_0004: Usage of natural logarithm and base 10 logarithm operations

Description

This check identifies natural logarithm (log) and base 10 logarithm (log10) operations in the model that can cause nonfinite 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

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.

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
Natural or base 10 logarithm (`Log` and `Log10`) operations in the model have inputs that can be less than or equal to zero during simulation.	Make sure that the input of `log` and `log 10` operations in the model are not less than or 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

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 (log and log10 functions) is now called Check usage of log and log10 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 (log and log10 functions) inspects the usage of the Math Function blocks that have Natural logarithm and Common (base 10) logarithms.

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`