hisl_0102: MISRA C 準拠性を高めるループ制御変数のデータ型

R2026b

ループ制御カウンター変数には整数データ型を使用する

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

Guideline ID: hisl_0102

ルール

hisl_0102: MISRA C 準拠性を高めるループ制御変数のデータ型

生成コードの MISRA C:2012 および MISRA C:2023 への準拠性を高めるには、以下のループ制御カウンター変数として使用する変数に整数データ型を使用します。

  • Stateflow® および MATLAB® で作成されるループ。

  • For Iterator ブロック。

根拠

生成コードの MISRA C:2012 および MISRA C:2023 への準拠性を高める。

検証

Check data type of loop control variables (Simulink Check)

業界標準

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

  • DO-331, Section MB.6.3.2.g – 'Algorithms are accurate'

  • MISRA C:2012, Rule 14.1

  • MISRA C:2023, Rule 14.1

バージョン履歴

R2012a で導入

すべて展開する