モデルアドバイザーチェック

Simulink Coder のチェックの概要

コード生成用にモデルを構成するには、Simulink^® Coder™ のモデルアドバイザーチェックを使用します。

参考

サブシステムコードの再利用をチェック

チェック ID: mathworks.codegen.SubsysCodeReuse

コードを再利用していない CodeReuseSubsystem ブロックを特定します。

結果と推奨アクション

条件	推奨アクション
モデル内の 1 つ以上の CodeReuseSubsystem ブロックがコードを再利用していない。	コードを再利用するようにモデル内の CodeReuseSubsystem ブロックを変更します。

機能および制限事項

次のことが可能です。

このチェックはライブラリモデルで実行できます。
マスク内を表示します。
Simulink Check™ ライセンスをお持ちの場合は、ブロックおよびチャートをこのチェックから除外できます。

参考

モデルアドバイザーの対象外指定の概要 (Simulink Check)

コード生成に対するソルバーをチェックします

チェック ID: mathworks.codegen.SolverCodeGen

モデルソルバーとサンプル時間コンフィギュレーションの設定をチェックします。

説明

正しくないコンフィギュレーション設定によってコードジェネレーターのコード生成が停止する可能性があります。サンプル時間のアンダースペックは、予期しない結果をもたらします。データの破損や予期しない動作を生じる可能性のあるコードの生成は避けてください。

Simulink Coder で使用できます。

結果と推奨アクション

条件推奨アクション

モデルレベルのコード生成のソルバータイプが正しく設定されていません。

条件	推奨アクション
モデルレベルのコード生成のソルバータイプが正しく設定されていません。	[コンフィギュレーションパラメーター] ダイアログボックスの [ソルバー] ペインで、[タイプ] を `[固定ステップ]` に設定します。
マルチタスク診断オプションが `[エラー]` に設定されていません。	[コンフィギュレーションパラメーター] ダイアログボックスの [診断] ペインで、 [サンプル時間]、[マルチタスクの条件付き実行サブシステム] を `[エラー]` に設定します。 [サンプル時間]、[マルチタスクデータ転送] を `[エラー]` に設定します。 [データ有効性]、[マルチタスクデータストア] を `[エラー]` に設定します。

[コンフィギュレーションパラメーター] ダイアログボックスの [ソルバー] ペインで、[タイプ] を [固定ステップ] に設定します。

マルチタスク診断オプションが [エラー] に設定されていません。

[コンフィギュレーションパラメーター] ダイアログボックスの [診断] ペインで、

[サンプル時間]、[マルチタスクの条件付き実行サブシステム] を [エラー] に設定します。
[サンプル時間]、[マルチタスクデータ転送] を [エラー] に設定します。
[データ有効性]、[マルチタスクデータストア] を [エラー] に設定します。

ヒント

サブシステムからコードを生成するには、ソルバーの設定を変更する必要はありません。サブシステムを右クリックしてサブシステムのコンテキストメニューから [C/C++ コード]、[このサブシステムをビルド] または [C/C++ コード]、[S-Function を生成] を選択すると、ビルドプロセスによって [ソルバータイプ] が [固定ステップ] に自動的に変更されます。

参考

コード生成でサポートされないブロックのチェック

チェック ID: mathworks.codegen.codeGenSupport

コード生成でサポートされないブロックを特定します。

説明

このチェックで、Simulink Coder および Embedded Coder^® の Simulink ブロックサポートテーブルで特定されているコード生成に適していないモデル構成を部分的に特定します。コード生成でサポートノート付きのブロックを使用する場合は、情報を検討し、次のアドバイスに従ってください。

Simulink Coder で使用できます。

結果と推奨アクション

条件	推奨アクション
モデルまたはサブシステムに、コード生成に使用されるべきではないブロックが含まれています。	結果にリストされるブロックを置き換えることを検討してください。状態を特定するには、問題のある項目のリストの要素をクリックします。

機能および制限事項

次のことが可能です。

このチェックはライブラリモデルで実行できます。
ライブラリにリンクされたブロックの内容を解析します。
マスクサブシステムの内容を解析します。
Simulink Check ライセンスをお持ちの場合は、ブロックおよびチャートをこのチェックから除外できます。

参考

ツールチェーンアプローチを使用して生成コードをビルドするように、モデルをチェックして更新

