Simulink のチェック

最新のリリースでは、このページがまだ翻訳されていません。このページの最新版は英語でご覧になれます。

Simulink のチェックの概要

シミュレーションのモデルを構成するには、Simulink^® のモデルアドバイザーチェックを使用します。

参考

簡易初期化モードへの移行の概要

簡易初期化モードは、シミュレーション結果の一貫性を向上させるために R2008b で導入されました。このモードは、条件付き実行サブシステムの出力端子の初期条件を指定しないモデルでは特に重要です。詳細については、簡易初期化モードおよびクラシック初期化モードを参照してください。

[簡易初期化モードへの移行] でモデルアドバイザーチェックを使用すると、モデルの簡易初期化モードへの移行に役立ちます。

参考

接続されていないライン、入力端子、出力端子を特定

チェック ID: mathworks.design.UnconnectedLinesPorts

接続されていないラインや端子をチェックします。

説明

このチェックでは、接続されていないラインや端子がリストに表示されます。接続されていないラインや端子があると、データ型、サンプル時間、次元などの信号属性を伝播できない場合があります。

メモ

Ground/Terminator ブロックに接続されている端子は、このテストにパスします。

結果と推奨アクション

条件	推奨アクション
ライン、入力端子、出力端子が接続されていない。	信号を接続します。問題を特定するには、接続されていない項目のリストをダブルクリックします。

機能および制限事項

次のことが可能です。

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

ヒント

ブロックの入力端子または出力端子を示す構造体の配列を取得するには、PortConnectivity コマンドを使用します。

参考

PortConnectivity コマンドの詳細は、共通のブロックプロパティを参照してください。

モデルアドバイザー対象外指定とは (Simulink Check)

ルートモデルの Inport ブロックの仕様をチェック

チェック ID: mathworks.design.RootInportSpec

ルートモデルの Inport ブロックで次元、サンプル時間、データ型が完全に定義されていることをチェックします。

説明

次元、サンプル時間、データ型が完全に定義されていないルートモデルの Inport ブロックを使用すると、予期しないシミュレーション結果を招きます。Simulink ソフトウェアでは、明示的にこれらの項目に値を割り当てないと、下流のブロックから次元、サンプル時間、データ型が逆方向に伝播されます。

結果と推奨アクション

条件	推奨アクション
ルートレベルの Inport ブロックに未定義の属性がある。	ルートレベルの Inport ブロックの属性を定義します。

機能および制限事項

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

ヒント

次の構成はこのチェックにパスします。

[コンフィギュレーションパラメーター]、[ソルバー]、[周期的なサンプル時間の制約] が [サンプル時間に依存しない] に設定されている。
エクスポート関数モデルで "継承サンプル時間" のフラグが設定されていない。

参考

最適化設定をチェック

チェック ID: mathworks.design.OptimizationSettings

最適でないコードの生成やシミュレーションを引き起こす可能性がないかどうか、最適化をチェックします。

説明

このチェックでは、コード効率の向上とシミュレーション時間の短縮を可能にする最適化の状況を確認します。

結果と推奨アクション

条件	推奨アクション
指定された最適化がオフになっている。	[コンフィギュレーションパラメーター] ダイアログボックスの [最適化] ペインで、以下の最適化チェックボックスをオンにします。ルートレベル I/O のゼロ初期化を削除 (Simulink Coder) 内部データのゼロ初期化を削除 (Simulink Coder) [コンフィギュレーションパラメーター] ダイアログボックスの [最適化] ペインで、以下の最適化チェックボックスをオンにします。インライン不変信号 (Simulink Coder)(Simulink Coder™ ライセンスがある場合のみ) [コンフィギュレーションパラメーター] ダイアログボックスで、以下の最適化チェックボックスをオンにします。ブロック削減条件付き入力分岐実行 boolean データ (対 double) として論理信号を処理 float と double を 0.0 に初期化するために memset を使用 (Simulink Coder) 範囲外の値をラップする浮動小数点から整数への変換コードを削除 (Simulink Coder)(Simulink Coder ライセンスがある場合のみ) 信号ストレージの再利用 (Simulink Coder)(Simulink Coder ライセンスがある場合のみ) ローカルなブロックの出力を有効にする (Simulink Coder) ローカルブロック出力の再利用 (Simulink Coder) 余分なローカル変数の削除 (式の畳み込み) (Simulink Coder) [コンフィギュレーションパラメーター] ダイアログボックスの [最適化] ペインで、以下の最適化チェックボックスをオンにします。メモモデルアドバイザーは、モデルに Stateflow^® チャートがある場合のみ、これらのパラメーターをチェックします。ステートの設定を保存するためにビットセットを使用 (Simulink Coder) boolean データを保存するためにビットセットを使用 (Simulink Coder)
アプリケーションのライフスパン (日) が無限に設定されている。これにより、計算コストの高い 64 ビットカウンターが使用される可能性があります。	このカウンターを使用しない場合は、終了時間を選択します。
指定した診断は、モデルのシミュレーションに要する時間を増やす可能性があり、`警告` または `エラー` に設定されている。	以下について `なし` を選択します。ソルバーデータの不整合配列範囲の超過 [診断] 、 [データ有効性] 、 [シミュレーション範囲のチェック]
指定された Embedded Coder^® パラメーターがオフになっている。	Embedded Coder ライセンスがあり、ERT ベースのシステムターゲットファイルを使用している場合: [1 つの出力/更新関数] を選択します。詳細については、1 つの出力/更新関数 (Simulink Coder)を参照してください。 [テストポイント信号を無視] を選択します。詳細については、テストポイント信号を無視 (Simulink Coder)を参照してください。 [再利用可能なサブシステムの出力を渡す] を `[個々の引数]` に設定します。詳細については、再利用可能なサブシステムの出力を渡す (Simulink Coder)を参照してください。

ヒント

システムに Model ブロックが含まれ、参照モデルがアクセラレータモードの場合、モデルをシミュレーションするには、コードの生成とコンパイルが必要です。

チェック

参考

モデルコンフィギュレーションパラメーター: コード生成の最適化 (Simulink Coder)

高速化されたモデル参照シミュレーション中に無視された診断設定をチェック

チェック ID: mathworks.design.ModelRefSIMConfigCompliance

Simulink での高速シミュレーションの実行時にコンフィギュレーションパラメーターの設定が変更される参照モデルがないかどうかをチェックします。

説明

Simulink では、アクセラレータモードで参照されるモデルについて、[なし] 以外の値に設定されている次のコンフィギュレーションパラメーターの設定を無視します。

配列範囲の超過
[診断] 、 [データ有効性] 、 [Inf または NaN のブロック出力]
[診断] 、 [データ有効性] 、 [特異値行列による除算]
[診断] 、 [データ有効性] 、 [オーバーフロー時にラップ]

また、Simulink では、アクセラレータモードで参照されるモデルについて、[コンフィギュレーションパラメーター] 、 [診断] 、 [データ有効性] 、 [Data Store Memory ブロック] で次のパラメーターが [すべて無効] 以外の値に設定されている場合、それらの設定も無視します。詳細については、データストア診断を参照してください。

書き込み前の読み取りを検出
読み取り後の書き込みを検出
書き込み後の書き込みを検出

結果と推奨アクション

条件	推奨アクション
特定された診断の実行結果を表示して、警告またはエラーとして表示される設定を確認する。	ノーマルモードでモデルのシミュレーションを実行し、診断の警告とエラーを解決します。

参照モデルに対して無視されたパラメーター調整情報をチェック

チェック ID: mathworks.design.ParamTunabilityIgnored

[モデルパラメーター設定] ダイアログボックスにパラメーター調整情報が含まれているかどうかをチェックします。

説明

[モデルパラメーター設定] ダイアログボックスで指定されている調整情報は、Simulink ソフトウェアによって無視されます。このチェックにより、モデルが他のモデルで参照されている場合に、Simulink ソフトウェアによって無視されるパラメーター調整情報を含んでいるモデルを特定します。

結果と推奨アクション

条件	推奨アクション
無視されるパラメーター調整情報がモデルに含まれている。	リンクをクリックし、MATLAB^® ワークスペースで相当する Simulink パラメーターオブジェクトに変換します。

参考

生成されたコードにおける調整可能なキャリブレーションパラメーターの作成 (Simulink Coder)

暗黙的な信号の関連付けをチェック

チェック ID: mathworks.design.ImplicitSignalResolution

指定した信号および状態を Simulink.Signal オブジェクトに関連付けようとするモデルを特定します。

説明

Simulink ソフトウェアですべての名前付き信号および状態を関連付けるのは効率的ではありません。インクリメンタルなコード生成およびモデル参照の速度が低下します。このチェックでは、暗黙的な信号の関連付けをオフにして強制的に関連付けを行うことのできる信号および状態を特定します。

結果と推奨アクション

条件	推奨アクション
一部の信号および状態が関連付けられていない。	暗黙的な信号の関連付けをオフにし、関連付けを行うことのできる信号と状態ごとに強制的に関連付けを行います。

参考

出力データの信号オブジェクトの関連付け.

最適なバーチャルバスをチェック

チェック ID: mathworks.design.OptBusVirtuality

非バーチャルになる可能性のあるバーチャルバスを特定します。これらのバスを非バーチャルにすると、コードの生成効率が向上します。

説明

このチェックでは、サブシステムの境界にまたがるバーチャルバスが組み込まれているブロックを特定します。これらのバスを非バーチャルに変更すると、コードの生成効率が向上します。

結果と推奨アクション

条件	推奨アクション
サブシステムの境界にまたがるバーチャルバスがブロックで指定されている。	強調表示されているバスを非バーチャルに変更します。

機能および制限事項

次のことが可能です。

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

参考

不確かな初期条件をもつ Discrete-Time Integrator ブロックをチェック

チェック ID: mathworks.design.DiscreteTimeIntegratorInitCondition

Initial Condition ブロックにも Constant ブロックにも接続されていない状態端子および初期条件端子のある Discrete-Time Integrator ブロックを特定します。

説明

状態端子および初期条件端子のある Discrete-Time Integrator ブロックは、Initial Condition ブロックまたは Constant ブロックに接続されていない限り、適切に初期化されない可能性があります。この問題は、Discrete-Time Integrator ブロックを使用して 2 次動的システムまたは高次動的システムのモデルを作成する場合に発生する可能性が高くなります。

結果と推奨アクション

条件	推奨アクション
モデルの初期化の段階で Discrete-Time Integrator ブロックが初期化されない。	Constant ブロックまたは Initial Condition ブロックを追加して外部の初期条件端子に接続します。

機能および制限事項

次のことが可能です。

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

参考

IC ブロック
Discrete-Time Integrator ブロック
Constant ブロック
モデルアドバイザー対象外指定とは (Simulink Check)

無効なライブラリリンクを特定

チェック ID: mathworks.design.DisabledLibLinks

モデルの無効なライブラリリンクを検索します。

説明

ライブラリリンクが無効になっていると、予期しないシミュレーション結果となる可能性があります。モデルを保存する前に、無効なリンクを関連付けます。

メモ

このチェックは、ブロックのアップグレードについてモデルをチェックと内容が重複する場合があります。

結果と推奨アクション

条件	推奨アクション
ライブラリリンクが無効になっている。	コンテキストメニューで [ライブラリリンク] 、 [リンクの関連付け] オプションをクリックします。

機能および制限事項

次のことが可能です。

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

ヒント

ライブラリリンクを見つけるには、モデルブラウザーを使用します。
リンク切れを有効にするには、モデル内のブロックを右クリックしてコンテキストメニューを表示します。[ライブラリリンク] 、 [リンクの関連付け] を選択します。

参考

無効リンクまたはパラメーター付きリンクの復元

モデルアドバイザー対象外指定とは (Simulink Check)

モデル参照の境界を越えるバーチャルバスからの多数の関数の引数がないかをチェック

チェック ID: mathworks.design.CheckVirtualBusAcrossModelReferenceArgs

モデル参照の境界を超えるバーチャルバス信号をチェックして、モデル参照の境界を超えてバーチャルバスを使用することで関数の引数の数が大幅に増大する場合にフラグを立てます。

説明

コード生成プロセスの速度を向上させるために、このチェックを使用して生成される関数の引数の数を減少させることができます。チェックによって 1 つの関数に対して多数の引数が生成されるモデルが見つかった場合は [モデルの更新] をクリックしてモデルが生成する引数を減らすように変更できます。

結果と推奨アクション

モデル参照の境界を超えるバーチャルバス信号の結果として多数の関数の引数を生成するメソッドは、コード生成プロセスの速度を低下させます。

条件	推奨アクション
このチェックがモデルを変更することで削減できる現在のモデルコンフィギュレーションの多数の引数を生成するメソッドがリストされます。	[モデルの更新] をクリックします。

[モデルの更新] をクリックすると、Inport ブロックパラメーターと Outport ブロックパラメーターがリセットされ、Signal Conversion ブロックが必要に応じて挿入されることで、モデルの生成される関数の引数の数が削減されます。

参考

モデル参照の境界を越えるバスデータ

パラメーター付きのライブラリリンクを特定

チェック ID: mathworks.design.ParameterizedLibLinks

モデルでパラメーター付きのライブラリリンクを検索します。

説明

ライブラリリンクに対して意図的でないパラメーター化が行われると、モデル内で予期しないパラメーター設定を生じる可能性があります。その結果、不適切なモデル処理が行われる場合があります。

結果と推奨アクション

