Check usage of For Iterator blocks

mathworks.hism.hisl_0008

Since R2021b

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0008: Usage of For Iterator Blocks

Description

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

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
The model or subsystem contains a For Iterator block that has a variable number of iterations. This condition can lead to unpredictable execution times or infinite loops in the generated code.

For the identified For Iterator blocks, do one of the following:

  • Set the Iteration limit source parameter to internal.

  • If the Iteration limit source parameter is set to external, use a Constant, Probe, or Width block as the source.

Capabilities and Limitations

  • Does not run on library models

  • Allows exclusions of blocks and charts

  • Analyzes only active variant choices

  • Performs model compilation

Version History

Introduced in R2021b

expand all

See Also

Topics