チェック ID: mathworks.codegen.toolchainInfoUpgradeAdvisor.check

生成コードをビルドするためにモデルでツールチェーン設定を使用しているかどうかをチェックします。

説明

モデルがテンプレート makefile アプローチとツールチェーンアプローチのどちらを使用して生成コードをビルドしているのかをチェックします。

Simulink Coder で使用できます。

R2013b より前に作成された、[システムターゲットファイル] が ert.tlc、ert_shrlib.tlc または grt.tlc に設定されているモデルを開くと、ソフトウェアは、テンプレート makefile アプローチの使用からツールチェーンアプローチの使用へとモデルのアップグレードを自動的に試みます。

ソフトウェアがモデルをアップグレードしない場合、このチェックは原因を特定し、モデルをアップグレードするために実行できるアクションがあれば提示します。

モデルが使用しているアプローチを決定するために、[コンフィギュレーションパラメーター] ダイアログボックスの [コード生成] ペインを確認することもできます。ツールチェーンアプローチは、次のパラメーターを使用して生成コードをビルドします。

テンプレート makefile アプローチは、次の設定を使用して生成コードをビルドします。

コンパイラ最適化レベル
カスタムコンパイラ最適化フラグ
makefile の生成
テンプレート makefile

結果と推奨アクション

条件	推奨アクション	コメント
モデルはツールチェーンアプローチを使用するように設定されています。	アクションなし。	モデルは自動的にアップグレードされました。
モデルはツールチェーンアプローチを使用するように設定されていません。	モデルはツールチェーンアプローチを使用するように自動的にアップグレードできません。	システムターゲットファイルがツールチェーン準拠ではありません。[システムターゲットファイル] を `ert.tlc`、`ert_shrlib.tlc` または `grt.tlc` などのツールチェーン準拠のターゲットに設定してください。
モデルはツールチェーンアプローチを使用するように設定されていません。(パラメーター値が既定値ではありません。)	モデルはツールチェーンアプローチを使用するように自動的にアップグレードできます。[モデルの更新] をクリックします。	パラメーターは、[コンパイラ最適化レベル] が `[最適化オン (高速に実行)]` に設定されていることを除き、それぞれ既定値に設定されています。[モデルの更新] をクリックすると、[コンパイラ最適化レベル] は既定値の `[最適化オフ (高速にビルド)]` に設定され、続いてモデルがアップグレードされます。アップグレードされたモデルでは、[ビルド構成] が `[Faster Builds]` に設定されます。モデルを保存すると、変更が永続的なものとなります。
モデルはツールチェーンアプローチを使用するように設定されていません。(パラメーター値が既定値ではなく、モデルは Microsoft^® Visual Studio^® ソリューションを生成するように設定されています。)	モデルはツールチェーンアプローチを使用するように自動的にアップグレードできます。[モデルの更新] をクリックします。	パラメーターは、[コンパイラ最適化レベル] が `[最適化オン (高速に実行)]` に設定されていることを除き、それぞれ既定値に設定されています。[モデルの更新] をクリックすると、[コンパイラ最適化レベル] は既定値の `[最適化オフ (高速にビルド)]` に設定され、続いてモデルがアップグレードされます。アップグレードされたモデルは CMake ツールチェーンを使用し、[ビルド構成] は次のように設定されます。 [コンパイラ最適化レベル] が `[最適化オン (高速に実行)]` である場合、`[Specify]` [コンパイラ最適化レベル] が `[最適化オフ (高速にビルド)]` である場合、`[Debug]` モデルを保存すると、変更が永続的なものとなります。
モデルはツールチェーンアプローチを使用するように設定されていません。(パラメーター値が既定値ではありません。)	モデルはツールチェーンアプローチを使用するように自動的にアップグレードできません。	次のパラメーターの 1 つ以上が既定値に設定されていません。 makefile の生成 (既定の設定: [有効]) テンプレート makefile (既定の設定: ターゲット固有の既定の TMF) コンパイラ最適化レベル (既定の設定: `[最適化オフ (高速にビルド)]`) make コマンド (既定の設定: 引数なしの `make_rtw`) ツールチェーンアプローチを使用するためのモデルのアップグレードを参照

アクション結果

[モデルの更新] をクリックすると、生成コードのビルドにツールチェーンアプローチを使用するようにモデルがアップグレードされます。