条件	推奨アクション
パラメーター付きのリンクがリストされている。	リンクのパラメーター化が意図されていることを確認します。

機能および制限事項

次のことが可能です。

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

ヒント

モデル内のブロックを右クリックしてコンテキストメニューを表示します。[Link Options] を選択して [Go To Library Block] をクリックし、ライブラリの元のブロックを確認します。
ライブラリリンクをパラメーター化するには、コンテキストメニューから [Look Under Mask] を選択し、パラメーターを選択します。

参考

無効リンクまたはパラメーター付きリンクの復元

モデルアドバイザー対象外指定とは (Simulink Check)

未解決のライブラリリンクを特定

チェック ID: mathworks.design.UnresolvedLibLinks

指定のライブラリブロックが見つからない、関連付けられていないライブラリリンクのモデルを検索します。

説明

関連付けられていないライブラリリンクがないかをチェックします。関連付けられていないライブラリリンクが存在している場合、モデルのシミュレーションは行われません。

結果と推奨アクション

条件	推奨アクション
関連付けられていないライブラリリンクがある。	欠損しているライブラリブロックまたは代替ブロックを置きます。

機能および制限事項

次のことが可能です。

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

参考

関連付けられていないライブラリリンクの修正

モデルアドバイザー対象外指定とは (Simulink Check)

Variant Subsystem ブロックに変換する Configurable Subsystem ブロックの特定

チェック ID: mathworks.design.CSStoVSSConvert

モデルを検索して、モデルレベルまたはサブシステムレベルで Configurable Subsystem ブロックを特定します。

結果と推奨アクション

条件	推奨アクション
Configurable Subsystem ブロックが特定された。	互換性の問題を避けるため、これらのブロックを Variant Subsystem ブロックに変換します。Configurable Subsystem を参照してください。

機能および制限事項

このチェックはライブラリモデルで実行できます。

参考

Variant Subsystem への変換

Variant Model ブロックを特定し、Model ブロックの選択肢を含む Variant Subsystem に変換

チェック ID: mathworks.design.ConvertMdlrefVarToVSS

モデルを検索して Variant Model ブロックを特定します。

結果と推奨アクション

条件	推奨アクション
モデルで使用可能な Variant Model ブロックがリストされている。	これらのブロックを Variant Subsystem ブロックに変換します。

参考

バリアントへの変換

空の条件があるバリアントオブジェクトを使用してバリアントブロックを特定します

チェック ID: mathworks.design.emptyVariantObjects

モデルを検索して、空のバリアントオブジェクトがあるバリアントブロックまたはライブラリを特定します。

結果と推奨アクション

条件	推奨アクション
空のバリアントオブジェクトがあるモデルまたはライブラリのバリアントブロックがリストされている。	バリアントオブジェクトで有効な条件を使用します。

参考

バリアント制御の紹介

関数呼び出し接続の使用をチェック

チェック ID: mathworks.design.CheckForProperFcnCallUsage

関数呼び出しの接続性に適用され、モデルの実行に影響する可能性のあるモデル診断設定をチェックします。

説明

非確定的なモデル実行にならないように、接続性診断の設定をチェックします。

結果と推奨アクション

条件	推奨アクション
[診断]、[接続性]、[無効な関数呼び出し接続] が `[警告]` に設定されています。これは非確定的なモデル実行になる可能性があります。	[診断]、[接続性]、[無効な関数呼び出し接続] を `エラー` に設定します。
[診断]、[接続性]、[コンテキスト依存の入力] が `[すべて無効]` または `[ローカル設定を利用]` に設定されています。これは非確定的なモデル実行になる可能性があります。	[診断]、[接続性]、[コンテキスト依存の入力] を `[エラーとしてすべて有効]` に設定します。

参考

Function-Call Subsystem

マルチタスク、厳密な型指定、優先順位の低下などの問題について、Data Store Memory ブロックをチェック

チェック ID: mathworks.design.DataStoreMemoryBlkIssue

Data Store Memory ブロックに関連するモデル作成の問題を確認します。

説明

マルチタスクデータの整合性、厳密な型指定、上位スコープのデータストアの優先順位が低くなっていないかどうかを確認します。

結果と推奨アクション

条件推奨アクション

[データストア名の重複] のチェックが なし または 警告 に設定されている。 [コンフィギュレーションパラメーター] パラメーターボックスの [診断]、[データ有効性] ペインでデータストア名の重複チェックを エラー に設定することを検討してください。

条件	推奨アクション
[データストア名の重複] のチェックが `なし` または `警告` に設定されている。	[コンフィギュレーションパラメーター] パラメーターボックスの [診断]、[データ有効性] ペインでデータストア名の重複チェックを `エラー` に設定することを検討してください。
データストア変数名が次のいずれかで厳密に型指定されていない。 Date Store Memory ブロックの [ブロックパラメーター] ダイアログの [信号属性] ペイングローバルなデータストア名	次の操作のいずれかを実行して、データ型を自動以外に指定します。 `[Inherit: auto]` (Date Store Memory ブロックの [ブロックパラメーター] ダイアログの [信号属性] ペイン) 以外のデータ型を選択します。グローバルなデータストア名を使用している場合は、そのデータ型を `Simulink.Signal` オブジェクトで指定します。
[マルチタスクデータストア] のチェックが `なし` または `警告` に設定されている。	[コンフィギュレーションパラメーター] パラメーターボックスの [診断]、[データ有効性] ペインでマルチタスクデータストアチェックを `エラー` に設定することを検討してください。

データストア変数名が次のいずれかで厳密に型指定されていない。

Date Store Memory ブロックの [ブロックパラメーター] ダイアログの [信号属性] ペイン
グローバルなデータストア名

次の操作のいずれかを実行して、データ型を自動以外に指定します。

[Inherit: auto] (Date Store Memory ブロックの [ブロックパラメーター] ダイアログの [信号属性] ペイン) 以外のデータ型を選択します。
グローバルなデータストア名を使用している場合は、そのデータ型を Simulink.Signal オブジェクトで指定します。

[マルチタスクデータストア] のチェックが なし または 警告 に設定されている。 [コンフィギュレーションパラメーター] パラメーターボックスの [診断]、[データ有効性] ペインでマルチタスクデータストアチェックを エラー に設定することを検討してください。

機能および制限事項

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

参考

Data Store ブロックについて読み取り/書き込みの診断が有効であるかどうかをチェック

チェック ID: mathworks.design.DiagnosticDataStoreBlk

モデルのデータストアブロックに対して、読み取り/書き込みの診断順序のチェックをオンにして実行時の問題を検出します。

説明

読み取り/書き込みの診断順序のチェックを確認します。読み取り/書き込み診断を有効にすることで、潜在的な実行時の問題を検出します。

結果と推奨アクション

条件	推奨アクション
[書き込み前の読み取りを検出] のチェックが無効になっている。	[コンフィギュレーションパラメーター] ダイアログボックスの、[診断]、[データ有効性] ペインで、書き込み前の読み取りを検出を有効にすることを検討します。
[読み取り後の書き込みを検出] のチェックが無効になっている。	[コンフィギュレーションパラメーター] ダイアログボックスの、[診断]、[データ有効性] ペインで、読み取り後の書き込みを検出を有効にすることを検討します。
[書き込み後の書き込みを検出] のチェックが無効になっている。	[コンフィギュレーションパラメーター] ダイアログボックスの、[診断]、[データ有効性] ペインで、書き込み後の書き込みを検出を有効にすることを検討します。

機能および制限事項

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

ヒント

実行時の診断を行うと、シミュレーションの速度が大幅に低下することがあります。Simulink でシミュレーション時に警告やエラーが発生しないことを検証したら、[すべて無効] に設定してください。

参考

モデリングエラーに対して Data Store ブロックサンプル時間をチェック

チェック ID: mathworks.design.DataStoreBlkSampleTime

Data Store ブロックのサンプル時間に起因するモデル作成エラーを特定します。

説明

連続サンプル時間または固定マイナーステップのサンプル時間の Data Store ブロックをチェックします。

結果と推奨アクション

条件	推奨アクション
モデル内の Data Store ブロックに、連続サンプル時間または固定マイナーステップのサンプル時間がある。	リストされたブロックを離散化するか、これらのブロックを Memory ブロック、または Goto ブロックおよび From ブロックと置き換えます。

機能および制限事項

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

参考

データストアアクセスに関する順序の問題がないかどうかをチェック

チェック ID: mathworks.design.OrderingDataStoreAccess

結果の精度を落とす読み取り/書き込みの問題がないか探します。

説明

[ブロック線図の更新] の実行中、Data Store ブロックに書き込み前の読み取り、読み取り後の書き込み、書き込み後の書き込み条件に関連した問題を特定します。

結果と推奨アクション

条件	推奨アクション
読み取りと書き込み (書き込み前の読み取りまたは読み取り後の書き込み条件) が順不同で発生している。	Data Store Read ブロックが Data Store Write ブロックの前に実行されるようにモデルを再構成することを検討してください。
単一のタイムステップ内で複数の書き込みが発生している。	タイムステップごとに 1 回だけデータを書き込むようにモデルを変更するか、次のヒントを参照してください。

機能および制限事項

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

ヒント

このチェックでは静的な解析が実行されるため、不適切な使い方のすべてのインスタンスが特定されないことがあります。特に、Function-Call Subsystem、Stateflow チャート、コード生成用の MATLAB、For Iterator Subsystem および For Each Subsystem では、検出漏れや誤検出が生じることがあります。さらに包括的なチェックを行う場合は、[コンフィギュレーションパラメーター] ダイアログボックスの [診断]、[データ有効性] ペインで次の診断を有効にすることを検討してください。書き込み前の読み取りを検出、読み取り後の書き込みを検出、書き込み後の書き込みを検出が含まれます。

参考

バス信号を使った構造体パラメーターの使用のチェック

チェック ID: mathworks.design.MismatchedBusParams

一致しない構造体を使用してバス信号を初期化するブロックと Simulink.Signal オブジェクトを特定します。

説明

モデルでは、MATLAB 構造体を使用してバス信号を初期化できます。たとえば、Unit Delay ブロックを通してバス信号を渡す場合、[初期条件] パラメーターを構造体に設定できます。構造体を使用したバスの初期化に関する基本情報については、バス信号の初期条件の指定を参照してください。

このチェックを実行し、初期条件構造体の形状や数値データ型をバス信号のものと一致させることで、効率的で読み取り可能なコードが生成されます。これらの特性の一致により不要な明示的型変換が回避され、フィールド単位での構造体代入が、たとえば memcpy の呼び出しに置き換わります。

部分構造体

このチェックでは、部分構造体を使用してバス信号を初期化するブロックと Simulink.Signal オブジェクトがリストされます。モデル作成の反復処理中は、部分構造体を使用してバスの信号要素のサブセットに焦点を当てることができます。完成したモデルに対しては、完全な構造体を使用して以下を実行できます。

読み取り可能で効率的なコードを生成する。
未指定の信号を明示的に初期化するモデル作成スタイルをサポートする。部分構造体を使用すると、Simulink は未指定の信号を暗黙的に初期化します。

完全構造体および部分構造体の詳細については、初期化用の完全な構造体の作成および初期化用の部分構造体の作成を参照してください。

データ型の不一致

このチェックによって、初期条件構造体がデータ型の不一致を生じさせるブロックと Simulink.Signal オブジェクトがリストされます。これらの構造体のフィールドは数値データ型であり、対応するバス信号要素のデータ型と一致しません。

生成コード内で調整可能なグローバル構造体として表示されるように初期条件構造体を構成するときは、データ型を一致させることで不要な明示的型変換を回避してください。バス信号用の調整可能な初期条件構造体の生成 (Simulink Coder)を参照してください。

結果と推奨アクション

条件	推奨アクション
ブロックまたは信号オブジェクトで部分構造体を使用する	関数 `Simulink.Bus.createMATLABStructure` を使用して完全な初期条件構造体を作成することを検討してください。
構造体フィールドのデータ型が対応する信号要素のデータ型と一致しない	構造体を `Simulink.Parameter` オブジェクトとして定義し、`Simulink.Bus` オブジェクトを作成して、バス信号およびパラメーターオブジェクトのデータ型として使用することを検討してください。数値データ型を制御するには、バスオブジェクトで `Simulink.BusElement` オブジェクトを使用します。

参考

レート変換の実行用に Delay ブロック、Unit Delay ブロックおよび Zero-Order Hold ブロックをチェック

チェック ID: mathworks.design.ReplaceZOHDelayByRTB

レート変換に使用されている Delay ブロック、Unit Delay ブロックまたは Zero-Order Hold ブロックを特定します。これらのブロックを実際の Rate Transition ブロックに置き換えます。

説明

モデルで Delay ブロック、Unit Delay ブロックまたは Zero-Order Hold ブロックを使用して入力信号と出力信号間のレート変換を行う場合、Simulink はこれらのブロックを組み込みの Rate Transition ブロックに内部で置き換えます。コンパイルされたブロック線図では、置き換えられたブロックの左上隅に黄色のシンボルと文字 "RT" が表示されます。この置き換えは、モデルの動作に次のような影響を与える場合があります。

