Main Content

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

モデルまたはサブシステムで MISRA C:2012 準拠のコードを生成できる可能性をチェックするには、モデル アドバイザーを開いて [タスク別] 、 [MISRA C:2012 のモデリング ガイドライン] でチェックを実行します。MISRA C:2012 コーディング規約用の高信頼性モデリング ガイドラインに対応するモデル アドバイザー チェックの使用も検討してください。詳細については、MISRA C:2012 準拠の考慮事項を参照してください。

これらのチェックの実行には Embedded Coder® または Simulink® Check™ のいずれかが必要です。

モデル アドバイザー チェックチェック ID
MISRA C:2012 のコンフィギュレーション パラメーターをチェックmathworks.misra.CodeGenSettings
C/C++ 量産コード展開に推奨されないブロックがないかチェックmathworks.codegen.PCGSupport
MISRA C:2012 で推奨されないブロックをチェックmathworks.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