参考

ツールチェーンアプローチを使用するためのモデルのアップグレード

モデルに LCC コンパイラが必要かどうかのチェック

チェック ID: mathworks.codegen.LCCCheck.check

LCC が既定のコンパイラであるかどうかをチェックします。

説明

LCC が、シミュレーションワークフローおよび MATLAB^® コンピューターの生成コードコンパイル用の既定のコンパイラであるかどうかをチェックします。

Simulink Coder で使用できます。

結果と推奨アクション

条件	推奨アクション
LCC がモデルのシミュレーションおよび生成コードコンパイル用のコンパイラである。	別のコンパイラを指定します。たとえば、[ツールチェーン] コンフィギュレーションパラメーターを使用して行います。
LCC がモデルのシミュレーションおよび生成コードコンパイル用のコンパイラではない。	アクションなし。

参考

ert.tlc システムターゲットファイルを使用する組み込みターゲットモデルのチェックと更新

チェック ID: mathworks.codegen.codertarget.check

ert.tlc システムターゲットファイルを使用する組み込みターゲットモデルのチェックと更新を行います。

説明

[システムターゲットファイル] が ert.tlc 以外のファイルに設定されているモデル、およびターゲットハードウェアが [ert.tlc] および類似の設定を使用するサポート対象の Texas Instruments^® C2000™ プロセッサのいずれかであるモデルをチェックして、更新します。

Simulink Coder で使用できます。

結果と推奨アクション

条件推奨アクション

[システムターゲットファイル] が [ert.tlc - Embedded Coder] に設定されています。アクションなし

条件	推奨アクション
[システムターゲットファイル] が `[ert.tlc - Embedded Coder]` に設定されています。	アクションなし
[システムターゲットファイル] が `ert.tlc` 以外のファイルに設定され、かつ [ハードウェアボード] パラメーターが Embedded Coder Support Package for Texas Instruments C2000 Processors によってサポートされるプロセッサに設定されている。	アップグレードアドバイザーで対応するチェックを実行します。 Simulink エディターの [モデル化] タブで、[モデルアドバイザー] をクリックします。 [アップグレードアドバイザー] ペインを開いて、チェック [組み込みターゲットモデルをチェックして ert.tlc システムターゲットファイルを使用するように更新] を選択します。チェックを右クリックして、[このチェックを実行] を選択します。チェックにパスしたら、[コンフィギュレーションパラメーター] ダイアログボックスを開き、[ハードウェア実行] ペインに移動して適切な [ハードウェアボード] が選択されていることを確認します。

[システムターゲットファイル] が ert.tlc 以外のファイルに設定され、かつ [ハードウェアボード] パラメーターが Embedded Coder Support Package for Texas Instruments C2000 Processors によってサポートされるプロセッサに設定されている。

アップグレードアドバイザーで対応するチェックを実行します。

Simulink エディターの [モデル化] タブで、[モデルアドバイザー] をクリックします。
[アップグレードアドバイザー] ペインを開いて、チェック [組み込みターゲットモデルをチェックして ert.tlc システムターゲットファイルを使用するように更新] を選択します。
チェックを右クリックして、[このチェックを実行] を選択します。
チェックにパスしたら、[コンフィギュレーションパラメーター] ダイアログボックスを開き、[ハードウェア実行] ペインに移動して適切な [ハードウェアボード] が選択されていることを確認します。

アクション結果

[このチェックを実行] をクリックすると、[モデルコンフィギュレーションパラメーター] ダイアログボックスの [コード生成] ペインで以下のパラメーターが自動的に設定されます。

[システムターゲットファイル] パラメーターは ert.tlc に設定される。
[ツールチェーン] パラメーターは以前のツールチェーンと一致するように設定される。
[ビルド構成] パラメーターはビルド構成と一致するように設定される。

機能および制限事項

新しいワークフローは、機能強化された makefile に依存して生成コードをビルドするツールチェーンアプローチを使用します。これは、前のコンフィギュレーションで [Build format] パラメーターを [Project] に設定するのと同等ではありません。そのため、新しいワークフローは、CCS 3.3 IDE 内で IDE プロジェクトを自動生成できません。

参考

コードコンパイルのカスタマイズ

MATLAB の各リリース間で大幅な変更があったターゲットを使用しているモデルのチェックおよび更新