これらのブロックは、信号を遅延させたりゼロ次ホールドを実装したりするためのアルゴズム設計プロパティを失います。代わりに、レート変換動作を得ます。
このモデル化手法は、特定の変換構成 (Delay ブロックおよび Unit Delay blocks ブロックの場合は低速から高速、Zero-Order Hold ブロックの場合は高速から低速) でのみ機能します。ブロックのサンプル時間は遅い方のレート (Delay ブロックおよび Unit Delay ブロックの場合は変換元、Zero-Order Hold ブロックの場合は変換先) と等しくなるように設定します。
下流ブロックまたは上流ブロックのサンプル時間が変更されると、これらの Delay ブロック、Unit Delay ブロックおよび Zero-Order Hold ブロックでレート変換が実行されない可能性があります。たとえば、変換元と変換先のサンプル時間が等しくなるように設定すると、レート変換は停止されます。この場合、ブロックでは元のアルゴリズム設計プロパティが想定されます。
ブロックのサンプル時間で表示されるサンプル時間レートに関する情報は不完全です。データ転送を処理するために、ブロック符号は 2 つの異なるレートで実行されます。ただし、ブロックのサンプル時間とサンプル時間の色分けでは、そのブロックはシングルレートのブロックとして表示されます。サンプル時間情報を使用するツールおよび MATLAB スクリプトの動作は、この情報に基づいたものになります。

代わりの方法として、Delay ブロック、Unit Delay ブロックまたは Zero-Order Hold ブロックを実際の Rate Transition ブロックに置き換えることができます。

この手法では、ブロックの動作結果が明確になります。Delay ブロック、Unit Delay ブロックまたは Zero-Order Hold ブロックはそのアルゴリズム設計に基づいて機能し、それぞれ信号を遅延させたり保持したりします。Rate Transition ブロックのみが実際のレート変換を実行します。
レート変換に実際の Rate Transition ブロックを使用すると、確定的動作または実装するメモリバッファーのタイプを指定する必要がある場合にデータ転送を処理するための構成可能なソリューションが実現します。

このチェックを使用して、信号間のレート変換を行うために Delay ブロック、Unit Delay ブロックまたは Zero-Order Hold ブロックが内部で置き換えられるモデル内のインスタンスを特定します。[モデルのアップグレード] をクリックして、これらのブロックを実際の Rate Transition ブロックに置き換えます。

結果と推奨アクション

条件	推奨アクション
レート変換に使用する Delay ブロック、Unit Delay ブロックまたは Zero-Order Hold ブロックのインスタンスがモデルに含まれていない。	対処不要です。
レート変換に使用する Delay ブロック、Unit Delay ブロックまたは Zero-Order Hold ブロックのインスタンスがモデルに含まれている。	このチェックによってこれらのインスタンスが特定され、モデルをアップグレードできます。 [モデルのアップグレード] をクリックして実際の Rate Transition ブロックに置き換えます。モデルの変更を保存します。

条件

推奨アクション

レート変換に使用する Delay ブロック、Unit Delay ブロックまたは Zero-Order Hold ブロックのインスタンスがモデルに含まれていない。

対処不要です。

レート変換に使用する Delay ブロック、Unit Delay ブロックまたは Zero-Order Hold ブロックのインスタンスがモデルに含まれている。

このチェックによってこれらのインスタンスが特定され、モデルをアップグレードできます。

[モデルのアップグレード] をクリックして実際の Rate Transition ブロックに置き換えます。
モデルの変更を保存します。

Delay ブロック、Unit Delay ブロックまたは Zero-Order Hold ブロックを実際の Rate Transition ブロックに置き換えない場合、Simulink は引き続き、これらのブロックを組み込みのレート変換ブロックに内部で置き換えます。

機能および制限事項

次のことが可能です。

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

参考

slDataTypeAndScale の呼び出しをチェック

チェック ID: mathworks.design.CallslDataTypeAndScale

内部関数 slDataTypeAndScale の呼び出しを識別します。

説明

以前のバージョンの Simulink では、旧バージョンで保存したモデルを開くと、データ型を処理するためにコードの自動アップグレードがトリガーされるものがありました。自動アップグレードによって内部関数 slDataTypeAndScale の呼び出しが挿入されます。Simulink ではこの関数の一部の使用を引き続きサポートしていますが、この関数の呼び出しを削除するとより明確で高速なコードになります。

Simulink は以下の場合の slDataTypeAndScale の呼び出しをサポートしていません。

最初の引数が Simulink.AliasType オブジェクトである。
最初の引数が IsAlias プロパティが true に設定された Simulink.NumericType オブジェクトである。

[slDataTypeAndScale の呼び出しをチェック] を実行すると置き換えが必要であるかまたは推奨される slDataTypeAndScale の呼び出しが識別されます。多くの場合、チェックを実行して推奨アクションに従うと呼び出しが削除されます。残っている呼び出しは無視できます。slDataTypeAndScale への呼び出しが存在しないことを確認していない場合は、チェックを実行します。

結果と推奨アクション

条件	推奨アクション
必要な置き換えのケース	`slDataTypeAndScale` の呼び出しを手動または自動で置き換えます。リストされているケースでは `slDataTypeAndScale` の呼び出しを置き換える必要があります。
推奨される置き換えのケース	リストされているケースでは、`slDataTypeAndScale` への呼び出しを手動または自動で置き換えることを推奨します。
手動検査のケース	手動でアップグレードする必要があるかどうかを判断するために、リストされた各ケースを検査します。

機能および制限事項

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

ヒント

slDataTypeAndScale への呼び出しをモデルに手動で挿入しないでください。この関数は内部的にのみ使用されていました。
[slDataTypeAndScale の呼び出しをチェックします] を実行すると、Simulink 関数 slRemoveDataTypeAndScale が呼び出されます。この関数を直接呼び出すとより幅広い変換オプションが提供されます。ただし、より多くの変換オプションが必要になることは非常にまれです。

参考

データ型とスケールのアップグレードの詳細は、MATLAB コマンドウィンドウで以下のコマンドを実行してください。
- help slDataTypeAndScale
- help slRemoveDataTypeAndScale
モデルアドバイザー対象外指定とは (Simulink Check)

ベクトルとして扱われるバス信号のチェック

チェック ID: mathworks.design.BusTreatedAsVector

Simulink によってベクトルとして扱われるバス信号を特定します。

説明

Simulink ソフトウェアによって暗黙的にベクトルに変換されるバス信号を使用することはできません。代わりに、バス信号とその接続先のブロック入力端子の間に Bus to Vector 変換ブロックを挿入するか、または Simulink.BlockDiagram.addBusToVector コマンドを使用します。

結果と推奨アクション

条件	推奨アクション
バス信号が暗黙的にベクトルに変換される。	`Simulink.BlockDiagram.addBusToVector` を使用するか、Bus to Vector ブロックを挿入します。
Simulink によってベクトルとして扱われるバス信号を特定するようにモデルが構成されていない。	[コンフィギュレーションパラメーター] ダイアログボックスの[診断]、[接続性] ペインで、[ベクトルとして扱われるバス信号] を `エラー` に設定します。

アクション結果

[変更] をクリックすると、Bus to Vector ブロックが、バス信号をベクトルに暗黙的に変換するブロックの入力端子に挿入されます。

ヒント

[Outport と Merge ブロックに対する初期化パラメーターの整合性をチェック] を実行する前に、このチェックを実行してください。
詳細については、ベクトルとして使用されるバスの修正を参照してください。

参考

潜在的に遅れる Function-Call Subsystem の戻り値をチェック

チェック ID: mathworks.design.DelayedFcnCallSubsys

Simulink ソフトウェアによって暗黙的な Signal Conversion ブロックが挿入されたため、潜在的に遅れる関数呼び出しの戻り値を特定します。

説明

Simulink ソフトウェアでは、信号が連続メモリに配置されるように、関数呼び出しイニシエーターのブロック入力端子の前に暗黙的な Signal Conversion ブロックを自動的に挿入できます。これによって、Function-Call Subsystem の呼び出しから信号値を返す際に 1 ステップの遅延が発生する場合があります。この遅延は、Function-Call Subsystem 内の信号ブロックから確実に信号が発生することで回避できます。遅延を許容できる場合は、影響する入力端子の前に Unit Delay ブロックを挿入してください。

結果と推奨アクション

条件	推奨アクション
リストされているブロックの入力端子に、暗黙的な Signal Conversion ブロックがある可能性がある。	リストされている信号について、信号の戻り値に 1 ステップの遅延を許容できるかどうかを決定します。遅延が許容されない場合は、Function-Call Subsystem から入力信号が発生するようにモデルを作り直します。遅延を許容できる場合は、リストされている各入力端子の前に Unit Delay ブロックを挿入してください。

条件

推奨アクション

リストされているブロックの入力端子に、暗黙的な Signal Conversion ブロックがある可能性がある。

リストされている信号について、信号の戻り値に 1 ステップの遅延を許容できるかどうかを決定します。

遅延が許容されない場合は、Function-Call Subsystem から入力信号が発生するようにモデルを作り直します。
遅延を許容できる場合は、リストされている各入力端子の前に Unit Delay ブロックを挿入してください。

機能および制限事項

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

参考

Signal Conversion ブロック

Unit Delay ブロック

モデルアドバイザー対象外指定とは (Simulink Check)

連続サンプル時間と浮動小数点でないデータ型をもつブロックの出力信号を特定

チェック ID: mathworks.design.OutputSignalSampleTime

連続サンプル時間の浮動小数点でない出力信号を特定します。

説明

浮動小数点でない信号では、情報を失うことなく連続変数を正しく表現することができない可能性があります。

結果と推奨アクション

条件	推奨アクション
連続サンプル時間信号が浮動小数点でないデータ型である。	特定した信号のサンプル時間を離散化するか、または固定マイナーステップ ([0 1]) に変更します。

機能および制限事項

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

参考

サンプル時間とは.

モデルアドバイザー対象外指定とは (Simulink Check)

Merge ブロックの使用をチェック

チェック ID: mathworks.design.MergeBlkUsage

予期しない動作につながる可能性のあるパラメーター設定の Merge ブロックを特定し、モデルの簡易初期化モードへの移行を支援します。

メモ

このチェックは簡易初期化モードへの移行の概要の他のチェックと一緒に実行してください。

説明

簡易初期化モードは、シミュレーション結果の一貫性を向上させるために R2008b で導入されました。詳細については、簡易初期化モードおよびクラシック初期化モードを参照してください。

このモデルアドバイザーチェックでは、クラシック初期化モードを使用する場合に問題を生じる可能性があるモデル内のMergeブロックの設定を特定します。また、Merge ブロックが一貫した動作を行うための設定を提案します。このサブチェックの結果には次の 2 種類のステートメントがあります。失敗と警告です。失敗ステートメントは、簡易初期化モードにモデルを移行する前に手動で対処しなければならない問題を特定します。警告ステートメントは、移行後に起こり得る動作の問題や変化を特定します。

結果と推奨アクション

条件	推奨アクション
Merge ブロックの実行時診断設定をチェックします。	[コンフィギュレーションパラメーター] ダイアログボックスで、同じタイムステップで実行する複数の駆動ブロックを検出を `[エラー]` に設定します。このチェックを再び実行する前に、モデルのシミュレーションでエラーがないことを確認します。
PIL シミュレーションモードを使用している Model ブロックをチェックします。	簡易初期化モードでは、モデル参照のプロセッサインザループ (PIL) シミュレーションをサポートしていません。
移行できないインスタンスをもつライブラリブロックをチェックします。	各ブロックで失敗したサブチェック結果を調べ、修正対応を判断します。
単入力 Merge ブロックをチェックします。	入力信号と Merge ブロックを生成するために使用される両方の Mux ブロックを 1 つの多入力の Merge ブロックに置き換えます。簡易初期化モードでは、単入力の Merge ブロックはサポートされていません。
不特定の [初期出力] をもつルート Merge ブロックをチェックします。	"root Merge ブロック" の [初期出力] パラメーターに明示的な値を指定しない場合、Simulink では出力データ型の既定の初期値を使用します。ルートの Merge ブロックは、他の Merge ブロックに接続しない出力端子をもつ Merge ブロックです。既定の初期値の詳細は、信号値の初期化を参照してください。
ゼロではない入力端子オフセットをもつ Merge ブロックをチェックします。	Merge ブロックの [異なる端子幅を許可] パラメーターをクリアします。メモ本当にマージを必要とする信号要素に対してのみ Merge ブロックを使用することを検討してください。他の要素は、Concatenate ブロックを使用してマージされた要素と組み合わせることができます。
未接続の入力をもっている Merge ブロックまたは非条件付き実行サブシステムからの入力をもっている Merge ブロックをチェックします。	Merge ブロックの [入力数] パラメーターを Merge ブロックの入力の数に設定します。各入力を信号に接続しなければなりません。 Merge ブロックの各入力が、条件付き実行サブシステムによって駆動されることを確認します。Merge ブロックは、 Iterator Subsystem や条件付き実行サブシステムではないブロックでは直接駆動できません。
結合された入力または条件付き実行サブシステムの外側で並べ替えられた入力をもつ Merge ブロックをチェックします。	Merge ブロックの入力信号の結合または並べ替えが、条件付き実行サブシステム内で行われていることを確認します。そのような設計では、Mux、Bus Creator または Selector ブロックが使用される場合があります。
一貫しないサンプル時間をもつ Merge ブロックをチェックします。	各 Merge ブロックの入力信号の [サンプル時間] が同じであることを確認します。同じでない場合、予測できない動作が生じることがあります。このため、簡易初期化モードでは一貫しないサンプル時間を使用できません。
単一のソースによって駆動される複数の入力端子をもつ Merge ブロックをチェックします。	Merge ブロックに、同じ条件付き実行サブシステム、または条件付き実行 Model ブロックによって駆動される入力信号が複数含まれていないことを確認します。
信号オブジェクトを使用して [初期出力] 値を指定する Merge ブロックをチェックします。	次の動作を許容できることを確認します。簡易初期化モードでは、信号オブジェクトが Merge ブロックの [初期出力] パラメーターを指定できません。信号オブジェクトを使用して Merge ブロックの出力信号を初期化することはできますが、初期化の結果は Merge ブロックの結果で上書きされることがあります。メモ信号オブジェクトの初期値が無視されたという警告が生成されます。

