Check usage of While Iterator blocks

mathworks.hism.hisl_0006

Since R2021a

Dependencies: Simulink^® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0006: Usage of While Iterator blocks

Description

Use this check to inspect the usage of While Iterator blocks.

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
The model or subsystem contains a While Iterator block that has unlimited iterations. This condition can lead to infinite loops in the generated code.	For the identified While Iterator blocks: Set Maximum number of iterations to a positive integer value. Consider selecting Show iteration number port and observing the iteration value during simulation.

Capabilities and Limitations

• Runs on library models

• Allows exclusions of blocks and charts

• Analyzes both active and inactive variant choices

• Does not require model compilation

Version History

Introduced in R2021a