チェック ID: mathworks.codegen.realtime2CoderTargetInfoUpgradeAdvisor.check

MATLAB の各リリース間で大きく変わった Simulink ターゲットのあるモデルをチェックおよび更新します。

説明

MATLAB の現在のインストールで動作するように更新したモデルを保存します。

Simulink Coder で使用できます。

結果と推奨アクション

条件	推奨アクション
モデルは、最初に保存された MATLAB のリリース以降大幅に変更されたターゲットを使用します。	モデルの保存
モデルは、Simulink ターゲットを使用していないか、最新バージョンのターゲットを使用しています。	アクションなし
モデルは自動的に更新されます。	モデルの保存
エクスターナルモードの構成が無効です。	[コンフィギュレーションパラメーター] 、 [インターフェイス] ペインで、ホストとターゲット間の接続の特性に合うようにエクスターナルモードパラメーター設定を更新します。
モデルが破損しています。	モデルを閉じて再度開きます。問題が解決しない場合は、[コンフィギュレーションパラメーター] 、 [ハードウェア実行] 、 [ハードウェアボード] をリセットします。

アクション結果

[モデルの保存] をクリックすると、MATLAB の現在のインストールで動作するようにモデルが更新され、モデルが保存されます。

参考

製品ハードウェアとテストハードウェアの構成

調整可能パラメーターに制約があるブロックをチェック

チェック ID: mathworks.codegen.ConstraintsTunableParam

調整可能なパラメーターに制約があるブロックを特定します。

説明

調整可能な場合、Lookup Table ブロックには厳密な制約があります。Lookup Table ブロックの制約に違反した場合、生成コードは正しくない回答を出力します。

Simulink Coder で使用できます。

結果と推奨アクション

条件	推奨アクション
Lookup Table ブロックに調整可能なパラメーターがあります。	シミュレーション中または生成コードの実行中にパラメーターを調整する場合、以下の操作をしなければなりません。 [入力値のベクトル] パラメーターの設定の単調性を保持します。 [入力値のベクトル] パラメーターに複数のゼロ値を指定した場合、[入力値のベクトル] および [出力値のベクトル] パラメーターに指定したゼロ値の数と場所を保持します。
Lookup Table (2-D) ブロックに調整可能なパラメーターがあります。	シミュレーション中または生成コードの実行中にパラメーターを調整する場合、以下の操作をしなければなりません。 [入力値の行インデックス] および [入力値の列インデックス] パラメーターの設定の単調性を保持します。 [入力値の行インデックス] または [入力値の列インデックス] パラメーターに複数のゼロ値を指定した場合、[入力値の行インデックス]、[入力値の列インデックス]、および [出力値のベクトル] パラメーターに指定したゼロ値の数と場所を保持します。
Lookup Table (n-D) ブロックに調整可能なパラメーターがあります。	シミュレーション中にパラメーターを調整する場合や生成されたコードを実行するときは、テーブルの各次元のブレークポイントの値 [ブレークポイント n] が単調増加するように設定しなければなりません。

機能および制限事項

Simulink Check ライセンスをお持ちの場合は、ブロックおよびチャートをこのチェックから除外できます。

参考

モデルリファレンスのコンフィギュレーションの不一致をチェックします

チェック ID: mathworks.codegen.MdlrefConfigMismatch

最上位モデルのコンフィギュレーションパラメーター設定に一致しない参照モデルのコンフィギュレーションパラメーター設定を特定します。

説明

最上位モデルが互換性のない異なるコンフィギュレーションパラメーター設定をもつ参照モデルを含んでいる場合、コードジェネレーターは最上位モデルのコードを作成できません。

Simulink Coder で使用できます。

結果と推奨アクション

条件	推奨アクション
最上位モデルと参照モデルのモデルコンフィギュレーションパラメーター設定が一致していません。	指定されたモデルコンフィギュレーション設定を変更します。

参考

サンプル時間とタスクモードをチェックします

チェック ID: mathworks.codegen.SampleTimesTaskingMode

システムのサンプル時間とタスクモードを設定します。

説明

タスクモードが正しくないと、コードの実行効率の低下や正しくないコードの生成を引き起こす可能性があります。

Simulink Coder で使用できます。

結果と推奨アクション

