Check usage of Assignment blocks

mathworks.hism.hisl_0029

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0029: Usage of Assignment blocks

Description

Use this check to identify Assignment blocks that have array fields that are not initialized.

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 Simulink analyzes content of library-linked blocks.

on (default) | off

Look under masks

Specify whether Simulink analyzes content in masked subsystems.

all (default) | none | graphical | functional

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
Model or subsystem contains Assignment blocks with incomplete array initialization (not in iterator subsystem) and block parameter Action if any output element is not assigned is not set to Error.

Set block parameter Action if any output element is not assigned to Error.

Model or subsystem contains Assignment blocks in iterator subsystem and output arrays with size greater than the iteration limit are not fully initialized.Set the block parameter Action if any output element is not assigned to Error.

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 R2016a

expand all

See Also

Topics