解析でサポートされていない Simulink ブロック

Simulink^® Design Verifier™ がモデル要素を解析できない場合、ツールはその要素をスタブ化し、代わりにそのスタブを使用してモデルの解析を続行しようとします。詳細については、自動スタブによる非互換性処理を参照してください。ただし、スタブ化できない場合、Simulink Design Verifier はそのモデル要素がサポートされず、モデルは解析と互換性がないとみなします。

以下のセクションでは、解析がサポートされる/されないモデル要素について、サポートされないブロックやその他の制限事項を含めて説明します。

Commonly Used Blocks ライブラリ

Commonly Used Blocks ライブラリには他のライブラリのブロックが含まれます。Commonly Used Blocks ライブラリのサポートされないブロックを、次の各ライブラリの下に示します。

Continuous ライブラリ

Simulink Design Verifier は、Descriptor State-Space ブロックを除き、Continuousライブラリのブロックをサポートしません。

Discontinuities ライブラリ

Simulink Design Verifier は Discontinuities ライブラリのすべてのブロックをサポートします。

Discrete ライブラリ

Simulink Design Verifier はDiscreteライブラリの Discrete State-Space ブロックと Discrete Zero-Pole ブロックをサポートしません。

Logic and Bit Operations ライブラリ

Simulink Design Verifier は、Logical Operator ブロックが 100 を超える入力をもつときにそのブロックをサポートしません。

Lookup Tables ライブラリ

Simulink Design Verifier は、[内挿法] または [外挿法] が [Akima スプライン] に設定されているときに次のブロックをサポートしません。

1-D Lookup Table
2-D Lookup Table
n-D Lookup Table

Math Operations ライブラリ

Simulink Design Verifier はMath Operationsライブラリのすべてのブロックをサポートします。

Model Verification ライブラリ

Simulink Design Verifier はModel Verificationライブラリのすべてのブロックをサポートします。

Model-Wide Utilities ライブラリ

Simulink Design Verifier はModel-Wide Utilitiesライブラリの Timed-Based Linearization ブロックと Trigger-Based Linearization ブロックをサポートしません。

Ports & Subsystems ライブラリ

Simulink Design Verifier はPorts and Subsystemsライブラリの次のブロックをサポートしません。

ブロック	サポートメモ
Enabled Subsystem	設計範囲のチェックでは、サブシステムの出力端子に接続されているブロックの最小値と最大値が考慮されません。設計範囲のチェックについての詳細は、指定された最小値および最大値の違反チェックを参照してください。テスト生成時、Simulink Design Verifier は、Enabled Subsystem をショートサーキットとして扱います。
Enabled and Triggered Subsystem	トリガー制御信号が固定小数点データ型を指定している場合はサポートされません。設計範囲のチェックでは、サブシステムの出力端子に接続されているブロックの最小値と最大値が考慮されません。設計範囲のチェックについての詳細は、指定された最小値および最大値の違反チェックを参照してください。テスト生成時、Simulink Design Verifier は、Enabled and Triggered Subsystem をショートサーキットとして扱います。
Function-Call Subsystem	設計範囲のチェックでは、サブシステムの出力端子に接続されているブロックの最小値と最大値が考慮されません。設計範囲のチェックについての詳細は、指定された最小値および最大値の違反チェックを参照してください。
Function Element	サポートなし。
Function Element Call	サポートなし。
In Bus Element	ソフトウェアインザループ (SIL) コード解析はサポートされません。
Message Polling Subsystem	サポートなし。
Message Triggered Subsystem	サポートなし。
Triggered Subsystem	トリガー制御信号が固定小数点データ型を指定している場合はサポートされません。設計範囲のチェックでは、サブシステムの出力端子に接続されているブロックの最小値と最大値が考慮されません。設計範囲のチェックについての詳細は、指定された最小値および最大値の違反チェックを参照してください。テスト生成時、Simulink Design Verifier は、Enabled Subsystem をショートサーキットとして扱います。
Variant Subsystem	[バリアントのアクティベーションのタイミング] が `startup` に設定されている場合、Simulink Design Verifier はすべてのバリアントの選択肢を解析します。その他のタイプの [バリアントのアクティベーションのタイミング] については、Simulink Design Verifier はアクティブなバリアントの選択肢のみを解析します。

Signal Attributes ライブラリ

Simulink Design Verifier はSignal Attributesライブラリのすべてのブロックをサポートします。

Signal Routing ライブラリ

Simulink Design Verifier はSignal Routingライブラリの次のブロックをサポートしません。

ブロック	サポートメモ
Manual Switch	Manual Switch ブロックはこのソフトウェアに対応していますが、モデル解析ではこのブロックを無視します。解析で、このブロックのカバレッジオブジェクティブが達成されるかどうかのフラグが立つことはありません。 Manual Switch ブロックについてモデルカバレッジデータが収集されます。
Parameter Writer	サポートなし。

ブロック

サポートメモ

Manual Switch

Manual Switch ブロックはこのソフトウェアに対応していますが、モデル解析ではこのブロックを無視します。解析で、このブロックのカバレッジオブジェクティブが達成されるかどうかのフラグが立つことはありません。

Manual Switch ブロックについてモデルカバレッジデータが収集されます。

Parameter Writer

サポートなし。

Sinks ライブラリ

Simulink Design Verifier はSinksライブラリの Record ブロックと Stop Simulation ブロックをサポートしません。

Sources ライブラリ

Simulink Design Verifier はSourcesライブラリの次のブロックをサポートしません。

ブロック	サポートメモ
Band-Limited White Noise	サポートなし。
Constant	[定数値] が `inf` または `nan` の場合はサポートされません。
From File	MAT ファイルデータが MATLAB^® `timeseries` 形式で保存されている場合はサポートされません。
From Spreadsheet	サポートなし。
In Bus Element	`Simulink.Bus` 型が In Bus Element ブロックで定義されている場合はサポートされます。
Playback	サポートなし。
Random Number	サポートなし。
Signal Editor	サポートなし。
Signal Generator	波形が `random` の場合はサポートされません。
Uniform Random Number	サポートなし。

User-Defined Functions ライブラリ

Simulink Design Verifier はUser-Defined Functionsライブラリの次のブロックをサポートしません。

ブロック	サポートメモ
Initialize Function	Parameter Writer ブロックを含む Initialize function ではサポートされません。サブシステム解析のターゲットとしてはサポートされません。
Level-2 MATLAB S-Function	サポートなし。
MATLAB Function	サポートあり。制限事項については、MATLAB のコード生成に対する Simulink Design Verifier の制限事項を参照してください。
MATLAB System	判定、条件、および MCDC カバレッジオブジェクティブはテスト生成でサポートされています。拡張 MCDC オブジェクティブ、関係演算子の境界オブジェクティブ、およびカスタムテストオブジェクティブはサポートされていません。カスタム証明オブジェクティブはプロパティ証明でサポートされていません。代入ステートメントの論理式は、カバレッジオブジェクティブ用に解析されていません。さらなる制限については、MATLAB のコード生成に対する Simulink Design Verifier の制限事項を参照してください。
S-Function Builder	サポートあり。制限事項については、S-Function と C/C++ コードに対する Simulink Design Verifier の制限事項と考慮事項を参照してください。
Simulink Function	エクスポート関数モデルに関連する制限事項については、制限を参照してください。非エクスポート関数モデル参照内のグローバル Simulink 関数はサポートされません。
Observer Reference (Simulink Test)	サポートあり。