条件	推奨アクション
モデルはマルチレートシステムを表していますが、マルチタスクに対して構成されていません。	モデルコンフィギュレーションパラメーター [] を選択します。このパラメーターを選択すると、マルチタスク実行がマルチレートモデルに適用されます。詳細については、時間ベースのスケジューリングとコード生成を参照してください。
モデルはマルチタスクに対して構成されていますが、マルチタスクはターゲットハードウェア上では望ましくありません。たとえば、オペレーティングシステムがマルチプロセッシンをサポートしない、またはターゲットハードウェアがベアメタル (オペレーティングシステムを実行しない) で、アプリケーションはマルチタスクの実行スキームを提供していません。	モデルコンフィギュレーションパラメーター [] をオフにします。このパラメーターをオフにすると、シングルタスク実行が適用されます。詳細については、時間ベースのスケジューリングとコード生成を参照してください。

条件

推奨アクション

モデルはマルチレートシステムを表していますが、マルチタスクに対して構成されていません。

モデルコンフィギュレーションパラメーター [] を選択します。このパラメーターを選択すると、マルチタスク実行がマルチレートモデルに適用されます。詳細については、時間ベースのスケジューリングとコード生成を参照してください。

モデルはマルチタスクに対して構成されていますが、マルチタスクはターゲットハードウェア上では望ましくありません。たとえば、オペレーティングシステムがマルチプロセッシンをサポートしない、またはターゲットハードウェアがベアメタル (オペレーティングシステムを実行しない) で、アプリケーションはマルチタスクの実行スキームを提供していません。

モデルコンフィギュレーションパラメーター [] をオフにします。このパラメーターをオフにすると、シングルタスク実行が適用されます。詳細については、時間ベースのスケジューリングとコード生成を参照してください。

参考

時間ベースのスケジューリングとコード生成

モデル参照に使用されているコード生成識別子の書式をチェック

チェック ID: mathworks.codegen.ModelRefRTWConfigCompliance

コード生成によって、識別子の書式を含むコンフィギュレーションパラメーター設定が変更される参照モデルを、モデル参照階層においてチェックします。

説明

参照モデルで、次の [コンフィギュレーションパラメーター] 、 [コード生成] 、 [識別子] パラメーターに $R トークン (参照モデルの名前を表す) を含まない設定が行われている場合、コード生成により $R トークンが識別子の書式の先頭に付加されます。

グローバル変数
グローバルなタイプ
サブシステムのメソッド
定数のマクロ

Simulink Coder で使用できます。

結果と推奨アクション

条件	推奨アクション
生成コードで動作するスクリプトがコード生成によって変更されるモデル名を使用します。	生成された名前 (追加された `$R` トークンを含む) を使用するようにスクリプトを更新します。

Data Store Read ブロックと Data Store Write ブロックの相対的な実行順序の変更をチェック

チェック ID: mathworks.design.datastoresimrtwcmp

コード生成用にモデルがコンパイルされても、Data Store Read ブロックと Data Store Write ブロックの実行順序が変更されないことをチェックします。

説明

実行順序は、Data Store Read ブロックと Data Store Write ブロックが Data Store Memory ブロックにアクセスする順序を定義します。モデルアドバイザーチェックは、チェック実行前の実行順序 (ノーマルシミュレーションモード) をチェックのコンパイル後の実行順序 (コード生成モード) と比較します。実行順序が同じ場合、チェックはパスします。差分がある場合、チェックは [警告] を発行し、結果の不一致を特定します。

Simulink Coder で使用できます。

結果と推奨アクション

条件	推奨アクション
Data Store Read ブロックと Data Store Write ブロックの実行順序はシミュレーションモードとコード生成モード間で異なります。	モデルアドバイザーの結果で、[アクション] の下にある [ブロックの優先順位の変更] をクリックします。モデルアドバイザーはシミュレーションモードの実行順序がコード生成モードの実行順序と同じになるようにブロックを変更します。

参考

コード生成の目的に対して利用できるチェック

コード生成の目的のチェックにより、コードを生成するために使用する Simulink モデルおよびサブシステムの設計とトラブルシューティングが簡単になります。コード生成の目的の詳細については、コード生成アドバイザーを使用したアプリケーションの目的を参照してください。

コード生成アドバイザーには、各コード生成の目的に応じて、Simulink、Simulink Coder、および Embedded Coder からの次のチェックが含まれます。コード生成アドバイザーに固有の 2 つのチェックが以下のリストに含まれます。

