Check usage of variant blocks

mathworks.hism.hisl_0023

Dependencies: Simulink^® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0023: Verification of variant blocks

Description

This check verifies that variant block parameters for code generation are set to trace to requirements.

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 option to generate preprocessor conditionals is selected in one or more variant blocks in the model.	In order to simplify the tracing of code to requirements, consider clearing the option to generate preprocessor conditionals in variant blocks.

Capabilities and Limitations

• Does not run on library models

• Does not require model compilation

• Does not analyze the content of library-linked blocks

• Does not analyze the content in masked subsystems

• Does not allow exclusions of blocks or charts

Version History

Introduced in R2018b