hisf_0065: コード準拠性を高める Stateflow 型キャスト演算

R2026b

整数と固定小数点の計算について、Stateflow が入力データ型以外のデータ型への暗黙的なデータ型キャストを行うのを防ぐ

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

Guideline ID: hisf_0065

前提条件: hisl_0060: MISRA C 準拠性を高めるコンフィギュレーション パラメーター

ルール

hisf_0065: コード準拠性を高める Stateflow® 型キャスト演算

C アクション言語を使用する Stateflow チャートでは、整数と固定小数点の計算について、Stateflow が入力データ型以外のデータ型への暗黙的なデータ型キャストを行うのを防ぐために := 表記を使用します。

根拠

コーディング標準違反の可能性がある生成コード内の暗黙的キャストを防ぐ。

検証

Check assignment operations in Stateflow Charts (Simulink Check)

ヒント

  • このガイドラインや他のモデリング ガイドラインを使用すると、コーディング標準に準拠したコードを生成する可能性が高まります。

業界標準

  • DO-331 Section MB.6.3.2.b 'Low-level requirements are accurate and consistent'

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

  • IEC 61508–3, Table A.4 (3) Defensive programming

  • IEC 62304, 5.5.3 - Software Unit acceptance criteria

  • ISO 26262-6, Table 1 (1b) Use of language subsets

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

  • ISO 26262-6, Table 1 (1d) Use of defensive implementation techniques

  • ISO 26262-6, Table 6 (1g) - 'No implicit type conversions'

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

  • EN 50128, Table A.3 (1) Defensive Programming

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

  • EN 50657, Table A.3 (1) Defensive Programming

  • EN 50716, Table A.3 (1) Defensive Programming

  • MISRA C:2012, Rule 10.1

  • MISRA C:2023, Rule 10.1

  • MISRA C:2012, Rule 12.2

  • MISRA C:2023, Rule 12.2

バージョン履歴

R2011a で導入

すべて展開する