チェック	実行効率性 (すべてのターゲット)	ROM 効率性 (ERT ベースのターゲット)	RAM 効率性 (ERT ベースのターゲット)	安全対策 (ERT ベースのターゲット)	トレーサビリティ (ERT ベースのターゲット)	デバッグ (すべてのターゲット)	MISRA C:2012 ガイドライン (ERT ベースのターゲット)	Polyspace^® (ERT ベースのターゲット)
コード生成の目的に対するモデルコンフィギュレーションをチェック	含める	含める	含める	含める	含める	含める	含める (下の [メモ] を参照)	含める
Check for optimal bus virtuality	含める	含める	含める	N/A	N/A	N/A	N/A	N/A
指定したシステム内の問題のあるブロックを特定	含める	含める	含める	N/A	N/A	N/A	N/A	N/A
ハードウェア実行をチェック (Embedded Coder)	Embedded Coder が使用可能な場合は含める	Embedded Coder が使用可能な場合は含める	N/A	N/A	N/A	N/A	N/A	N/A
問題のあるソフトウェア環境仕様を特定 (Embedded Coder)	トレーサビリティがより高い優先順位でなく、Embedded Coder が使用可能な場合は含める	トレーサビリティがより高い優先順位でなく、Embedded Coder が使用可能な場合は含める	N/A	N/A	N/A	N/A	N/A	N/A
問題のあるコードインストルメンテーション (データ I/O) を特定 (Embedded Coder)	トレーサビリティまたはデバッグがより高い優先順位でなく、Embedded Coder が使用可能な場合は含める	トレーサビリティまたはデバッグがより高い優先順位でなく、Embedded Coder が使用可能な場合は含める	トレーサビリティまたはデバッグがより高い優先順位でなく、Embedded Coder が使用可能な場合は含める	N/A	N/A	N/A	N/A	N/A
問題のあるサブシステムの設定を特定 (Embedded Coder)	N/A	Embedded Coder が使用可能な場合は含める	Embedded Coder が使用可能な場合は含める	N/A	N/A	N/A	N/A	N/A
計算量の多い丸めコードを生成するブロックを特定 (Embedded Coder)	Embedded Coder が使用可能な場合は含める	Embedded Coder が使用可能な場合は含める	N/A	N/A	N/A	N/A	N/A	N/A
問題のある固定小数点演算を特定 (Embedded Coder)	Embedded Coder または Fixed-Point Designer™ が使用可能な場合は含める	Embedded Coder または Fixed-Point Designer が使用可能な場合は含める	N/A	N/A	N/A	N/A	N/A	N/A
計算量が多い範囲外のチェックコードを生成する Lookup Table ブロックを識別 (Embedded Coder)	Embedded Coder が使用可能な場合は含める	Embedded Coder が使用可能な場合は含める	N/A	N/A	N/A	N/A	N/A	N/A
論理ブロックの出力タイプをチェック (Embedded Coder)	Embedded Coder が使用可能な場合は含める	N/A	N/A	N/A	N/A	N/A	N/A	N/A
Identify unconnected lines, input ports, and output ports	N/A	N/A	N/A	含める	N/A	N/A	N/A	N/A
Check Data Store Memory blocks for multitasking, strong typing, and shadowing issues	N/A	N/A	N/A	含める	N/A	N/A	N/A	N/A
Identify block output signals with continuous sample time and non-floating point data type	N/A	N/A	N/A	含める	N/A	N/A	N/A	N/A
調整可能パラメーターに制約があるブロックをチェック	N/A	N/A	N/A	含める	N/A	N/A	N/A	N/A
Check if read/write diagnostics are enabled for data store blocks	N/A	N/A	N/A	含める	N/A	N/A	N/A	N/A
Check structure parameter usage with bus signals	N/A	N/A	N/A	含める	N/A	N/A	N/A	N/A
Check data store block sample times for modeling errors	N/A	N/A	N/A	含める	N/A	N/A	N/A	N/A
Check for potential ordering issues involving data store access	N/A	N/A	N/A	含める	N/A	N/A	N/A	N/A
C/C++ 量産コード展開に推奨されないブロックがないかチェック (Embedded Coder)	N/A	N/A	N/A	N/A	N/A	N/A	Embedded Coder が使用可能な場合は含める	N/A
MISRA C:2012 で推奨されないブロックをチェック (Embedded Coder)	N/A	N/A	N/A	N/A	N/A	N/A	Embedded Coder が使用可能な場合は含める	N/A
サポートされていないブロック名のチェック (Embedded Coder)	N/A	N/A	N/A	N/A	N/A	N/A	Embedded Coder が使用可能な場合は含める	N/A
Assignment ブロックの使用をチェック (Embedded Coder)	N/A	N/A	N/A	N/A	N/A	N/A	Embedded Coder が使用可能な場合は含める	N/A
符号付き整数のビット演算のチェック (Embedded Coder)	N/A	N/A	N/A	N/A	N/A	N/A	Embedded Coder が使用可能な場合は含める	N/A
再帰関数の呼び出しのチェック (Embedded Coder)	N/A	N/A	N/A	N/A	N/A	N/A	Embedded Coder が使用可能な場合は含める	N/A
浮動小数点値の等式演算と不等式演算のチェック (Embedded Coder)	N/A	N/A	N/A	N/A	N/A	N/A	Embedded Coder が使用可能な場合は含める	N/A
default ケースをもたない switch case 式のチェック (Embedded Coder)	N/A	N/A	N/A	N/A	N/A	N/A	Embedded Coder が使用可能な場合は含める	N/A
非効率的な飽和コードを生成するコンフィギュレーションパラメーターをチェック (Embedded Coder)	Embedded Coder が使用可能な場合は含める	Embedded Coder が使用可能な場合は含める	N/A	Embedded Coder が使用可能な場合は含める	N/A	N/A	N/A	N/A