参考

簡易初期化モードへの移行の概要
モデルアドバイザー対象外指定とは (Simulink Check)

Outport ブロックの使用をチェック

チェック ID: mathworks.design.InitParamOutportMergeBlk

予期しない動作につながる可能性のあるパラメーター設定の Outport ブロックと条件付きサブシステムを特定し、モデルの簡易初期化モードへの移行を支援します。

メモ

このチェックは簡易初期化モードへの移行の概要の他のチェックと一緒に実行してください。

説明

このモデルアドバイザーチェックでは、簡易初期化モードを使用する場合に問題を生じる可能性があるモデル内の Outport ブロックと条件付きサブシステムを特定します。また、Outport ブロックが一貫した動作を行うための設定を提案します。このサブチェックの結果には次の 2 種類のステートメントがあります。失敗と警告です。失敗ステートメントは、簡易初期化モードにモデルを移行する前に手動で対処しなければならない問題を特定します。警告ステートメントは、移行後に起こり得る動作の問題や変化を特定します。

結果と推奨アクション

条件	推奨アクション
経過時間を必要とする反復サブシステム内のブロックをチェックします。	反復サブシステム階層内では、2 つの連続した実行の間で経過した時間を保持するサービスを必要とするブロックを使用しないでください。反復サブシステムは、指定されたタイムステップで複数回実行できるため、経過時間の概念を 2 つの実行間で明確に定義できません。反復サブシステム内でこれらのブロックを使用すると、予期しない動作が発生する可能性があります。
信号のバッファー要件が競合する Outport ブロックをチェックします。	Outport ブロックには、標準データ信号と共に、ブロックを介して渡される関数呼び出しトリガーまたは関数呼び出しデータに依存する信号があります。一部の標準データ信号は、対応するサブシステムの出力信号を初期化するために、明示的な信号バッファーを必要としますが、関数呼び出しに関連付けられた信号をバッファリングすると、関数呼び出しのデータ依存性に違反することになります。関数呼び出しに関連付けられた信号を渡すようにモデルを修正する場合は、別々の Outport ブロックを使用してください。関数呼び出しのデータ依存性違反の例については、例のモデル `sl_subsys_semantics` を参照してください。標準データ信号では、次のいずれかの理由で、信号の追加コピーが必要になることがあります。 Outport ブロックが上書きできない出力をもつブロックによって駆動されている。Ground ブロックや Constant ブロックがそのようなブロックの例です。 Outport ブロックが同じサブシステム、または現在のサブシステム内の入れ子で、異なる初期出力値をもつサブシステムの別の Outport ブロックで同じ信号ソースを共有している。 Outport ブロックが Merge ブロックの入力に接続している。 Outport ブロックの入力信号の 1 つが明示的な初期値をもつ `Simulink.Signal` オブジェクトを指定している。
バス信号で駆動され、その [初期出力] 値がスカラーでない Outport ブロックをチェックします。	バス信号で駆動される Outport ブロックの場合、クラシック初期化モードは初期化モード初期条件 (IC) 構造体をサポートしませんが、簡易初期化モードではサポートします。したがって、モデルを従来のモードから簡易モードに移行する場合は、[初期出力] パラメーターにスカラーを指定します。移行が完了した後に、バス信号のさまざまな要素に対して異なる初期値を指定するには、IC 構造体を使用します。詳細については、初期条件構造体の作成を参照してください。
明示的な信号コピーを必要とする Outport ブロックをチェックします。	対応するサブシステムの出力信号を初期化するには、Outport ブロックを駆動するバス信号の明示的なコピーが必要です。 Signal Conversion ブロックを Outport ブロックの前に挿入し、Signal Conversion ブロックの Output パラメーターを `[バスをコピー]` に設定します。標準データ信号には、次のいずれかの理由で信号の追加コピーが必要になることがあります。上書きできない出力をもつブロックが Outport ブロックを駆動している。Ground ブロックや Constant ブロックがそのようなブロックの例です。 Outport ブロックが同じサブシステム、または現在のサブシステム内の入れ子で、異なる初期出力値をもつサブシステムの別の Outport ブロックで同じ信号ソースを共有している。 Outport ブロックが Merge ブロックの入力に接続している。 Outport ブロックの入力信号の 1 つが明示的な初期値をもつ `Simulink.Signal` オブジェクトを指定している。
ブロックがディセーブルになった場合にリセットするよう設定されている Outport ブロックから [初期出力] 値を継承する、マージした Outport ブロックをチェックします。	Outport ブロックが Merge ブロックを駆動している場合は、[ディセーブル時の出力] パラメーターを `[リセット]` に設定しないでください。
入れ子の条件付き実行サブシステムで駆動される、マージされた Outport ブロックをチェックします。	Outport ブロックの新しい動作を許容できるかどうかを判断してください。許容できない場合は、簡易初期化モードに移行する前にモデルを変更して、新しい動作に対処してください。
ブロックのディセーブル時にリセットされるマージした Outport ブロックをチェックします。	Outport ブロックの [ディセーブル時の出力] パラメーターを `[保持]` に設定します。Outport ブロックが Merge ブロックに接続するため、この設定は必要です。詳細については、Outport を参照してください。
無効な初期条件ソースにより未定義となった [初期出力] 値をもっている Outport ブロックをチェックします。	次の動作を許容できることを確認します。 [初期出力] パラメーターが未指定 (`[]`) の場合、ソースブロックから初期出力を継承します。Outport ブロックの少なくとも 1 つのソースが初期値を継承するための有効なソースでない場合、ブロックはそのデータ型に既定の初期値を使用します。簡易初期化モードの場合、Outport ブロックが [初期出力] 値を継承できる有効なソースは次のとおりです。Constant ブロック、Initial Condition ブロック、Merge (初期出力をもつ) ブロック、Stateflow チャート、関数呼び出しモデル参照または条件付き実行サブシステムブロック。
自動的なレート変換をもつ Outport ブロックをチェックします。	Simulink は Outport ブロックの入力時に Rate Transition ブロックを挿入しました。各 Outport ブロックの [初期出力] パラメーターを指定します。必要ない場合は、以下の手順を実行します。 [コンフィギュレーションパラメーター] ダイアログボックスのソルバーペインで、オプションデータ転送に対するレート変換を自動的に取り扱うをオフにします。このモデルアドバイザーチェックを再び実行します。
特殊な信号ストレージ要件と未定義の [初期出力] 値をもつ Outport ブロックをチェックします。	次の動作を許容できることを確認します。 Outport ブロックの [初期出力] パラメーターを指定します。この値を `[]` (空の行列) に設定し、出力データ型の既定の初期値を使用します。
ディセーブル時にリセットされる Outport ブロックの [初期出力] 設定をチェックします。	Outport ブロックの [初期出力] パラメーターを指定します。ディセーブル時にリセットするように構成されているブロックの [初期出力] 値を指定しなければなりません。
関数呼び出しデータ依存信号をパススルーする Outport ブロックに対する [初期出力] 設定をチェックします。	Outport ブロックの [初期出力] 値は、関数呼び出しデータに依存する信号がそれらを介して渡されるため、指定できません。[初期出力] 値を設定するには、以下の手順を実行します。 Outport ブロックの [初期出力] パラメーターを `[]` に設定します。 Outport ブロックではなく、データに依存する信号のソースで初期値を指定します。
信号オブジェクトを使用して [初期出力] 値を指定する Outport ブロックをチェックします。	次の動作を許容できることを確認します。簡易初期化モードでは、信号オブジェクトが Outport ブロックの [初期出力] パラメーターを指定できません。Outport ブロックの入力または出力信号は信号オブジェクトを使用して初期化できますが、この初期化結果は、Outport ブロックの初期化結果で上書きされる可能性があります。メモ条件付き実行サブシステム Outport ブロックを使用して作業している場合、Simulink では信号オブジェクトの初期値が無視されたという警告が生成されます。
警告をもつインスタンスがあるライブラリブロックをチェックします。	簡易初期化モードに移行する前に、各ブロックの警告サブチェック結果を調べます。
Ground ブロックへ未接続または接続済みのマージした Outport ブロックをチェックします。	次の動作を許容できることを確認します。 Outport ブロックは Merge ブロックを駆動しますが、その入力は接続されていないか、または、Ground ブロックに接続されています。クラシック初期化モードでは、未接続の Outport ブロックや Ground に接続された Outport ブロックは、親の条件付き実行サブシステムが実行された場合でも、マージ信号を更新しません。しかし、簡易初期化モードでは、これらの Outport ブロックは、親の条件付き実行サブシステムが実行されると、マージ信号を 0 の値で更新します。
移行時に入力信号から [初期出力] 値を取得する Outport ブロックをチェックします。	次の動作を許容できることを確認します。 Outport ブロックの [初期出力] パラメーターは、指定されていません。このため、簡易初期化モードは Outport ブロックの [初期出力] 値が入力信号から派生していると仮定します。この仮定の結果、異なる初期化動作が生じることがあります。この動作が許容できない場合は、簡易初期化モードに移行する前にモデルを変更してください。
明示的な [初期出力] をもっている外部の Outport ブロックをチェックします。	次の動作を許容できることを確認します。クラシック初期化モードでは、Outport ブロックの [初期出力] パラメーターと [ディセーブル時の出力] パラメーターは、ソースの Outport ブロックのパラメーターに一致しなければなりません。簡易初期化モードでは、Simulink は、外部の Outport ブロックの [初期出力] パラメーターを `[]` (空の行列) に設定し、[ディセーブル時の出力] パラメーターを `[保持]` に設定します。
出力範囲全体に実行コンテキストを伝播する、条件付き実行サブシステムをチェックします。	次の動作を許容できることを確認します。サブシステムで [サブシステムの境界全体に実行コンテキストの伝播] パラメーターが選択されています。実行コンテキストは入力範囲全体に伝播されますが、簡易初期化モードで初期化が行われるように、出力側では伝播は無効になります。
初期化中に条件付き実行サブシステムから入力を読み取るブロックをチェックします。	次の動作を許容できることを確認します。 Discrete-Time Integrator ブロックなどの一部のブロックは、クラシック初期化モードで、初期化時に条件付き実行サブシステムから入力を読み取ります。Simulink は最適化手法としてこの手順を実行します。この最適化は、簡易初期化モードでは実行できません。初期化後の最初のタイムステップにおける、条件付き実行サブシステムの出力は、対応する Outport ブロックで宣言される初期値とは異なる可能性があるためです。特に、この不一致はサブシステムが最初のタイムステップでアクティブになる場合に起こります。
`[初期出力値のソース]` として [ダイアログ] を使用する Outport ブロックに対して移行の競合をチェックします。	ライブラリリンクが同じ Outport ブロックの他のインスタンスは、移行できないか、別の方法で移行中であるかのいずれかです。[移行できないインスタンスをもつライブラリブロックをチェックします] の結果を確認して、各 Outport ブロックの他のインスタンスの別の移行パスについて調べます。 Outport ブロックは現在の設定を維持し、指定された [初期出力] 値を使用します。
`[初期出力値のソース]` として [入力信号] を使用する Outport ブロックに対して移行の競合をチェックします。	ライブラリリンクが同じ Outport ブロックの他のインスタンスは、移行できないか、別の方法で移行中であるかのいずれかです。[移行できないインスタンスをもつライブラリブロックをチェックします] の結果を確認して、各 Outport ブロックの他のインスタンスの別の移行パスについて調べます。現在、Outport ブロックは、[初期出力] に `[]` (空行列)、[ディセーブル時の出力] に `[保持]` を指定しています。これは、各出力端子は初期化を行わないが、暗黙的にソースブロックに依存して入力信号を初期化することを意味します。移行後、パラメーター [初期出力の値のソース] は、この動作を反映するために `[入力信号]` に設定されます。
SimEvents^® セマンティクスをもつ Outport ブロックに対する移行の競合をチェックします。	ライブラリリンクが同じ Outport ブロックの他のインスタンスは、移行できないか、別の方法で移行中であるかのいずれかです。[移行できないインスタンスをもつライブラリブロックをチェックします] の結果を確認して、各 Outport ブロックの他のインスタンスの別の移行パスについて調べます。 Outport ブロックは引き続き、[初期出力] に `[]` (空の行列)、[ディセーブル時の出力] に `[保持]` を使用します。Simulink では、親の条件付き実行サブシステムが SimEvents ブロックに接続しているため、これらの設定を保持します。
可変サイズの入力と未指定の [初期出力] をもつ最も内部の Outport ブロックに対する移行の競合をチェックします。	これらの Outport ブロックでは、ブロックの親のサブシステムが再度有効になった場合にのみ信号サイズが変化します。このため Simulink は暗黙的に [初期出力] パラメーターが未指定の [] であっても、パラメーターはゼロに等しいと仮定します。この結果、パラメーターを指定しない限り、モデルアドバイザーはモデルが簡易初期化モードに移行したときに、パラメーターを明示的にゼロに設定します。ライブラリリンクが同じ Outport ブロックの他のインスタンスは、移行できないか、別の方法で移行中であるかのいずれかです。[移行できないインスタンスをもつライブラリブロックをチェックします] の結果を確認して、各 Outport ブロックの他のインスタンスの別の移行パスについて調べます。
[初期出力値のソース] として既定のグラウンド値を使用する Outport ブロックに対して移行の競合をチェックします。	[初期出力] パラメーターは `[]` (空の行列) に設定され、Outport の出力は無効な初期条件ソースになります。したがって、ブロックでは既定の初期値を簡易初期化モードの初期出力として使用します。ライブラリリンクが同じ Outport ブロックの他のインスタンスは、エラーがあるか、別の方法で移行中であるかのいずれかです。
[初期出力] の明示的な仕様をもたずにマージされた Outport ブロックに対して移行の競合をチェックします。	各 Outport ブロックの他のインスタンスの別の移行パスについて知りたい場合は、サブチェック [移行できないインスタンスをもつライブラリブロック] の結果を調べてください。残りの Outport ブロックではそれぞれ簡易初期化モードで [初期出力] が `[]` (空の行列) に設定され、[ディセーブル時の出力] が `保持` に設定されます。

