デッドロジックの検出

モデルをシミュレートする前に、デッドロジックの検出を使用して、デッドロジックについてモデルを解析します。Simulink^® Design Verifier™ におけるデッドロジックの設計エラー検出には、次の 2 つの解析方法があります。

デッドロジック (一部):このオプションを選択した場合、Simulink Design Verifier は、浮動小数点の有理近似などの近似を行わずに、またはループの近似中にモデルを解析します。詳細については、Role of Approximations During Model Analysisを参照してください。このオプションを使用すると、Simulink Design Verifier でアクティブロジックまたは未判定のオブジェクティブがレポートされず、モデルのデッドロジックが特定されない場合があります。
このオプションは次で使用できます。
- モデルアドバイザー。モデルアドバイザーを使用した設計エラーのチェックを参照してください。
- [コンフィギュレーションパラメーター] ダイアログボックスの [Design Verifier]、[設計エラー検出] ペインで、次を行います。
網羅的解析を実行:このオプションを使用すると、Simulink Design Verifier は、デッドロジックと未判定のオブジェクティブに加えて、アクティブロジックをレポートします。このオプションにより、場合によっては追加のデッドロジックが特定または検出される場合があります。解析では近似が使用され、それに応じてレポートされます。
このオプションは、[コンフィギュレーションパラメーター] ダイアログボックスの [Design Verifier]、[設計エラー検出] ペインで使用できます。

デッドロジックの部分チェックを実行

モデルアドバイザーを使用していない場合、デッドロジックを検出するには、次を行います。

[Design Verifier] タブの [モード] セクションで、[設計エラー検出] を選択します。
[エラー検出の設定] をクリックします。
[コンフィギュレーションパラメーター] ダイアログボックスの [Design Verifier]、[設計エラー検出] ペインで、次を行います。
1. デッドロジック (一部)オプションを有効にします。
2. 網羅的解析を実行オプションが選択されている場合、オフにします。
3. 解析するカバレッジオブジェクティブを [MCDC] に設定します。ドロップダウンメニューから選択できるオプションは、[判定]、[条件判定]、および [MCDC] です。
[OK] をクリックしてこれらの設定を適用し、[コンフィギュレーションパラメーター] ウィンドウを閉じます。
[設計エラーの検出] をクリックします。

デッドロジックの網羅的解析を実行

[Design Verifier] タブの [モード] セクションで、[設計エラー検出] を選択します。
[エラー検出の設定] をクリックします。
[コンフィギュレーションパラメーター] ダイアログボックスの [Design Verifier]、[設計エラー検出] ペインで、次を行います。
1. デッドロジック (一部)オプションを有効にします。
2. 網羅的解析を実行オプションが選択されている場合、オフにします。
3. 解析するカバレッジオブジェクティブを [MCDC] に設定します。ドロップダウンメニューから選択できるオプションは、[判定]、[条件判定]、および [MCDC] です。
[OK] をクリックしてこれらの設定を適用し、[コンフィギュレーションパラメーター] ダイアログボックスを閉じます。
[設計エラーの検出] をクリックします。

デッドロジック解析の実行および結果の確認

この例では、sldvSlicerdemo_dead_logic モデル例でのデッドロジックの検出方法を説明します。デッドロジックの検出では、モデル要素が非アクティブで残される原因となる、モデル内の到達不可能なオブジェクティブを見つけます。

sldvSlicerdemo_dead_logic モデルを開きます。

openExample('slcheck/AnalyzeTheDeadLogicExample',...
'supportingFile','sldvSlicerdemo_dead_logic');

[Design Verifier] タブの [モード] セクションで、[設計エラー検出] を選択します。
[エラー検出の設定] をクリックします。
[コンフィギュレーションパラメーター] ダイアログボックスの [Design Verifier]、[設計エラー検出] ペインで、次を行います。
1. デッドロジック (一部)オプションを有効にします。
2. 網羅的解析を実行オプションが選択されている場合、オフにします。
3. 解析するカバレッジオブジェクティブを [MCDC] に設定します。ドロップダウンメニューから選択できるオプションは、[判定]、[条件判定]、および [MCDC] です。
[設計エラーの検出] をクリックします。
デッドロジックについてモデルが解析され、結果が [結果の概要] ウィンドウに表示されます。結果には、32 個のオブジェクティブ中 10 個がデッドロジックであることが示されています。
[解析結果をモデル上で強調表示] をクリックします。デッドロジックのモデル要素は赤で強調表示されます。
Controller subsystem を開き、赤で強調表示された OR ブロックをクリックします。結果インスペクターにはデッドロジックの概要が表示されます。
set 入力は 1 と等しいため、OR ブロックの input port 1 は [true のみ可能] となります。ステータスは、input port 1 の偽条件がデッドロジックであることを示しています。同様に、オブジェクティブが実行されないため、input port 2 は unreachable であり、これはデッドロジックです。
[結果の概要] ウィンドウで [HTML] をクリックして、詳細な解析レポートを参照します。
レポートには、モデル内でデッドロジックとなるすべての結果の概要が表示されます。
デッドロジック
詳細な解析結果は、Simulink Design Verifier データファイルの管理の DeadLogic field に格納されます。このデータファイルは、結果のさらなる解析に使用できます。

提案:

次の手順を実行すると、モデルスライサーを使用して特定のブロックに影響を与える可能性のあるパラメーターを確認できます。

a. モデルスライサーを使用して SLSlicerAPI.ParameterDependence のオブジェクトを作成します。

slicerObj = slslicer('sldvSlicerdemo_dead_logic');
pd = slicerObj.parameterDependence;

b. "Discrete-Time Integrator" ブロックに影響を与えるパラメーターを見つけます。

param = parametersAffectingBlock(pd, 'sldvSlicerdemo_dead_logic/Controller/PI Controller/Discrete-Time Integrator');

上の図には、"Discrete-Time Integrator" ブロックに影響を与える関数 "parametersAffectingBlock" で返されたパラメーターが示されています。関数で返されるパラメーターは、調整用と考えることができます。

c. クリーンアップ操作を実行してモデルのコンパイル状態を終了します。

slicerObj.terminate;