整数オーバーフローおよびゼロ除算エラーの検出

以下の節では、sldvdemo_cruise_control_fxp_fixed モデルの整数オーバーフローおよびゼロ除算エラーを解析する方法について説明します。

モデルの解析

モデルを開き、整数オーバーフローおよびゼロ除算エラーがあるかどうかをチェックします。

1.sldvdemo_cruise_control_fxp_fixed モデルを開きます。

open_system('sldvdemo_cruise_control_fxp_fixed');

2.[Design Verifier] タブの [準備] セクションのモード設定のドロップダウンメニューから、[設定] をクリックします。

3.[コンフィギュレーションパラメーター] ダイアログボックスで、[Design Verifier]、[設計エラー検出] を選択します。

4.[設計エラー検出] ペインで以下を選択します。

整数のオーバーフロー
ゼロ除算

5.[コンフィギュレーションパラメーター] ダイアログボックスの [診断]、[データ有効性] ペインにおいて [信号] の [オーバーフロー時にラップ]、[信号] の [オーバーフローで飽和]、および [パラメーター] の [オーバーフローの検出] の設定を [エラー] にします。

6.[OK] をクリックしてそれらの設定を保存し、[コンフィギュレーションパラメーター] ダイアログボックスを閉じます。

7.[モード] セクションで、[設計エラー検出] を選択します。

8.[設計エラーの検出] をクリックします。

解析が完了すると、

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

解析結果のレビュー

モデルの結果のレビュー

以下の手順からわかるように、派生範囲を使用することで取り得る信号値が特定され、エラーの原因把握に役立ちます。

1.sldvdemo_cruise_control_fxp_fixed モデルの最上位で、Fixed-Point Controller サブシステムをクリックします。

Simulink® Design Verifier™ の [結果] ウィンドウに、解析で計算された Outport の取り得る信号値の派生範囲が表示されます。

Outport 1 (throt) の値の範囲は –2.6101 ～ 2.6096 です。
Outport 2 (target) の値の範囲は 0 ～ 255.9960 です。

2.sldvdemo_cruise_control_fxp_fixed モデルのそれぞれの Outport ブロックをクリックして、信号範囲の値が同じであることを確認します。

3.Fixed-Point Controller サブシステムを開きます。

このサブシステムの 2 つのオブジェクトがレッドの輪郭で表示されています。PI Controller サブシステムはグリーンの輪郭で表示されています。

4.レッドの輪郭の Sum ブロックをクリックします。これは PI Controller サブシステムにエラー入力を提供しています。

この Sum ブロックはオーバーフローエラーを生成できます。この解析では、Sum ブロックの出力が [–128..127.9960] の範囲を超える計算結果となり得るテストケースが見つかりました。

5.このエラーについてより詳細に理解するには、Sum ブロックへの入力を提供する 2 つのブロックをクリックします。Simulink® Design Verifier™ の [結果] ウィンドウに、その派生範囲が表示されます。

Bus ブロックからの 3 番目の Outport の範囲は、[0..256] です。
Switch ブロックからの Outport の範囲は、[0..256] です。

これらの信号範囲の加算操作により Sum ブロックの Outport の範囲 [–128..128] を超える値が算出される可能性があることがわかります。

解析により、Sum ブロックのオーバーフローエラーがレポートされます。解析はこのエラーを伝播せず、Sum ブロック出力がその後の計算で有効範囲内になると仮定します。

6.グリーンの輪郭の PI Controller サブシステムをクリックします。PI Controller サブシステム内のブロックは、オーバーフローまたはゼロ除算エラーを生成できません。PI Controller サブシステムが解析される際に、Sum ブロックからのオーバーフローは無視され、サブシステムへの入力は有効であると仮定されます。

sldvdemo_cruise_control_fxp_fixed モデルは開いたままにしておきます。次のセクションでは、Sum ブロックのオーバーフローエラーを生成するテストケースを確認するためのハーネスモデルを作成します。