このページの内容は最新ではありません。最新版の英語を参照するには、ここをクリックします。

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

R2026a

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

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

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

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

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

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

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

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

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

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

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

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 はアクティブなバリアントの選択肢のみを解析します。

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

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

ブロックサポート メモ
Manual Switch

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

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

Parameter Writerサポートなし。

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

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

ブロックサポート メモ
Band-Limited White Noiseサポートなし。
Constant[定数値] が inf または nan の場合はサポートされません。
From File

MAT ファイル データが MATLAB® timeseries 形式で保存されている場合はサポートされません。

From Spreadsheetサポートなし。
In Bus ElementSimulink.Bus 型が In Bus Element ブロックで定義されている場合はサポートされます。
Playbackサポートなし。
Random Numberサポートなし。
Signal Editorサポートなし。
Signal Generator波形が random の場合はサポートされません。
Uniform Random Numberサポートなし。

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)

サポートあり。

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

Simulink Design Verifier は、次を除き、Toolbox ライブラリのすべてのブロックをサポートします。

  • Simscape™

  • Vehicle Network Toolbox™

参考

|

トピック