バリアントブロックを含むモデルでのバリアントコンフィギュレーションの解析

バリアントモデルには,これに関連付けられている1つ以上のバリアントコンフィギュレーションを設定できます。バリアントマネージャーを使用して、バリアントコンフィギュレーションを作成できます。各バリアントコンフィギュレーションには、モデル内のバリアントの選択をアクティブにする一連のバリアント制御変数値が含まれます。各バリアントコンフィギュレーションは、モデルの固有の実装を生成するために使用できます。モデル内で使用されているバリアント制御変数の数に応じて、バリアントコンフィギュレーションの数は多くなることがあります。バリアントコンフィギュレーションの数が多いと、すべてのバリアントの選択が少なくとも 1 回アクティブ化されたこと、シミュレーションとコード生成に対してモデルが完全にカバーされていることを確認するのが困難になる可能性があります。また、実装されたアクティブなモデルが異なるバリアントコンフィギュレーション間で異なることを確認することも困難になります。バリアントコンフィギュレーション解析ツールを使用すると、モデルのさまざまなバリアントコンフィギュレーションを比較できます。さらに、特定のバリアントコンフィギュレーションに使用されている依存モデルおよびライブラリについての情報を取得できます。

バリアントコンフィギュレーション解析ツールは、さまざまなバリアントコンフィギュレーションで使用されているブロックの判別にも役立ちます。未使用のブロックや、バリアント領域内にあって常に使用されるブロックを判別できます。未使用ブロックは赤で強調表示されます。これは、モデルの未テストでカバーされていない部分を示しています。ヒートマップ表示は、さまざまなバリアントコンフィギュレーション間で、アクティブな実装モデルの類似点と相違点を判別するのに役立ちます。解析結果は、バリアントコンフィギュレーションを調整し、モデルを更新し、すべてのバリアントコンフィギュレーションでフルシミュレーションカバレッジを提供するために使用できます。

バリアントコンフィギュレーションをもつモデルの解析

バリアントブロックを含むモデルを開きます。たとえば、バリアントコンフィギュレーション解析です。

このモデルには、センサーのさまざまなベンダーソースと、センサー入力に基づくさまざまなコントローラー実装が含まれています。ベンダーセンサーの選択は、Variant SourceブロックとVariant Sinkブロックでモデル化されています。異なるコントローラーの選択は、バリアントサブシステムを使用してモデル化されています。
バリアントのバッジを右クリックして[バリアントマネージャーで開く]を選択します。バリアントマネージャーが開き、事前定義されたコンフィギュレーションが表示されます。あるいは、バリアントブロックを選択し、ツールストリップの[バリアント]タブで[バリアントマネージャー]を選択します。
[解析]をクリックします。[バリアントコンフィギュレーション解析] ダイアログボックスが開きます。
[解析モード]で、目的のオプションを選択します。
- [バリアントコンフィギュレーションの指定]: 必要なバリアントコンフィギュレーションを選択するか、[名前付きコンフィギュレーション]を選択してすべてのコンフィギュレーションを選択します。
- [バリアント制御値の指定]: このオプションを選択すると、異なるコンフィギュレーションに対応する複数の変数グループを作成することができます。新しい変数グループを作成するには、[新しい変数グループ]をクリックして、バリアント制御変数の値を設定します。バリアント制御値を指定するか、またはドロップダウンリストから[無視されます]を選択することができます。[無視されます]を選択した場合、そのバリアント制御変数はモデルの解析中に考慮されません。
[解析]をクリックします。解析バリアントコンフィギュレーションのレポートが開きます。

メモ

この例では、[解析モード]でオプション[バリアントコンフィギュレーションの指定]が選択されています。

レポートには、モデルの階層構造のツリーテーブルビューと解析済みのすべてのバリアントコンフィギュレーションが表示されます。テーブルの各行はモデル内のブロックに対応し、各列はバリアントコンフィギュレーションを表します。チェックマークは、対応するブロックが対応するバリアントコンフィギュレーションでアクティブであることを示しています。赤で強調表示されたエントリは、その特定のバリアントコンフィギュレーションについてブロックが非アクティブであることを示しています。たとえば、上の図で、Vendor AブロックはバリアントコンフィギュレーションVendorACtrlLinear、VendorACtrlFuzzy、VendorACtrlNonLinearでアクティブであり、バリアントコンフィギュレーションVendorBCtrlFuzzy、VendorBCtrlLinear、VendorBCtrlSecondOrder、VendorBCtrlNonLinearで非アクティブです。

レポートの注釈 ("c:#") はバリアント条件に対応しています。バリアント条件は、アクティブなバリアントコンフィギュレーションに依存します。図には、注釈と条件のマッピングが示されています。バリアント条件は、ブロックがあるバリアントコンフィギュレーションについてなぜアクティブなのかを理解するのに役立ちます (バリアント条件は、コンフィギュレーションで定義された制御変数の値に基づいて評価されます)。

[バリアントコンフィギュレーション解析]ウィンドウ上のコントロールによって、次のアクションを実行できます。

ブロックの検索。
結果のフィルター処理によるブロックの選択的な表示。
解析されたブロックの選択的な表示。

ブロックの表示

[バリアント解析]ウィンドウで以下を行って,ブロックを選択的に表示します。

モデル内のバリアントブロックのみを表示するには、[バリアント]を選択します。
モデル内のすべての階層ブロック (Subsystems ブロックまたはModelブロックなど) を表示するには、[階層的]を選択します。このビューを使用すると、モデル全体を見る代わりに、サブシステムまたはモデル参照を 1 つずつ調べることができます。
モデル内のすべてのブロックを表示するには、[すべてのブロック]を選択します。

ブロックのアクティブ性

[バリアントコンフィギュレーション解析]ウィンドウで、ブロックのアクティブ性ごとにブロックを選択的に表示します。

モデル内で常にアクティブなブロックを表示するには、[常にアクティブ]を選択します。
選択されたコンフィギュレーションの、一部のコンフィギュレーションではアクティブであり、別のコンフィギュレーションではアクティブではないブロックを表示するには、[部分的にアクティブ]を選択します。
モデル内で常にアクティブでないブロックを表示するには、[常に非アクティブ]を選択します。これらのブロックが追加で赤で強調表示され、モデルの未使用で修正が必要な部分を示します。

たとえば、以下の図では、未使用のブロックが複数あるモデルを示しています。未使用ブロックを表示するため、[常に非アクティブ]オプションが選択されています。

Linear_Control内のSecond orderコントローラー内のブロックとF1_Unsatフィルター内のブロックは未使用です。これらの未使用ブロックをバリアントコンフィギュレーションの少なくとも 1 つでアクティブモデルの一部にするには、モデルを変更するか、バリアントコンフィギュレーションを更新します。

以下の図は、2 つのまったく同じバリアントコンフィギュレーションを含むモデルを示しています。この結果を得るために[部分的にアクティブ]オプションが選択されています。

バリアントコンフィギュレーションVendorBCtrlLinearとVendorBCtrlSecondOrderの間に違いは一切ありません。これは、この両コンフィギュレーションから得られるアクティブモデルは同じになるということです。これを解決するには、バリアントコンフィギュレーションを更新するか、モデルを適切に更新します。

注釈の表示

テーブル内の注釈は、バリアント条件に対応しています。バリアント条件は、アクティブなバリアントコンフィギュレーションに依存しています。バリアント条件は、ブロックが与えられたバリアントコンフィギュレーションについてアクティブであるかを理解するのに役立ちます。バリアント条件は、コンフィギュレーションで定義された制御変数の値に基づいて評価されます。