Check usage of Logical Operator blocks

mathworks.hism.hisl_0018

Dependencies: Simulink^® Check™

Usage: High-Integrity System Modeling

Guideline: hisl_0018: Usage of Logical Operator block

Description

Use this check to inspect the usage of Logical Operator blocks.

Check Parameters

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

Parameter	Description
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

The model or subsystem contains a Logical Operator block that has inputs or outputs that are not Boolean. The block might result in floating-point equal-to or not-equal-to comparisons in the generated code.

Modify the Logical Operator block so that all inputs and outputs are Boolean. In the Block Parameters dialog box, on the Signal Attributes tab, consider selecting Require all inputs to have the same data type and setting Output data type to boolean. In the Configuration Parameters dialog box, on the Math and Data Types pane consider selecting the Implement logic signals as boolean data (vs. double).

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 R2020a