このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

MISRA C:2012 コーディング規約用のモデル アドバイザー チェック

モデルまたはサブシステムで MISRA C:2012 準拠のコードを生成できる可能性をチェックするには、モデル アドバイザーを開いて、[タスク別] 、 [MISRA C:2012 のモデリング標準] でチェックを実行します。

以下のチェックの実行には、Embedded Coder® と Simulink® Check™ の両方が必要です。

モデル アドバイザー チェックチェック ID
Check configuration parameters for MISRA C:2012mathworks.misra.CodeGenSettings
C/C++ 量産コード展開に推奨されないブロックがないかチェックmathworks.codegen.PCGSupport
Check for blocks not recommended for MISRA C:2012mathworks.misra.BlkSupport
サポートされていないブロック名のチェックmathworks.misra.BlockNames
Assignment ブロックの使用をチェックmathworks.misra.AssignmentBlocks
default ケースをもたない switch case 式のチェックmathworks.misra.SwitchDefault
AUTOSAR 受信側インターフェイスの欠落しているエラー ポートのチェックmathworks.misra.AutosarReceiverInterface
符号付き整数のビット演算のチェックmathworks.misra.CompliantCGIRConstructions
再帰関数の呼び出しのチェックmathworks.misra.RecursionCompliance
浮動小数点値の等式演算と不等式演算のチェックmathworks.misra.CompareFloatEquality
モデル関数内の欠落している const 修飾子をチェックmathworks.misra.ModelFunctionInterface
整数の語長をチェックmathworks.misra.IntegerWordLengths

バス要素の名前として使用されるバス オブジェクト名のチェック

mathworks.misra.BusElementNames
Check for variant blocks that do not have a default choicemathworks.misra.DefaultChoiceVariantChecks

MISRA C:2012 標準でサポートされる高信頼性チェックにアクセスするには、[タスク別] 、 [MISRA C:2012 のモデリング標準] 、 [高信頼性システム] フォルダーに移動します。

メモ

高信頼性モデリング ガイドラインは、MISRA C:2012 モデリングの選択した内容に準拠できるようにするためのものです。

さらに、[高信頼性システム] には、その機能に基づく高信頼性チェックを含むサブフォルダーがあります。その一覧を次に示します。

[タスク別] 、 [MISRA C:2012 のモデリング標準] 、 [高信頼性システム] 、 [構成]

モデル アドバイザー チェックチェック ID高信頼性システム モデリング ガイドライン
Check safety-related optimization settings for logic signalsmathworks.hism.hisl_0045hisl_0045: [コンフィギュレーション パラメーター]、[数学とデータ型]、[boolean データ (対 double) として論理信号を処理]
Check safety-related code generation settings for code stylemathworks.hism.hisl_0047hisl_0047: [コンフィギュレーション パラメーター]、[コード生成]、[コード スタイル]
Check safety-related optimization settings for data type conversionsmathworks.hism.hisl_0053hisl_0053: [コンフィギュレーション パラメーター]、[コード生成]、[最適化]、[範囲外の値をラップする浮動小数点から整数への変換コードを削除]
Check safety-related optimization settings for division arithmetic exceptionsmathworks.hism.hisl_0054hisl_0054: [コンフィギュレーション パラメーター]、[コード生成]、[最適化]、[除算演算の例外処理を防止するコードを削除]
Check safety-related diagnostic settings for model initializationmathworks.hism.hisl_0304hisl_0304: [コンフィギュレーション パラメーター]、[診断]、[データ有効性]、[モデルの初期化]
Check safety-related diagnostic settings for Stateflowmathworks.hism.hisl_0311hisl_0311: [コンフィギュレーション パラメーター]、[診断]、[Stateflow]
Check safety-related diagnostic settings for signal datamathworks.hism.hisl_0314hisl_0314: [コンフィギュレーション パラメーター]、[診断]、[データ有効性]、[信号]

[タスク別] 、 [MISRA C:2012 のモデリング標準] 、 [高信頼性システム] 、 [MATLAB]

モデル アドバイザー チェックチェック ID高信頼性システム モデリング ガイドライン
Check switch statements in MATLAB Function blocksmathworks.hism.himl_0007himl_0007: MATLAB コードの switch/case/otherwise パターン

[タスク別] 、 [MISRA C:2012 のモデリング標準] 、 [高信頼性システム] 、 [命名]

