Check usage of For and While Iterator subsystems

mathworks.hism.hisl_0007

Since R2021b

Dependencies: Simulink^® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0007: Usage of For Iterator or While Iterator subsystems

Description

Use this check to inspect the usage of time-dependent blocks in a For Iterator Subsystem or While Iterator Subsystem block.

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
The model or subsystem contains one of the following time-dependent blocks in a For Iterator Subsystem or While Iterator Subsystem block: Discrete State-Space Discrete-Time Integrator Discrete FIR Filter Discrete Filter Discrete Transfer Fcn Discrete Zero-Pole Transfer Fcn First Order Transfer Fnc Real Zero Transfer Fcn Lead or Lag Discrete Transfer Function with Initial Outputs Discrete Transfer Function with Initial States Discrete Zero-Pole with Initial Outputs Discrete Zero-Pole with Initial States Discrete Derivative	In the model or subsystem, consider removing the time-dependent blocks.

Modeling Condition

Recommended Action

The model or subsystem contains one of the following time-dependent blocks in a For Iterator Subsystem or While Iterator Subsystem block:

Discrete State-Space
Discrete-Time Integrator
Discrete FIR Filter
Discrete Filter
Discrete Transfer Fcn
Discrete Zero-Pole
Transfer Fcn First Order
Transfer Fnc Real Zero
Transfer Fcn Lead or Lag
Discrete Transfer Function with Initial Outputs
Discrete Transfer Function with Initial States
Discrete Zero-Pole with Initial Outputs
Discrete Zero-Pole with Initial States
Discrete Derivative

In the model or subsystem, consider removing the time-dependent blocks.

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 R2021b