メモ

コード生成アドバイザーでは、MISRA C:2012 ガイドラインの目的に対してモデルをチェックする際に、モデルアドバイザーの MISRA C:2012 ガイドラインチェックでチェックされたすべてのコンフィギュレーションパラメーター設定をすべて考慮するのではありません。コンフィギュレーションパラメーター設定を完全にチェックするには、次を行います。

モデルアドバイザーを開きます。
[タスク別] 、 [MISRA C:2012 のモデリングガイドライン] に移動します。
フォルダー内でチェックを実行します。

モデルアドバイザーの使用方法の詳細については、モデルアドバイザーを使用したモデルのチェックを参照してください。

参考

指定したシステム内の問題のあるブロックを特定

コード生成でサポートされていないブロック、または展開に推奨されていないブロックを特定します。

説明

コードジェネレーターはサポートしているブロックのコードのみを作成します。量産コード展開には推奨されないブロックもあります。

結果と推奨アクション

条件	推奨アクション
ブロックがコードジェネレーターでサポートされていません。	モデルから指定されたブロックを削除するか、推奨されるブロックに置き換えます。
ブロックが量産コード展開に推奨されていません。	モデルから指定されたブロックを削除するか、推奨されるブロックに置き換えます。
値が 1 の Gain ブロックをチェックします。	Gain ブロックを Signal Conversion ブロックに置き換えます。

機能および制限事項

次のことが可能です。

このチェックはライブラリモデルで実行できます。
Simulink Check ライセンスをお持ちの場合は、ブロックおよびチャートをこのチェックから除外できます。

参考

コード生成向けにサポートされている製品とブロックの使用

モデルアドバイザーの対象外指定の概要 (Simulink Check)

コード生成の目的に対するモデルコンフィギュレーションをチェック

コード生成の目的に対し、モデルのコンフィギュレーションパラメーターの設定をチェックします。

説明

[コンフィギュレーションパラメーター] ダイアログボックスの各パラメーターで、目的に応じてコード生成の推奨設定が異なる場合があります。このチェックは、各パラメーターの推奨設定を特定するのに役立ち、目的に応じてコードを最適化できます。

結果と推奨アクション

条件	推奨アクション
パラメーターが、特定の目的の推奨値以外の値に設定されています。	パラメーターを推奨値に設定します。メモあるパラメーター値を変更すると、他のパラメーターにも影響を及ぼす場合があります。チェックに合格するまでに複数回の反復が必要になる場合があります。

アクション結果

チェックウィンドウの [アクション] の下にある [パラメーターの変更] をクリックすると、パラメーター値が推奨値に変わります。