参考

簡易初期化モードへの移行の概要
モデルアドバイザー対象外指定とは (Simulink Check)

Discrete-Time Integrator ブロックの使用をチェック

チェック ID: mathworks.design.DiscreteBlock

予期しない動作につながる可能性のあるパラメーター設定の Discrete-Time Integrator ブロックを特定し、モデルの簡易初期化モードへの移行を支援します。

メモ

このチェックは簡易初期化モードへの移行の概要の他のチェックと一緒に実行してください。

説明

このモデルアドバイザーチェックでは、簡易初期化モードを使用する場合に問題を生じる可能性があるモデル内の Discrete-Time Integrator ブロックの設定を特定します。また、Discrete-Time Integrator ブロックが一貫した動作を行うための設定を提案します。このサブチェックの結果には次の 2 種類のステートメントがあります。失敗と警告です。失敗ステートメントは、簡易初期化モードにモデルを移行する前に手動で対処しなければならない問題を特定します。警告ステートメントは、移行後に起こり得る動作の問題や変化を特定します。

結果と推奨アクション

条件推奨アクション

条件	推奨アクション
[初期条件設定] パラメーターが `[出力]` に設定されている Discrete-Time Integrator ブロックをチェックします。	Discrete-Time Integrator ブロックの新しい動作を許容できるかどうかを判断してください。許容できない場合は、簡易初期化モードに移行する前にモデルを変更して、新しい動作に対処してください。
[初期条件設定] パラメーターが `[状態 (最も効率的)]` に設定されていて、トリガーサンプル時間を使用するサブシステム内にある Discrete-Time Integrator ブロックをチェックします。	ブロックに対して周期的なサンプル時間を使用するか、[初期条件設定] を `[出力]` に設定します。
経過時間を必要とする反復サブシステム内のブロックをチェックします。	反復サブシステム階層内では、2 つの連続した実行の間で経過した時間を保持するサービスを必要とするブロックを使用しないでください。反復サブシステムは、指定されたタイムステップで複数回実行できるため、経過時間の概念を 2 つの実行間で明確に定義できません。反復サブシステム内でこれらのブロックを使用すると、予期しない動作が発生する可能性があります。

[初期条件設定] パラメーターが [出力] に設定されている Discrete-Time Integrator ブロックをチェックします。

Discrete-Time Integrator ブロックの新しい動作を許容できるかどうかを判断してください。許容できない場合は、簡易初期化モードに移行する前にモデルを変更して、新しい動作に対処してください。

[初期条件設定] パラメーターが [状態 (最も効率的)] に設定されていて、トリガーサンプル時間を使用するサブシステム内にある Discrete-Time Integrator ブロックをチェックします。

ブロックに対して周期的なサンプル時間を使用するか、[初期条件設定] を [出力] に設定します。

経過時間を必要とする反復サブシステム内のブロックをチェックします。

反復サブシステム階層内では、2 つの連続した実行の間で経過した時間を保持するサービスを必要とするブロックを使用しないでください。

反復サブシステムは、指定されたタイムステップで複数回実行できるため、経過時間の概念を 2 つの実行間で明確に定義できません。反復サブシステム内でこれらのブロックを使用すると、予期しない動作が発生する可能性があります。

参考

簡易初期化モードへの移行の概要
モデルアドバイザー対象外指定とは (Simulink Check)

簡易初期化モードに移行するためのモデル設定をチェック

メモ

このチェックは単独で実行しないでください。このチェックは簡易初期化モードへの移行の概要の他のチェックと一緒に実行してください。

チェック ID: mathworks.design.ModelLevelMessages

予期しない動作につながる可能性のある Model ブロックの設定とモデルコンフィギュレーションパラメーターを特定し、モデルの簡易初期化モードへの移行を支援します。

説明

このモデルアドバイザーチェックでは、簡易初期化モードへ移行する場合に問題を生じる可能性があるモデルコンフィギュレーションパラメーターとモデル内の Model ブロックの問題を特定します。このサブチェックの結果には次の 2 種類のステートメントがあります。失敗と警告です。失敗ステートメントは、簡易初期化モードにモデルを移行する前に手動で対処しなければならない問題を特定します。警告ステートメントは、移行後に起こり得る動作の問題や変化を特定します。

このモデルアドバイザー整合性チェックを実行した後で [結果の探索] ボタンをクリックすると、メッセージはライブラリリンク以外のブロックにのみ関係します。

メモ

これらの変更を元に戻すのは難しいため、簡易初期化モードにモデルを移行する前に、[ファイル] 、 [別名で復元ポイントを保存] を選択してモデルをバックアップしてください。

詳細については、モデルコンフィギュレーションパラメーター: 接続性の診断を参照してください。

結果と推奨アクション

条件	推奨アクション
すべての Model ブロックが簡易初期化モードを使用していることを確認します。	Model ブロックによって参照されるモデルを簡易初期化モードに移行した後、最上位モデルを移行します。
簡易初期化モード設定を確認	[コンフィギュレーションパラメーター] 、 [指定不足の初期化の検出] を `[簡易]` に設定します。

アクション結果

[設定の変更] をクリックすると、次のような変更が行われます。

Model パラメーターが [simplified] に設定されます。
Outport ブロックの [初期出力] パラメーターが空の文字ベクトル [] に設定されている場合、SourceOfInitialOutputValue パラメーターは [入力信号] に設定されます。
Outport に空の [初期出力] と可変サイズ信号がある場合、[初期出力] はゼロに設定されます。

参考

簡易初期化モードへの移行の概要
モデルアドバイザー対象外指定とは (Simulink Check)

モデルでの S-Function のチェック

チェック ID: mathworks.design.SFuncAnalyzer

Simulink モデルまたはサブシステムで S-Function の品質チェックを実行します。

説明

S-Function アナライザーは、指定されたモデルの改良点や潜在的な問題を特定するために S-Function の品質チェックを実行します。

結果と推奨アクション

条件	推奨アクション
連続状態が `mdlOutputs` メソッドで変更される。	メジャータイムステップで連続状態を変更し、S-Function コードで関数 `ssSetSolverNeedsReset` を使用します。
連続状態が `mdlUpdate` メソッドで変更される。	メジャータイムステップで連続状態のみ変更し、S-Function コードで関数 `ssSetSolverNeedsReset` を使用します。
S-Function の離散状態がマイナーステップで `mdlOutputs` で変更される。	関数 `ssIsMajorTimeStep` によってガードされるメジャーステップのみで離散状態を変更します。
S-Function モードベクトルがマイナーステップで `mdlOutputs` メソッドで変更される。	関数 `sslsMajorTimeStep` によってガードされるメジャーステップのみでモードベクトルを変更します。
S-Function が内部状態を宣言するために静的変数またはグローバル変数を使用している。	関数 `ssSetNumDiscStates` またはデータストアの作成によるグローバルデータのモデル化を使用して状態を明示的に宣言します。
S-Function には連続状態があるが、サンプル時間は連続と宣言されていない。	関数 `ssSetSampleTime` を使用して連続サンプル時間を指定します。
S-Function には離散状態があるが、`mdlOutputs` メソッドと `mdlUpdate` メソッドが組み合わされている。	`mdlOutputs` メソッドと `mdlUpdate` メソッドを個別に定義して、`mdlUpdate` メソッドのみで離散状態を変更します。
状態のようなデータまたは複数のサンプル時間がある場合に、S-Function は `SS_OPTION_CAN_BE_CALLED_CONDITIONALLY` オプションを設定します。	S-Function に状態のようなデータまたは複数のサンプル時間がある場合、オプションを削除します。
`MEX` コンパイラがマシンに存在しません。	マシンに存在しているかを確認するか、`MEX` コンパイラをインストールします。
モデルのコンパイル中に S-Function でエラーが発生する。	[診断ビューアー] 出力を確認してモデルを再コンパイルします。

微分端子を駆動する連続でない信号をチェック

チェック ID: mathworks.design.NonContSigDerivPort

微分端子を駆動する連続でない信号を特定します。

説明

微分端子を駆動する連続でない信号は、信号が値を変更するたびにソルバーがリセットされる原因となり、シミュレーションの速度が低下します。

結果と推奨アクション

条件	推奨アクション
微分端子を駆動する連続でない信号がモデル内に存在する。	特定された信号を連続信号にします。これらの信号を受ける連続ブロックを、離散状態のブロックに置き換えます。

機能および制限事項

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

参考

S-Function に対する実行時の診断

チェック ID: mathworks.design.DiagnosticSFcn

S-Function ブロックがモデル内にある場合、配列範囲とソルバーの整合性をチェックします。

説明

S-Function ブロックが、Simulink の組み込みブロックに適用される ODE ソルバーの整合性ルールに従っているかどうかを検証します。

結果と推奨アクション

条件	推奨アクション
[ソルバーデータの不整合] が `なし` に設定されている。	[コンフィギュレーションパラメーター] ダイアログボックスで、[ソルバーデータの不整合] を `[警告]` または `[エラー]` に設定します。
[配列範囲の超過] が `なし` に設定されている。	[コンフィギュレーションパラメーター] ダイアログボックスで、[配列範囲の超過] を `[警告]` または `[エラー]` に設定します。

機能および制限事項

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

参考

対象外の文字がないかモデルをチェック

チェック ID: mathworks.design.characterEncoding

現在のエンコードと互換性のない文字がないかチェックします。

説明

現在のエンコードで表現できない文字がモデルファイルにないかチェックします。そのような文字があると、シミュレーション時にエラーが発生し、モデルを保存するときに破損する場合があります。

結果と推奨アクション

条件	推奨アクション
整合性のない文字が見つかった	`slCharacterEncoding` を使用して、現在のエンコードをモデルファイルで指定されたエンコードに変更します。現在のエンコードを変更するには、モデルを閉じなければなりません。そうすると、モデルアドバイザーが閉じます。

ヒント

アップグレードアドバイザーのレポートに、必要なエンコードが表示されます。また、以下のコマンドを使用してモデルからエンコードを取得することもできます。

get_param(modelname,'SavedCharacterEncoding')

slCharacterEncoding を使用して、エンコードを変更します。この設定は現在の MATLAB セッションに適用されるので、MATLAB を再起動して同じモデルを開く場合は、現在のエンコードに再度同じ変更を行う必要があります。

詳細は、以下の項目を参照してください。

参考

モデル内の単位の不一致を特定

チェック ID: mathworks.design.UnitMismatches

モデル内の端子間で単位が一致していないインスタンスを特定します。

説明

モデル内の端子間で単位が一致していないインスタンスをチェックします。

結果と推奨アクション

条件	推奨アクション
単位の不一致が見つかった	一致していない単位設定のうちの 1 つを変更し、別の端子の単位設定に合わせます。

参考

Simulink モデルでの単位の指定

モデル内の自動単位変換を特定

チェック ID: mathworks.design.AutoUnitConversions

モデル内の自動単位変換のインスタンスを特定します。

説明

モデル内の自動単位変換のインスタンスを特定します。

結果と推奨アクション

条件	推奨アクション
自動単位変換が見つかった	変換された単位が、そのモデルに対して想定されていた単位であるか確認します。

参考

Simulink モデルでの単位の指定

モデル内の許可されていない単位系を特定

チェック ID: mathworks.design.DisallowedUnitSystems

モデル内の許可されていない単位系のインスタンスを特定します。

説明

モデル内の許可されていない単位系のインスタンスを特定します。

結果と推奨アクション

条件	推奨アクション
許可されていない単位系が見つかった	構成された単位系に適合する単位を選択するか、別の単位系を選択します。詳細については、単位系の制限を参照してください。

参考

Simulink モデルでの単位の指定

モデル内の未定義の単位を特定

チェック ID: mathworks.design.UndefinedUnits

モデル内にある、単位データベースで定義されていない単位仕様のインスタンスを特定します。

説明

モデル内にある、単位データベースで定義されていない単位仕様のインスタンスを特定します。

結果と推奨アクション

条件	推奨アクション
未定義の単位が見つかった	その単位を Simulink がサポートする単位に変更します。

参考

ブロックのアップグレードについてモデルをチェック

チェック ID: mathworks.design.Update

一般的なブロックのアップグレードの問題がないかチェックします。

説明

Simulink ソフトウェアの新しいバージョンを使用することで互換性問題が発生しないかどうか、モデルのブロックをチェックします。

