Check usage of Signal Routing blocks

mathworks.hism.hisl_0034

Dependencies: Simulink® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0034: Usage of Signal Routing blocks

Description

This check identifies Switch blocks for which the code generator might produce code that includes inequality operations (~=) involving floating-point variables or constants.

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
The Switch blocks might cause floating-point inequality comparisons in generated code

Prevent floating-point comparisons in generated code by doing one of the following:

  • For the control input, change the Data type parameter setting to a data type other than single, double, or a storage class that specifies a floating-point data type.

  • For the Switch block, change the Criteria for passing first input parameter setting to u2 >= Threshold or u2 > Threshold.

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 R2011a

expand all

See Also

Topics