MISRA C 準拠の考慮事項

R2026b
モデリング スタイル、ブロックの使用およびコンフィギュレーション設定を含む MISRA C:2012 および MISRA C:2023 への準拠

これらの高信頼性モデリング ガイドラインを使用すると、MISRA C:2012 および MISRA C:2023 コーディング規約に準拠したコードを生成する可能性を高めることを目的としてシステムをモデル化できます。これらのガイドラインのモデル アドバイザー チェックとMISRA C コーディング規約用のモデル アドバイザー チェック (Simulink Check)を使用して、モデルを検証します。

モデリング ガイドライン

すべて展開する

hisl_0032: モデル要素名Naming conventions for model elements that produce valid identifiers in generated code
hisl_0061: 明確性のための一意の識別子
hisl_0062: グラフィカル関数内のグローバル変数
hisl_0063: MISRA C 準拠性を高めるユーザー定義オブジェクト名の長さLimit the length of user defined names
hisl_0020: MISRA C 準拠で推奨されないブロック生成コードの MISRA C:2012 および MISRA C:2023 への準拠性を高める
hisl_0101: デッド ロジックが発生する演算を防止し、コード準拠性を高めるモデルにデッド ロジックが発生する演算を回避する (R2022a 以降)
hisl_0102: MISRA C 準拠性を高めるループ制御変数のデータ型ループ制御カウンター変数には整数データ型を使用する
hisl_0060: MISRA C 準拠性を高めるコンフィギュレーション パラメーター
hisf_0065: コード準拠性を高める Stateflow 型キャスト演算整数と固定小数点の計算について、Stateflow が入力データ型以外のデータ型への暗黙的なデータ型キャストを行うのを防ぐ
hisf_0211: Stateflow チャートで単項演算子の使用を禁止してコード準拠性を高める生成コード内のコード準拠性を高める