結果と推奨アクション

条件	推奨アクション
互換性問題があるブロックが見つかった。	[変更] をクリックして、検出されたブロックの問題を修正します。
レベル 2 の API S-function の更新状況をチェックする。	レベル 1 の S-function をレベル 2 と置き換えます。

アクション結果

[変更] をクリックすると旧バージョンの Simulink からのブロックを最新バージョンに置き換えます。

参考

コンパイル時間情報を必要とするブロックのアップグレードについてモデルをチェック

チェック ID: mathworks.design.UpdateRequireCompile

一般的なブロックのアップグレードの問題がないかチェックします。

説明

Simulink ソフトウェアの新しいバージョンへのアップグレードで互換性問題が発生していないかどうか、ブロックをチェックします。モデルがコンパイルモードにある場合は、いくつかのブロックのアップグレードで一連の情報やデータが必要となります。そのためのチェックとして、モデルはコンパイルモードに設定された後、アップグレードのチェックが行われます。

結果と推奨アクション

条件	推奨アクション
モデルは Lookup Table ブロックまたは Lookup Table (2-D) ブロックを含み、こうしたブロックの一部はルックアップ手法として [入力の最近傍を使用] または [入力の上の値を使用] を指定します。	Lookup Table ブロックおよび Lookup Table (2-D) ブロックを n-D Lookup Table ブロックに置き換えます。ルックアップ手法として [入力の最近傍を使用] および [入力の上の値を使用] は指定せず、その他のオプションを選択します。
モデルは Lookup Table ブロックまたは Lookup Table (2-D) ブロックを含み、こうしたブロックの一部は内挿をするときにまず乗算を行います。	Lookup Table ブロックおよび Lookup Table (2-D) ブロックを n-D Lookup Table ブロックに置き換えます。ただし、n-D Lookup Table ブロックが最初に除算を行うため、この置き換えにより、結果に数値的な差が現れる可能性があります。
モデルは Lookup Table ブロックまたは Lookup Table (2-D) ブロックを含みます。こうしたブロックの一部は [ルックアップ手法] として [内挿 - 外挿] を指定しますが、これらの入力と出力は同じ浮動小数点型ではありません。	Lookup Table ブロックおよび Lookup Table (2-D) ブロックを n-D Lookup Table ブロックに置き換えます。その後、ブロックを置き換えするために外挿法または端子のデータ型を変更してください。
モデルは Unit Delay ブロックを含んでおり、その [サンプル時間] が連続サンプル時間を継承する `-1` に設定されています。	Unit Delay ブロックを Memory ブロックに置き換えます。

マルチタスクについて Data Store Memory ブロックをチェック

アクション結果

[変更] をクリックすると旧バージョンの Simulink からのブロックを最新バージョンに置き換えます。

参考

モデルが SLX 形式で保存されていることをチェック

チェック ID: mathworks.design.UseSLXFile

モデルが SLX 形式で保存されているかチェックします。

説明

モデルが SLX 形式で保存されているかチェックします。

結果と推奨アクション

条件	推奨アクション
モデルが SLX 形式で保存されていない	Simulink の最新機能を使用できるように SLX ファイル形式にアップグレードすることを検討します。

機能および制限事項

このチェックはライブラリモデルで実行できます。

ヒント

Simulink プロジェクトを使用すると、モデルを SLX 形式にアップグレードして、ソース管理でファイルリビジョン履歴を保存できます。モデルファイルを SLX にアップグレードしてリビジョン履歴を保存するを参照してください。

参考

モデルで SB2SL ブロックをチェック

チェック ID: mathworks.simulink.SB2SL.Check

モデルに旧式の SB2SL ブロックが含まれていないことをチェックします。

説明

モデルに旧式の SB2SL ブロックが含まれているかどうかチェックします。

結果と推奨アクション

条件	推奨アクション
モデルに旧式の SB2SL ブロックが含まれています	モデルを最新の SB2SL ブロックにアップグレードすることを検討します。

アクション結果

[SB2SL ブロックの更新] をクリックすると、ブロックを最新バージョンに置換します。

参考

アップグレードアドバイザーの使用.

モデル履歴プロパティのチェック

チェック ID: mathworks.design.SLXModelProperties

編集されたモデル履歴プロパティがあるかチェックします。

説明

ソース管理ツールのキーワード代入で使用できる、編集されたモデル履歴プロパティ値があるかどうかモデルをチェックします。このキーワード代入は、SLX ファイル形式とは互換性がありません。

MDL ファイル形式では、ソース管理ツールのキーワード代入を使用できるようにいくつかのモデルプロパティを設定できます。モデルを SLX 形式で保存すると、ソース管理ツールはキーワード代入を実行できません。そのようなキーワード代入からのモデルファイル内の情報は、MDL ファイルを SLX として最初に保存したときにキャッシュされ、二度と更新されません。それ以降、モデルの [モデルプロパティ] の [履歴] ペインと Model Info ブロックでは、古い情報が表示されることになります。

結果と推奨アクション

条件	推奨アクション
モデル履歴プロパティが編集されている	手作業または自動でプロパティを既定値にリセットします。リセットボタンをクリックするか、検査ボタンをクリックしてそれらのプロパティを手作業で変更し、[モデルプロパティ] ダイアログを開いて [履歴] ペインを確認します。

機能および制限事項

このチェックはライブラリモデルで実行できます。

参考

外部のソース管理ツールと交信できる Model Info ブロックの特定

チェック ID: mathworks.design.ModelInfoKeywordSubstitution

キーワード代入によって外部のソース管理ツールから変更可能な Model Info ブロックを検出するには、このチェックを使用します。

説明

このチェックは、外部のソース管理ツールによって上書き可能なドル記号で囲まれた Model Info ブロック内の文字ベクトルを検索します。サードパーティのソース管理ツールのキーワード拡張を使用すると、モデルファイルを送信するときにファイルが破損する可能性があります。SLX モデルファイル形式ではキーワード代入は使用できません。

ソース管理ツールへのより柔軟なインターフェイスとしては、Model Info ブロックではなく Simulink プロジェクトを使用します。プロジェクトを使用したソース管理についてを参照してください。

結果と推奨アクション

条件	推奨アクション
Model Info ブロックに次のようなフィールドが含まれています。 $keyword$	レポートのフィールドの一覧を確認して、Model Info ブロックからキーワード文字ベクトルを削除します。

参考

構成マネージャーを使用する Model Info ブロックの特定

チェック ID: mathworks.design.ModelInfoConfigurationManager

構成マネージャーを使用している Model Info ブロックを検出するには、このチェックを使用します。

説明

構成マネージャーを使用している Model Info ブロックは、外部のソース管理ツールを使用したリスクのあるキーワード代入を可能にします。サードパーティのソース管理ツールのキーワード拡張を使用すると、モデルファイルを送信するときにファイルが破損する可能性があります。SLX モデルファイル形式ではキーワード代入は使用できません。Model Info ブロック用の構成マネージャーは将来のリリースで削除される予定です。

結果と推奨アクション

条件	推奨アクション
Model Info ブロックが構成マネージャーを使用しています。	[構成マネージャーの削除] をクリックします。

参考

Check model for legacy 3DoF or 6DoF blocks

チェック ID: mathworks.design.Aeroblks.CheckDOF

旧式の 3DoF ブロックおよび 6DoF ブロックをリストします。

説明

このチェックでは、3.13 (R2014a) より前のライブラリバージョンの 3DoF ブロックおよび 6DoF ブロックを検索します。

結果と推奨アクション

条件	推奨アクション
古いバージョンの 3DoF ブロックまたは 6DoF ブロックで構成されたブロックが見つかった。	[Replace 3DoF and 6DoF Blocks] をクリックして、ブロックを最新バージョンに置き換えます。

アクション結果

[Replace 3DoF and 6DoF Blocks] をクリックすると、ブロックは最新バージョンに置き換えられます。

参考

Equations of Motion (Aerospace Blockset)

レガシ Aerospace Blockset ブロックのモデルおよびローカルライブラリをチェック

チェック ID: mathworks.design.Aeroblks.CheckFG

古くなったまたはサポートされていない FlightGear バージョンを使用するように構成されているブロックをリストします。

説明

このチェックでは、古くなったまたはサポートされていない FlightGear バージョンを使用するように構成されているブロックを検索してリストします。

結果と推奨アクション

条件	推奨アクション
古いバージョンの FlightGear で構成されているブロックが検索されます。	[Update FlightGear blocks] をクリックして、ブロックの設定をサポートされる最新バージョンの FlightGear に変更します。次に、MATLAB でサポートされる最新バージョンの FlightGear をダウンロードします。

アクション結果

[Update FlightGear blocks] をクリックすると、ブロックの設定がサポートされる最新バージョンの FlightGear に変更されます。

参考

Flight Simulator Interfaces (Aerospace Blockset)

モデルで Aerospace Blockset ナビゲーションブロックをチェック

チェック ID: mathworks.design.Aeroblks.CheckNAV

3.21 (R2018a) より前の Three-Axis Inertial Measurement Unit ブロック、Three-Axis Gyroscope ブロックおよび Three-Axis Accelerometer ブロックを検索します。

説明

このチェックでは、R2018a で更新された Three-Axis Inertial Measurement Unit ブロック、Three-Axis Gyroscope ブロックおよび Three-Axis Accelerometer ブロックを検索します。

結果と推奨アクション

条件	推奨アクション
R2018a より前の Three-Axis Inertial Measurement Unit ブロック、Three-Axis Gyroscope ブロックおよび Three-Axis Accelerometer ブロック。	R2018a 以降では、以前に定常状態条件を求解していない場合は、すぐにモデルを保存します。以前にモデルの定常状態条件を求解している場合は、これらの定常状態条件を再度求解してからモデルを保存します。

参考

プロモート済みのパラメーターを使用するために、ライブラリでマスクブロックをチェックし更新します

チェック ID: mathworks.design.CheckAndUpdateOldMaskedBuiltinBlocks

プロモート済みパラメーターを使用するように更新する必要があるライブラリがあるかチェックします。

説明

このチェックでは、R2011b より前に作成されたライブラリを検索して、プロモート済みパラメーターを使用するように更新する必要があるマスクブロックがあるか調べます。R2011b 以降は、ブロックパラメーターがプロモートされていないと、リンク付きブロック内の値はライブラリブロック内でその値にロックされます。このチェックでは、Subsystem、Model reference、S-Function および M-S-Function のタイプのブロックは除外されます。

結果と推奨アクション

条件	推奨アクション
更新する必要があるライブラリが見つかった	[更新] をクリックします。ライブラリが更新されたら、チェックを再度実行します。

機能および制限事項

次のことが可能です。

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

参考

imread() の不要な関数呼び出しを含むマスクイメージ表示コマンドのチェックおよび更新

チェック ID: mathworks.design.CheckMaskDisplayImageFormat

チェックによって、関数 imread() の不要な呼び出しを含むマスクイメージ表示コマンドを使用するマスクを識別します。

説明

このチェックでは、関数 imread() の不要な呼び出しを行うマスク表示コマンドを検索し、それらのコマンドを、関数 imread() を呼び出さないマスク表示コマンドで更新します。2013a 以降、RGB の 3 要素行列ではなくイメージパスによって指定されたマスクイメージに対して、パフォーマンスとメモリの最適化機能を利用できるようになりました。

結果と推奨アクション

条件	推奨アクション
関数 `imread()` の不要な呼び出しを行うマスク表示コマンドが検索されます。	[更新] をクリックします。ブロックが更新されたら、チェックを再度実行します。

機能および制限事項

次のことが可能です。

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

参考

マスクのチェックと更新を行って、マスクワークスペースに対するアイコン描画コマンドの依存関係を確認

チェック ID: mathworks.design.CheckMaskRunInitFlag

このチェックは、マスクアイコン描画コマンドがマスクワークスペースに依存するかどうかを特定します。

説明

このチェックは、マスクアイコン描画コマンドがマスクワークスペースに依存するかどうかを特定し、それに合わせて、RunInitForIconRedraw プロパティを更新します。マスクワークスペースに依存しない場合、RunInitForIconRedraw の値は off に設定され、マスクワークスペースに依存する場合、値は on に設定されます。

マスクワークスペースに依存しない場合に RunInitForIconRedraw の値を off に設定すると、ブロックアイコンの描画前にマスク初期化コードを実行しないことでパフォーマンスが最適化されます。

結果と推奨アクション

条件	推奨アクション
マスクワークスペースに依存するまたは依存しないマスク描画コマンドが見つかった。	[更新] をクリックします。ブロックが更新されたら、チェックを再度実行します。

機能および制限事項

次のことが可能です。

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

参考

MaskTabNames パラメーターを使用してマスクダイアログでタブを指定するマスクブロックを特定

チェック ID: mathworks.design.CheckAndUpdateOldMaskTabnames

このチェックでは、MaskTabNames パラメーターを使用してマスクダイアログでタブを指定するマスクブロックを特定します。

説明

このチェックでは、MaskTabNames パラメーターを使用してプログラムでマスクダイアログにタブを作成するマスクブロックを特定します。R2013b 以降、ダイアログコントロールはマスクダイアログ上のタブでパラメーターをグループ化するために使用されます。

結果と推奨アクション

条件	推奨アクション
`MaskTabNames` パラメーターを使用してプログラムでマスクダイアログにタブを作成するマスクブロックが検出される。	[アクション] セクションで利用可能な [アップグレード] をクリックします。ブロックが更新されたら、チェックを再度実行します。

