Check for dead logic

mathworks.hism.hisl_0101

Since R2022a

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

Usage: High-Integrity System Modeling

Guideline: hisl_0101: Prevent operations that result in dead logic to improve code compliance

Description

This check identifies blocks and operations that result in dead logic.

This check performs Simulink Design Verifier analysis on the model.

Check Parameters

Use the Model Advisor Configuration Editor to define the scope of the analysis by specifying the input parameters.

Parameter	Description
Follow links	Verify and trace links within the Simulink model. 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
Blocks or operations in the model result in dead logic.	Change the model to protect against dead logic.

Capabilities and Limitations

• Allows exclusions of blocks and charts

• Analyzes only active variant choices

• Performs extensive analysis

Version History

Introduced in R2022a