モデル アドバイザー チェックチェック ID高信頼性システム モデリング ガイドライン
Check model object namesmathworks.hism.hisl_0032hisl_0032: モデル オブジェクト名

[タスク別] 、 [MISRA C:2012 のモデリング標準] 、 [高信頼性システム] 、 [Simulink]

モデル アドバイザー チェックチェック ID高信頼性システム モデリング ガイドライン
Check usage of Abs blocksmathworks.hism.hisl_0001hisl_0001: Abs ブロックの使用法
Check usage of square root operationsmathworks.hism.hisl_0003hisl_0003: 平方根演算の使用
Check usage of While Iterator blocksmathworks.hism.hisl_0006hisl_0006: While Iterator ブロックの使用方法
Check usage of For and While Iterator subsystemsmathworks.hism.hisl_0007hisl_0007: For Iterator Subsystem または While Iterator Subsystem の使用方法
Check usage of For Iterator blocksmathworks.hism.hisl_0008hisl_0008: For Iterator ブロックの使用方法
Check usage of If blocks and If Action Subsystem blocksmathworks.hism.hisl_0010hisl_0010: If ブロックと If Action Subsystem ブロックの使用方法
Check usage of Switch Case blocks and Switch Case Action Subsystem blocksmathworks.hism.hisl_0011hisl_0011: Switch Case ブロックと Action Subsystem ブロックの使用方法
Check usage of Relational Operator blocksmathworks.hism.hisl_0017hisl_0017: 関係演算子を計算するブロックの使用方法 (2)
Check usage of Logical Operator blocksmathworks.hism.hisl_0018hisl_0018: Logical Operator ブロックの使用方法
Check usage of bit operation blocksmathworks.hism.hisl_0019hisl_0019: ビット演算の使用方法
Check for blocks not recommended for C/C++ production code deploymentmathworks.hism.hisl_0020hisl_0020: MISRA C:2012 準拠で推奨されないブロック
Check usage of Reciprocal Sqrt blocksmathworks.hism.hisl_0028hisl_0028: Reciprocal Square Root ブロックの使用
Check usage of Assignment blocksmathworks.hism.hisl_0029hisl_0029: Assignment ブロックの使用方法
Check usage of Signal Routing blocksmathworks.hism.hisl_0034hisl_0034: Signal Routing ブロックの使用方法
Check global variables in graphical functionsmathworks.hism.hisl_0062hisl_0062: グラフィカル関数内のグローバル変数
Check for length of user-defined object namesmathworks.hism.hisl_0063hisl_0063: MISRA C:2012 準拠性を高めるユーザー定義オブジェクト名の長さ
Check for divide-by-zero calculationsmathworks.hism.hisl_0067hisl_0067: ゼロ除算の計算を回避
Check usage of bit-shift operationsmathworks.hism.hisl_0073hisl_0073: ビットシフト演算の使用方法
Check safety-related diagnostic settings for variantsmathworks.hism.hisl_0074hisl_0074: [コンフィギュレーション パラメーター]、[診断]、[バリアントに関するモデル化の問題]
Check for dead logicmathworks.hism.hisl_0101hisl_0101: デッド ロジックが発生する演算を防止し、コード準拠性を高める
Check data type of loop control variablesmathworks.hism.hisl_0102hisl_0102: MISRA C:2012 準拠性を高めるループ制御変数のデータ型
Check usage of remainder and reciprocal operationsmathworks.sldv.hism.hisl_0002hisl_0002: 残余演算および逆数演算の使用
Check usage of log and log10 operationsmathworks.sldv.hism.hisl_0004hisl_0004: 自然対数演算と 10 を底とする対数演算の使用

[タスク別] 、 [MISRA C:2012 のモデリング標準] 、 [高信頼性システム] 、 [Stateflow]

モデル アドバイザー チェックチェック ID高信頼性システム モデリング ガイドライン
Check Stateflow charts for strong data typingmathworks.hism.hisf_0015hisf_0015: 厳密なデータ型指定 (変数とパラメーターを式で変換する)
Check assignment operations in Stateflow Chartsmathworks.hism.hisf_0065hisf_0065: コード準拠性を高める Stateflow 型キャスト演算
Check Stateflow charts for unary operatorsmathworks.hism.hisf_0211hisf_0211: Stateflow チャートで単項演算子の使用を禁止してコード準拠性を高める