hisl_0101: デッド ロジックが発生する演算を防止し、コード準拠性を高める

R2026b

モデルにデッド ロジックが発生する演算を回避する

R2022a 以降

使用法: 高信頼性システムのモデル化

Guideline ID: hisl_0101

ルール

hisl_0101: デッド ロジックが発生する演算を防止し、コード準拠性を高める

生成コードの準拠性を高めるには、モデルにデッド ロジックが発生する演算を回避します。

根拠

より明確にしてデッド ロジックを確実に防止します。

検証

Check for dead logic (Simulink Check)

例 — 誤

以下の例では、それぞれ MATLAB 関数とモデル内でデッド ロジックが発生する演算を示しています。

MATLAB 関数:

MATLAB function containing operations that result in dead logic

モデル:

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

バージョン履歴

R2022a で導入

すべて展開する