hisl_0101: Prevent operations that result in dead logic to improve code compliance

R2026b

Avoid operations that result in dead logic in the model

Since R2022a

Usage: High-Integrity System Modeling

Guideline ID: hisl_0101

Rules

hisl_0101: Prevent operations that result in dead logic to improve code compliance
To improve the compliance of generated code, avoid operations that result in dead logic in the model. Rationale Enhance clarity and prevention of dead logic. Verification Check for dead logic (Simulink Check) Example — Incorrect The following examples displays operations that result in dead logic in a MATLAB function and model, respectively. MATLAB function: Model:

hisl_0101: Prevent operations that result in dead logic to improve code compliance

To improve the compliance of generated code, avoid operations that result in dead logic in the model.

Rationale

Enhance clarity and prevention of dead logic.

Verification

Check for dead logic (Simulink Check)

Example — Incorrect

The following examples displays operations that result in dead logic in a MATLAB function and model, respectively.

MATLAB function:

MATLAB function containing operations that result in dead logic

Model:

Simulink model containing operations that result in dead logic

DO-331, Section MB.6.3.2.b – 'Low-level requirements are accurate and consistent'
DO-331, Section MB.6.3.2.d – 'Low-level requirements are verifiable'
ISO 26262-6, Table 1 (1e) – Use of well-trusted design principles
ISO 26262-6, Table 6 (1h) – No hidden data flow or control flow
MISRA C:2012, Rule 14.3
MISRA C:2012, Rule 2.1
MISRA C:2023, Rule 14.3
MISRA C:2023, Rule 2.1

Introduced in R2022a

expand all

Added MISRA C:2023 industry standard references.