Check switch statements in MATLAB Function blocks

mathworks.hism.himl_0007

Dependencies: Simulink^® Check™

Usage: High-Integrity System Modeling

Guideline: himl_0007: MATLAB code switch / case / otherwise patterns

Description

Use this check to identify switch/case/otherwise statements without appropriate conditions in embedded MATLAB^® code.

Check Parameters

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

Parameter	Description
Check external .m files referenced in the model	Specify whether to run on referenced MATLAB files in the model. on (default) | off
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
switch statement does not have any otherwise condition.	Ensure that the switch statement has an otherwise condition.
otherwise statement is left blank with no comments.	Ensure that the otherwise statement has at least one meaningful comment.
switch statement has only one case statement.	Ensure that the switch statement has at least two case statements.

Capabilities and Limitations

• Excludes switch statements that have a single case statement with a cell array of two or more elements

• Analyzes only the functions that are directly referenced by the Simulink model

• 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 R2020a