Check usage of Switch Case blocks and Switch Case Action Subsystem blocks

mathworks.hism.hisl_0011

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0011: Usage of Switch Case blocks and Action Subsystem blocks

Description

Use this check to inspect the usage of Switch Case blocks.

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 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 ConditionRecommended Action
The model or subsystem contains a Switch Case block without a default case.In the Block Parameters dialog box of Switch Case block, select Show default case. Connect the resulting default output port to a Switch Case Action Subsystem block.
The model or subsystem contains a Switch Case block with an output port that does not connect to a Switch Case Action Subsystem block.Verify that output ports of the Switch Case blocks connect to Switch Case Action Subsystem blocks.
The model or subsystem contains a Switch Case block with non-integer or non enumerated input port data types.Make sure that input data type of the Switch Case blocks is an integer or an enumerated type.

Capabilities and Limitations

  • Flags blocks that do not use integer data types or enumeration values for inputs. To comply with C, use an integer data type or an enumeration value for the inputs to Switch Case blocks.

  • Does not run on library models

  • Allows exclusions of blocks and charts

  • Analyzes only active variant choices

  • Performs model compilation

Version History

Introduced in R2017a

See Also

Topics