指定された最小値および最大値の違反チェック

設計エラー検出解析時に、モデル全体の中間信号および出力端子に指定された最小値および最大値がチェックされます。これらの値により "設計範囲" が定義されます。

解析では、指定された最小値および最大値が次についてチェックされます。

Simulink^® ブロック出力。ただし、次の節で説明される制限を除く
Simulink.Signal オブジェクト
Stateflow^® データオブジェクト
MATLAB^® のコード生成のデータオブジェクト
グローバルデータストアの書き込み

解析により信号が設計範囲を超えることが検出されると、その結果によりモデルでエラーが発生した場所が特定されます。さらに、エラーがどのように発生したかを示すテストケースを含むハーネスモデルを生成できます。

指定された最小値および最大値の違反チェックに関する制限

指定された最小値および最大値を超えるかどうかをチェックするモデルを解析する場合、次については最小値および最大値をチェックできません。

出力が Selector ブロックに接続された任意の Mux ブロック
Merge ブロック入力
この制限を回避するには、Merge ブロック出力で Simulink.Signal オブジェクトを使用し、Simulink.Signal オブジェクト上でこの範囲を指定します。

メモ

Simulink Design Verifier™ 解析が入力端子において、指定された最小値および最大値を処理する方法の詳細については、最小値と最大値の入力制約を参照してください。

この例について

この節では、次について設計の最小値および最大値が指定されているモデルを作成および解析します。

入力端子
2 つの中間ブロックの出力端子

設計エラー検出解析により、出力値が設計範囲を超えるブロックを特定します。この例では、解析でこのエラーが検出された場合、解析を続行する際に、最小および最大指定値がどのように使用されるかを示します。

モデル例の作成

このモデル例を作成します。

MATLAB ツールストリップの [ホーム] タブで、[新規作成] 、 [Simulink モデル] を選択します。

Simulink Commonly Used Blocks ライブラリから、次のブロックをモデルに追加して、指定されたパラメーター値を代入します。

ブロック	タブ	パラメーター	値
Inport	信号属性	最小値	`0`
Inport	信号属性	最大値	`5`
Gain	メイン	Gain	`5`
Gain	信号属性	出力の最小値	`0`
Gain	信号属性	出力の最大値	`20`
Gain	信号属性	出力データ型	`int16`
Saturation	メイン	上限	`25`
Saturation	メイン	下限	`-25`
Saturation	信号属性	出力の最小値	`-25`
Saturation	信号属性	出力の最大値	`25`
Outport	変更なし

次に示すように、4 つのブロックを接続します。
指定された最小値と最大値を表示するには、[デバッグ] タブで、[情報のオーバーレイ] 、 [信号のデータ範囲] を選択します。
[モデル化] タブで、[モデル設定] をクリックします。
[コンフィギュレーションパラメーター] ダイアログボックスの [ソルバー] ペインの [ソルバーの選択] で、次を行います。
1. [タイプ] を [固定ステップ] に設定します。
  Simulink Design Verifier ソフトウェアは、可変ステップソルバーをサポートしません。
2. [ソルバー] を [離散 (連続状態なし)] に設定します。
[Design Verifier] ペインで、[モード] を [設計エラー検出] に設定します。
[Design Verifier] 、 [設計エラー検出] ペインで次のようにします。
1. [指定された最小値と最大値の違反] を選択します。
2. [整数のオーバーフロー] および [ゼロ除算] パラメーターをオフにします。
この例では、中間の最小値および最大値の違反のみをチェックします。
これらの設定を保存して [コンフィギュレーションパラメーター] ダイアログボックスを終了するには、[OK] をクリックします。
モデルを ex_interim_minmax という名前で保存します。

モデルの解析

指定された最小値および最大値に違反する中間信号を特定するモデル例を解析するには、設計エラー検出解析を実行します。

[Design Verifier] タブで [設計エラーの検出] をクリックします。

解析が完了すると、

解析結果に基づいてモデルが強調表示されます。
Simulink Design Verifier の [結果] ダイアログボックスが開き、解析の概要が表示されます。

モデルの結果のレビュー

モデルウィンドウで、Gain ブロックはレッド、Saturation ブロックはグリーンで表示されます。これが意味することは、

Gain ブロックに関連付けられた 1 つ以上のオブジェクティブが反証された。この例では、厳密に 1 つのオブジェクティブが反証されています。
Saturation ブロックに関連付けられたすべてのオブジェクティブが達成された。この例では、厳密に 1 つのオブジェクティブが達成されています。

これらの結果を理解するには、以下を行います。

Gain ブロックをクリックします。
Simulink Design Verifier の [結果] ウィンドウには、出力の設計範囲が [0..20] であったことが表示されますが、解析ではエラーが検出され、そのエラーを示すテストケースが生成されています。入力ブロックの設計範囲は [0..5] であるため、Gain ブロックへの入力が 5 の場合、出力は 25 になります。これはその端子の指定された最大値を超えています。
解析では、どのように設計範囲を超えたかを理解しやすいように、派生範囲が計算されて表示されます。
Saturation ブロックをクリックします。
Simulink Design Verifier の [結果] ウィンドウには、Saturation ブロックの出力が設計範囲 [–25..25] を超えなかったことが示されます。Saturation ブロックへの入力は、解析により Gain ブロックから伝播された派生範囲 [0..25] を超えることはありませんでした。

ハーネスモデルのレビュー

解析が完了すると、エラーとなるテストケースを含むハーネスモデルを作成できます。

モデル例で、Gain ブロックで設計範囲エラーが発生するテストケースを表示します。

解析が完了してモデルが強調表示されたら、Gain ブロックをクリックします。
Simulink Design Verifier の [結果] ウィンドウで、[テストケースを表示] をクリックします。
ex_interim_minmax_harness という名前のハーネスモデルが作成され、テストケースを含むハーネスモデルの Signal Editor ブロックが開きます。
Signal Editor ブロックにおいて、信号値が 5 となるテストケースでは、Gain ブロックの出力は 25 になり、指定された最大値の 20 を超えます。
このテストケースのシミュレーションを実行する前に、[コンフィギュレーションパラメーター] ダイアログボックスの [診断]、[データ有効性] ペインで [シミュレーション範囲のチェック] を [警告] または [エラー] に設定します。
このパラメーターの設定により、Simulink がシミュレーションの実行時に指定された最小値または最大値を超える信号を検出した場合に実行する診断アクションが指定されます。
- [警告] を指定した場合、シミュレーションは警告メッセージを表示して続行します。
- [エラー] を指定した場合、シミュレーションはエラーメッセージを表示して停止します。
[OK] をクリックして変更を保存し、[コンフィギュレーションパラメーター] ダイアログボックスを閉じます。
Signal Builder ブロックウィンドウで、[シミュレーションの開始] をクリックしてこのテストケースを含むモデルのシミュレーションを実行します。
MATLAB ウィンドウには、想定したとおりに、Gain ブロックの出力値が指定された最大値を超えたという警告またはエラーが表示されます。

解析レポートのレビュー

ex_interim_minmax モデルの解析レポートに関する詳細情報を含む HTML レポートを生成することもできます。このレポートを作成するには、Simulink Design Verifier の [結果] ウィンドウで [詳細な解析レポートを生成] をクリックします。解析レポートはブラウザーで開きます。

この解析レポートの「設計エラー検出オブジェクティブのステータス」の章には詳細な結果が、次の 2 つのカテゴリで表示されます。

有効と証明されたオブジェクティブ — Saturation ブロックの出力値は常に設計範囲内にあります。
テストケースにより反証されたオブジェクティブ — Gain ブロックの出力値は設計範囲に違反しています。