機能および制限事項

このチェックはライブラリモデルで実行できます。

参考

厳密な単精度の設計に対して問題のある演算を特定

チェック ID: mathworks.design.StowawayDoubles

このチェックでは、厳密な単精度の設計に対して、倍精度演算が導入されているブロックおよび最適でないモデル設定を特定します。

説明

このチェックでは、厳密な単精度の設計に対して、倍精度演算が導入されているブロックおよび最適でないモデル設定を特定します。

結果と推奨アクション

条件推奨アクション

モデルで倍精度浮動小数点演算が検索されます。

以下を検証します。

ブロックの入出力データ型が正しく設定されている。
[コンフィギュレーションパラメーター] ダイアログボックスで、[指定不足のデータ型の既定値] が [single] に設定されている。

厳密な単精度設計用に最適化されていないライブラリ標準をモデルで使用しています。

以下を検証します。

すべてのターゲット固有の数学ライブラリが単精度の実装をサポートしている。
[コンフィギュレーションパラメーター] 、 [標準の数学ライブラリ] を [C99 (ISO)] に設定します。

論理信号が boolean データとして実装されていません。

以下を検証します。

[コンフィギュレーションパラメーター] ダイアログボックスで [boolean データ (対 double) として論理信号を処理] が選択されている。

機能および制限事項

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

参考

ブロック CompiledSampleTime での get_param 呼び出しのチェック

チェック ID: mathworks.design.CallsGetParamCompiledSampleTime

ブロック CompiledSampleTime パラメーターを返す get_param 関数呼び出しを含む MATLAB ファイルを作業環境内で特定するにはこのチェックを使用します。

説明

(サブシステムを含む) マルチレートブロックでは、Simulink はブロック内のサンプルレートの cell 配列としてブロックのコンパイルされたサンプル時間を返します。戻り値は、double のペアの cell 配列です。この戻り値を double のペアとしてのみ受け入れる MATLAB コードでは、マルチレートブロックと共に呼び出された場合にエラーを返すことがあります。ユーザーの環境でこのようなコードを特定するにはこのチェックを使用します。代わりに double のペアの cell 配列を受け入れるように、これらのコードのインスタンスを修正します。

たとえば、マルチレートブロックのコンパイルされたサンプル時間を割り当てられている変数 blkTs を考えてみます。

blkTs = get_param(block,'CompiledSampleTime');

blkTs が double のペアであり、ブロックがシングルレートブロックである場合にのみ元のコードが機能する例をいくつか示します。

例 1
```
if isinf(blkTs(1))
    disp('found constant sample time')
end
```
blkTs が cell 配列になるため、Simulink は次のエラーメッセージを表示します。
```
Undefined function 'isinf' for input arguments of type 'cell'
```
代わりに、blkTs を cell 配列または double のペアにすることができるこのコードを使用します。
```
if isequal(blkTs, [inf,0])
    disp('found constant sample time')
end
```
例 2
```
if all(blkTs == [-1,-1])
    disp('found triggered sample time')
end
```
上の例では、blkTs が cell 配列になるため、Simulink は次のエラーを表示します。
```
Undefined function 'eq' for input arguments of type 'cell'
```
代わりに、blkTs を cell 配列または double のペアにすることができるこのコードを使用します。
```
if isequal(blkTs, [-1,-1])
    disp('found triggered sample time')
end
```
例 3
```
if (blkTs(1) == -1)
    disp('found a triggered context')
end
```
blkTs はまた cell 配列になるため、Simulink は次のエラーを表示します。
```
Undefined function 'eq' for input arguments of type 'cell'
```
代わりに、以下のコードを使用します。
```
if ~iscell(blkTs)
    blkTs = {blkTs};
end
for idx = 1:length(blkTs)
    thisTs = blkTs{idx};
    if (thisTs(1) == -1)
        disp('found a triggered context')
    end
end
```
上記のコードはトリガータイプのサンプル時間をチェックします (トリガーまたは非同期)。ブロックがトリガーまたは非同期に加えて一定のサンプル時間 ([inf,0]) をもつ場合またはブロックに複数の非同期レートがある場合、この代替プロパティはトリガータイプのサンプル時間を検出します。

このチェックは環境内の MATLAB ファイルをスキャンします。チェックにより、ブロックのコンパイルされたサンプル時間を出力するための get_param 呼び出しを含む MATLAB コードのインスタンスが検出された場合、アップグレードアドバイザーはこれらの結果を表示します。マルチレートブロックからブロックのコンパイルされたサンプル時間を受け入れるコードを変更することが勧められます。

結果と推奨アクション

条件	推奨アクション
`get_param(block,CompiledSampleTime)` を呼び出す MATLAB ファイルがない	なし
`get_param(block,CompiledSampleTime)` を呼び出す MATLAB ファイルが一部ある	ファイルがマルチレートブロックからブロックの `CompiledSampleTime` パラメーターを使用する場合、double のペアの cell 配列としてパラメーターを受け入れるようにこれらのファイルを修正します。

参考

すべてのシミュレーション出力が 1 つの Simulink.SimulationOutput オブジェクトとして返されるかどうかをチェック

チェック ID: mathworks.design.CheckSingleSimulationOutput

このチェックは、シミュレーション結果が 1 つの Simulink.SimulationOutput オブジェクトとして返されるかどうかを特定するために使用します。

説明

このチェックでは、モデルをスキャンしてパラメーター ReturnWorkspaceOutputs が有効になっているかどうかを確認します。このパラメーターを有効にすると、シミュレーションを対話形式で実行する際にシミュレーション出力が Simulink.SimulationOutput で返されます。シミュレーション出力には、信号、状態、出力、DSM のログ、スコープ、To Workspace ブロックのログが含まれます。

ReturnWorkspaceOutputs を有効にすると、次が提供されます。

シミュレーションデータの管理が簡単になる。
SimulationMetadata に自動でアクセスできる。
複数の並列シミュレーションやバッチシミュレーションと互換性がある。

結果と推奨アクション

条件	推奨アクション
シミュレーション出力が 1 つの `Simulink.SimulationOutput` オブジェクトとして返されない	すべてのシミュレーション出力を 1 つの `Simulink.SimulationOutput` オブジェクトとして返します。

参考

パラメーターの初期化と調整に関する問題についてモデルをチェック

チェック ID: mathworks.design.ParameterTuning

パラメーターを初期化または調整するときに発生するモデルの問題を特定するには、このチェックを使用します。

説明

このチェックでは、次のようなパラメーターの初期化および調整の問題についてモデルをスキャンします。

ブロック間のレートの不一致
条件付き実行サブシステムでのゼロ除算の問題
Index Vector ブロック内の無効な制御端子の値

結果と推奨アクション

条件

推奨アクション

モデルにはレート変換の問題があります。

[モデルコンフィギュレーションパラメーター] の [ソルバー] ペインで [データ転送に対するレート変換を自動的に取り扱う] を選択します。

モデルには制御ポートをもつ条件付き実行サブシステム内に、ゼロ除算の問題があります。

コマンドプロンプトで次を実行します。

set_param(control_port,'DisallowConstTsAndPrmTs', 'on')

モデルには条件付き実行サブシステム内に、無効な制御端子の値があります。

コマンドプロンプトで次を実行します。

set_param(control_port,'DisallowConstTsAndPrmTs', 'on')

アクション結果

[モデルのアップグレード] を選択して、パラメーターの初期化と調整に関連するモデルの問題を解決します。

参考

自動レート変換

モデル参照の境界を超えるバーチャルバスがないかをチェック

チェック ID: mathworks.design.CheckVirtualBusAcrossModelReference

モデル参照の境界を超えるバーチャルバス信号をチェックします。

説明

このチェックでは、非バーチャルなバス信号に変更するために更新が必要なバーチャルバス出力をもつ参照モデル内のルートレベルの Inport ブロックと Outport ブロック、および Model ブロックを特定します。

このチェックによって問題が特定された場合、[モデルの更新] をクリックして、以下の状況にあるバーチャルバスが設定されているルートレベルの Inport ブロックと Outport ブロックを非バーチャルバスを使用するように変換します。

ルートレベルの Inport ブロック — [非バーチャルバスとして出力] パラメーターを有効にして、Inport ブロックの後に Signal Conversion ブロックを挿入します。Signal Conversion ブロックはバーチャルバスを出力するように構成されます。
ルートレベルの Outport ブロック — [親モデル内の非バーチャルバスとして出力] パラメーターを有効にします。
Model ブロック — Outport ブロックが問題に対応するために更新される端子の場合、Model ブロックの対応する端子の後に Signal Conversion ブロックが挿入されます。Signal Conversion ブロックはバーチャルバスを出力するように構成されます。

推奨アクションと結果

問題を解決するには、[モデルのアップグレード] をクリックします。

メモ

最上位モデルに対して [モデル階層を解析してアップグレードシーケンスを続行] チェックを実行してから、モデル参照階層の下方向に向かってチェックを実行します。

[モデルのアップグレード] をクリックすると、バーチャルバスに設定されたルートレベルの Inport ブロックおよび Outport ブロックが影響を受け、モデル内で非バーチャルバスを使用するように変換されます。ここで以下を行います。

関数プロトタイプコントロールを使用します。
[I/O 引数 step メソッド] オプションを使用して C++ コードを生成します。
または、C++ コード生成の関数仕様設定を [既定の step メソッド] に変更することもできます。
1. [コンフィギュレーションパラメーター] 、 [コード生成] 、 [インターフェイス] ペインで、[C++ クラスインターフェイスの設定] をクリックします。
2. ダイアログボックスで、[関数の仕様] パラメーターを [既定の step メソッド] に設定します。
可変次元の信号をもつバスを使用します。
Outport ブロックの信号に関連付けられた非自動ストレージクラスを使用します。
- モデルが必要とするターゲット生成ライセンスをもつ場合にのみ非自動ストレージクラスの変換が発生します。たとえば、ERT ターゲットには Embedded Coder ライセンスが必要です。
Outport ブロックが非バーチャルバスによって駆動されるエクスポート関数モデルを使用します。
修正された Outport ブロックを含むモデルを参照する Model ブロック — [モデルのアップグレード] をクリックすることで、[モデル階層を解析してアップグレードシーケンスを続行] チェックによって修正された Outport ブロックをもつモデルを参照する Model ブロックが更新されます。

参考

モデル参照の境界を越えるバスデータ

Check model for custom library blocks that rely on frame status of the signal

チェック ID: mathworks.design.DSPFrameUpgrade

このチェックによって、信号のフレーム状態に依存する、モデル内のカスタムライブラリブロックが特定されます。

説明

このチェックでは、信号のフレーム状態に依存する、モデル内のカスタムライブラリブロックを検索します。ブロックを解析し、修正を推奨し、修正が必要な理由を提示します。修正は手動で行わなければなりません。

結果と推奨アクション

条件	推奨アクション
このチェックによって、信号のフレーム状態に依存するカスタムライブラリブロックを検出します。	アップグレードアドバイザーによって提供される推奨事項に従ってください。

機能および制限事項

このチェックは、モデル内のカスタムライブラリブロックに対してのみ実行できます。

修正は手動で行わなければなりません。

このチェックは、DSP System Toolbox™ がインストールされている場合にのみ表示されます。

参考

Frame-based processing (DSP System Toolbox)

S-Function のアップグレードの問題がないかモデルをチェック

チェック ID: 'mathworks.design.CheckForSFcnUpgradeIssues'

モデルでこのチェックを使用して、S-Function のアップグレードの互換性の問題を特定します。これらの問題には、32 ビット API の使用、互換性のないオプションを指定したコンパイル、または推奨されない実数/虚数分離型の複素数 API の使用が含まれる可能性があります。一般的な問題と修正に関連する情報は、下の結果と推奨事項の節で説明します。

説明

S-Function をアップグレードして最新リリースの機能を使用する場合、このチェックはモデルをスキャンして、S-Function のアップグレードの非互換性に関する問題に対して警告します。このチェックの結果が警告またはエラーである場合、説明に従って C MEX S-Function を修正してください。

結果と推奨アクション

条件	推奨アクション
カスタムビルドの S-Function がサポートされていない。	互換性のある使用可能なオプションを指定して S-Function を再コンパイルします。詳細については、カスタムビルドの MEX ファイルが現在のリリースでサポートされていない (MATLAB)を参照してください。
S-Function が最新の API (`mex -R2018a`) でコンパイルされていない。	最新のフラグ (`mex -R2018a`) を使用して再コンパイルします。詳細については、MEX ファイルが旧式のオプションでコンパイルされた (MATLAB)を参照してください。
S-Function は 32 ビット関数を使用する。	MEX ファイルが 32 ビット関数を呼び出している (MATLAB)の手順に従ってコードを変更します。
推奨されない実数/虚数分離型の複素数 API (mexGetPi、mexSetPi、mexGetImagData、mexSetImagData) を、S-Function が使用している。	インターリーブされた複素数 API を使用して、最新のフラグ (`mex -R2018a`) でコードを再コンパイルします。詳細については、インターリーブされた複素数 API を使用するように MEX ファイルをアップグレード (MATLAB)を参照してください。
タイプセーフではない非推奨のデータ API (mxGetData、mexSetData) を、S-Function が使用している。	タイプセーフなデータ API を使用して、コードを再コンパイルします。詳細については、MEX ファイルが型なしのデータアクセス関数を呼び出している (MATLAB)を参照してください。
S-Function は将来のリリースでコンパイルされるが、現在のリリースではサポートされていない。	ファイルを再コンパイルするには、現在のリリースでサポートされていない MATLAB リリースで MEX ファイルがビルドされた (MATLAB)を参照してください。

