hisl_0045: Configuration Parameters > Math and Data Types > Implement logic signals as Boolean data (vs. double)

R2026b

Enable Boolean type checking to support unambiguous logical operator behavior

Usage: High-Integrity System Modeling

Guideline ID: hisl_0045

Rules

hisl_0045: Configuration Parameters > Math and Data Types > Implement logic signals as Boolean data (vs. double)

To support unambiguous behavior when using logical operators, relational operators, and the Combinatorial Logic block, select configuration parameter Implement logic signals as Boolean data (vs. double).

Rationale

Avoid ambiguous model behavior and optimize memory for generated code.

Verification

Check safety-related optimization settings for logic signals (Simulink Check)

Tips

  • Selecting Implement logic signals as Boolean data (vs. double) enables Boolean type checking, which produces an error when blocks that prefer Boolean inputs connect to double signals. This checking results in generating code that requires less memory.

Industry Standards

  • DO-331, MB.6.3.1.e 'High-level requirements conform to standards'

    DO-331, MB.6.3,2.e 'Low-level requirements conform to standards'

  • IEC 61508-3, Table A.3 (2) 'Strongly typed programming language'

  • IEC 62304, 5.5.3 - Software Unit acceptance criteria

  • ISO 26262-6, Table 1 (1c) 'Enforcement of strong typing'

  • EN 50128, Table A.4 (8) 'Strongly Typed Programming Language'

  • EN 50657, Table A.4 (8) 'Strongly Typed Programming Language'

  • MISRA C:2012, Rule 10.1

  • MISRA C:2023, Rule 10.1

Version History

Introduced in R2010a

expand all

See Also