Main Content

Stateflow チャートの考慮事項

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

ID: タイトル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

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

  • MISRA C:2012, Rule 10.1
    MISRA C:2012, Rule 12.2

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

hisf_0211: Stateflow チャートで単項演算子の使用を禁止してコード準拠性を高める

ID: タイトルhisf_0211: Stateflow チャートで単項演算子の使用を禁止してコード準拠性を高める
説明生成コード内のコード準拠性を高めるには、次を実行します。
A

符号なしデータ型に単項マイナス演算子を使用しない。

メモ:

MATLAB® および C アクション言語は符号なしの式での単項マイナス演算子の使用を制限しません。

根拠生成コード内のコード準拠性を高める。
モデル アドバイザー チェックCheck Stateflow charts for unary operators (Simulink Check)
参考文献
  • DO-331 Section MB.6.3.1.b 'High-level requirements are accurate and consistent'
    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

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

  • MISRA C:2012, Rule 10.1

最終更新R2017b