参考

MATLAB Data in C S-Functions

ラピッドアクセラレータ信号ログのチェック

チェック ID: mathworks.design.CheckRapidAcceleratorSignalLogging

ラピッドアクセラレータモードでモデルをシミュレートするとき、グローバルで無効にされているモデル内にログ記録された信号を検出するにはこのチェックを使用します。ラピッドアクセラレータモードは信号ログをサポートします。信号ログをグローバルで有効にするにはこのチェックを使用します。

説明

このチェックはモデルをスキャンし、シミュレーションがラピッドアクセラレータモードであるかどうか、およびモデルに信号ログをもつ信号が含まれるかどうかを確認します。チェックがインスタンスを検出し、信号ログがグローバルで無効になっている場合、信号ログをグローバルで有効にするオプションが表示されます。

結果と推奨アクション

条件	推奨アクション
シミュレーションモードがラピッドアクセラレータでない。	なし信号ログはラピッドアクセラレータモードで有効にすることができます。
シミュレーションモードがラピッドアクセラレータである。アップグレードアドバイザーは信号ログが有効になっている信号を検出しなかった。	なしモデルは信号ログを使用しません。信号のログを記録する場合は信号に対する信号ログをグローバルで有効にします。
シミュレーションモードがラピッドアクセラレータである。アップグレードアドバイザーは信号ログが有効になっている信号を検出した。ただし、信号ログのグローバル設定は無効になっていた。	信号ログを有効にして信号のログを記録する場合は、信号ログをグローバルで有効にします。
信号ログが既にグローバルで有効になっていた。	なし

アクション結果

[変更] を選択すると、モデルでグローバルに信号ログが有効になります。

参考

ブロックへのバーチャルバス入力のチェック

チェック ID: mathworks.design.VirtualBusUsage

一連のブロックについてバス入力信号をチェックします。

説明

一連のブロックについてバス入力信号をチェックします。

R2015b 以降では、非バスまたは非バーチャルバス入力を必要とするブロックへのバーチャルバス信号入力はエラーを発生させる可能性があります。出力データ型としてバスオブジェクトを指定する可能性があるブロックの例には、Bus Creator ブロックやルートの Inport ブロックがあります。この状況でバーチャルバス入力がある場合にエラーを発生させるブロックには次のものがあります。

Assignment
Delay
Delay ブロックは、[ブロックパラメーター] ダイアログボックスが次のように使用された場合のみ、エラーを引き起こす可能性があります。
- MATLAB 構造体またはゼロである初期条件を設定する。
- [状態名] の値を指定する。
Permute Dimension
Reshape
Selector
Unit Delay
Unit Delay ブロックは、[ブロックパラメーター] ダイアログボックスが次のように使用された場合のみ、エラーを引き起こす可能性があります。
- MATLAB 構造体またはゼロである初期条件を設定する。
- [状態名] の値を指定する。
Vector Concatenate

結果と推奨アクション

条件

推奨アクション

バーチャルバス信号が次のブロックに入力されている:

Assignment
Delay (MATLAB 構造体またはゼロである初期条件をダイアログから指定し、[状態名] の値が空でない場合)
Permute Dimension
Reshape
Selector
Unit Delay (MATLAB 構造体またはゼロである初期条件を指定し、[状態名] の値が空でない場合)
Vector Concatenate

アップグレードアドバイザーで [変更] をクリックします。

チェックにより Bus to Vector ブロックが挿入され、バーチャルバス入力信号からベクトル信号への変換が試みられます。アップグレードアドバイザーが特定した修正できない問題について、手動でモデルを変更します。詳細については、ベクトルとして使用されるバスの修正を参照してください。

アクション結果

[変更] をクリックすると、ブロックの入力端子に Bus to Vector ブロックが挿入されます。

多くのモデルでは、アップグレードアドバイザーを実行すると、バス信号がベクトルとして扱われないようにモデルが変更されます。ただし、一部のモデルでは、このチェックを実行した後も互換性問題が発生する可能性があります。こうした問題を解決するには、モデルを手動で変更します。

モデルに変更を加えていなくても、アップグレードアドバイザーを使用してモデルをコンパイルした後に、モデルを保存する必要がある (モデルが変更未保存 (ダーティ) である) ことが、Simulink エディターによって示される場合があります。このモデルでこの問題が再発生しないようにするには、モデルを保存します。

モデル化パターン	問題	解決法
[データ型] が `[Inherit: auto]` に設定された Data Store Memory ブロック	バス信号データの読み取りまたは書き込みを行う Data Store Read ブロックまたは Data Store Write ブロックに関連する Data Store Memory ブロックはバスオブジェクトを使用しなければなりません。	Data Store Memory ブロックで、[データ型] 信号属性を `[Bus: <BusObject>]` に設定します。
入力のバス型に一致する Signal Conversion ブロックの [出力] パラメーター	[出力] パラメーターが `[非バーチャルバス]` に設定された Signal Conversion ブロックがバーチャルバス入力を要求する。 [出力] パラメーターが `[バーチャルバス]` に設定された Signal Conversion ブロックが非バーチャルバス入力を要求する。	入力信号のコピーを作成するには、[出力] を `[信号のコピー]` に設定します。
複数のバス入力をもつ Merge、Switch、または Multiport Switch ブロック	複数のバス入力をもつ Merge、Switch、または Multiport Switch ブロックで、これらの入力の名前と階層が同じであることが要求される。	モデルを再構成し、バス入力が同じ名前と階層をもつようにします。
バーチャルバスを出力し、[端子の次元] の値を指定するルート Inport ブロック	バーチャルバスに出力するルート Inport ブロックが次元を継承しなければならない。	Inport ブロックの [端子の次元] 信号属性を `[1]` または `[-1]` (継承) に設定します。
非バーチャルバス入力を使用する Mux ブロック	Mux ブロックが非バーチャルバス信号を受け取れない。	出力を配列として扱うには、Mux ブロックを Vector Concatenate ブロックに置き換えます。バーチャルバス出力を使用する場合は、Bus Creator ブロックを使用して信号を結合します。
バーチャルバス信号入力を使用しない Bus to Vector ブロック	非バス信号は Bus to Vector ブロックを必要としない。	Bus to Vector ブロックを削除します。
バーチャルバス入力を使用する Assignment ブロック	アップグレードアドバイザーが Assignment ブロックの `Y0` 端子バス入力をベクトルに変換する。	Assignment ブロックの前に Bus to Vector ブロックを追加します。
非バーチャルバスを使用する S-Function	Level-2 C S-Function ではない S-Function が非バーチャルバス信号をサポートしない。	S-Function を Level-2 C S-Function に変更します。 S-Function Builder ブロックを使用して Level-2 C S-Function を作成することを検討してください。
パラメーター化されたデータ型を使用する Stateflow チャート	Stateflow チャートでは、データ型がバスオブジェクトの場合、他の入力または出力によって、入力または出力のデータ型をパラメーター化できない。	パラメーター化された端子に対して、[データ型] を `[Bus: <object name>]` に設定されている Constant ブロックを使用します。
Stateflow チャートでバス演算が実行されるサブシステム	Stateflow チャートのサブシステム内の Inport ブロックは、信号がバスの場合にバスオブジェクトのデータ型を要求します。	Inport ブロックで、[データ型] を `[Bus: <object name>]` に設定します。
バスソースとして使用される Ground ブロック	Ground ブロックの出力信号をバスのソースにできない。	[定数値] が 0 に設定され、[出力データ型] 信号属性が `[Bus: <object name>]` に設定されている Constant ブロックを使用します。
単一の要素のバスオブジェクトデータ型をもつルートの Outport ブロック	バスオブジェクトが Outport ブロックのデータ型として指定されている場合、Outport ブロックへの入力はバスでなければなりません。	Outport ブロックで、[データ型] を `Inherit: auto` に設定します。

参考

一定のサンプル時間でルートの出力端子をチェック

チェック ID: mathworks.design.CheckConstRootOutportWithInterfaceUpgrade

AUTOSAR ターゲット、関数プロトタイプのコントロールまたはモデル C++ クラスインターフェイスで使用された一定のサンプル時間でルートの出力端子を特定するにはこのチェックを使用します。

説明

AUTOSAR ターゲット、関数プロトタイプのコントロールまたはモデル C++ クラスインターフェイスを使用する場合、一定のサンプル時間でのルートの出力端子はサポートされません。この条件でルート Outport ブロックを特定し、推奨されているように変更するには、このチェックを使用します。

結果と推奨アクション

条件	推奨アクション
AUTOSAR ターゲット、関数プロトタイプのコントロールまたはモデル C++ クラスインターフェイスで使用された一定のサンプル時間をもつルートの出力端子。	以下のいずれかを検討してください。ブロックのサンプル時間を基本サンプル時間に設定します。一定サンプル時間のソースを特定し、そのサンプル時間を基本サンプル時間に設定します。ブロックの前に継承されたサンプル時間 (-1) をもつ Rate Transition ブロックを配置します。

参考

アップグレードアドバイザーの使用.

モデルの階層構造を解析してアップグレードシーケンスを続行

チェック ID: com.mathworks.Simulink.UpgradeAdvisor.UpgradeModelHierarchy

子モデルをチェックし、順を追ってアップグレードチェックを行います。

説明

このチェックでは、このモデルの子モデルを特定し、コンパイルなしのチェックとコンパイルチェックの両方を実行するアップグレードチェックを順番に行います。アップグレードアドバイザーには、これらのタスクを支援するツールが用意されています。

チェックにより子モデルが検出された場合、それぞれの子モデルでアップグレードアドバイザーを実行し、アップグレードシーケンスを続行します。モデルの階層構造がある場合、それぞれの子モデルを順番にチェックして更新しなければなりません。
子モデルがない場合でも、コンパイルなしのチェックとコンパイルチェックの両方を実行するまでチェックシーケンスを続行する必要があります。

アップグレードチェックは次の順序で実行しなければなりません。コンパイル時の情報が不要でブロック線図の更新を伴わない項目から先にチェックし、その後にコンパイルチェックを実行します。

[アップグレードシーケンスを続行] をクリックして次のチェックを実行します。子モデルがある場合、これにより次のモデルが開きます。チェックがパスするまで [アップグレードシーケンスを続行] をクリックし続けます。

結果と推奨アクション

条件推奨アクション

子モデルが見つかった [アップグレードシーケンスを続行] をクリックして次のチェックを実行します。子モデルがある場合、これによって現在のアップグレードアドバイザーのセッションが閉じられ、階層内の次のモデルでアップグレードアドバイザーが開きます。

子モデルがないが、より多くのチェックを実行する子モデルがない場合、[アップグレードシーケンスを続行] をクリックし、コンパイルチェックを選択してアップグレードアドバイザーを更新します。コンパイルチェックはブロック線図の更新をトリガーします (^ でマークされます)。次のチェックを実行し、推奨されるアクションを実行します。このチェックに戻ったら、このチェックがパスするまで [アップグレードシーケンスを続行] をクリックします。

ヒント

モデルの階層構造をアップグレードするためのベストプラクティスは、リーフモデルからルートモデルまで順に各モデルをチェックしてアップグレードしていくことです。

[アップグレードシーケンスを続行] をクリックすると、アップグレードアドバイザーは階層内で検出できる最下層のリーフモデルを開きます。その後の手順で、リーフモデルからルートモデルに順に階層をアップグレードしていきます。

アップグレードアドバイザーを開くとき、選択されているチェックはコンパイル時の情報を必要とせず、ブロック線図の更新をトリガーしません。既定では、ブロック線図の更新をトリガーするチェックは、実行するように選択されておらず、^ の印が付いています。階層でアップグレードアドバイザーを使用する場合、[アップグレードシーケンスを続行] を繰り返しクリックして、一連の解析を進めます。

アップグレードアドバイザーは、それぞれのモデルおよびライブラリをリーフからルートに向かって順に開き、コンパイルなしのチェックを選択します。これらのチェックを実行し、推奨されたアクションがある場合はそれを行い、[アップグレードシーケンスを続行] をクリックして次のモデルを開き、この作業を繰り返します。
階層のルートに到達すると、アップグレードアドバイザーは各モデルを同じ順序でもう一度開き (ライブラリは開きません)、モデルのコンパイルが必要なチェックのみを選択します。これらのチェックを実行し、推奨されたアクションがある場合はそれを行い、[アップグレードシーケンスを続行] をクリックして次のモデルを開きます。階層の最後に到達しこのチェックをパスするまで続行します。

参考

データストアへのアクセスのチェック

チェック ID: mathworks.design.ConflictsForDataStoreReadWriters

データストアに対する読み取りおよび書き込みの際の実行順序に注意が必要になる可能性があることを特定します。

説明

同じデータストアに読み取りおよび書き込みを行うブロックの実行順序によって、シミュレーション結果が変化する可能性があります。同じ階層のブロックが同じデータストアにアクセスする場合、その実行順序は確定的ではありません。

結果と推奨アクション

条件	推奨アクション
Data Store Memory ブロックが同じ階層内の複数のブロックからアクセスされる。	ブロックの実行順序を強制するために、次を行うことを検討します。ブロック間にデータ依存性を追加する。ブロックの優先順位を設定する。ブロックを個別の Function-Call Subsystem ブロック内に移動し、スケジュールを設定する。