範囲解析でサポートされる Simulink ブロック

Simulink ブロック サポートの概要

次の表に Simulink^® ブロックに対する範囲解析のサポートの概要を示します。各表にすべてのブロックを Simulink ライブラリ別に掲載し、そのブロックに対するサポート情報を説明しています。ブロックがサポートされない場合、可能であれば、自動スタブでは、サポートされないブロックの動作ではなくインターフェイスを解析中に考慮します。ただし、サポートされないブロックのいずれかがシミュレーション結果に影響する場合は、解析では一部の結果しか得られない可能性があります。解析で、ブロックに自動スタブを使用できない場合は、そのブロックに "スタブ不可" とマークします。詳細は、自動スタブを参照してください。

範囲解析でサポートされるすべてのブロックが固定小数点変換でサポートされるわけではありません。ブロックが固定小数点データ型をサポートするかどうかをチェックする方法については、固定小数点データ型をサポートしないブロックを参照してください。

 Additional Math and Discrete ライブラリ

Additional Math and Discrete ライブラリのすべてのブロックがサポートされます。

 Commonly Used Blocks ライブラリ

Commonly Used Blocks ライブラリには他のライブラリのブロックが含まれます。これらのブロックは、それぞれのライブラリの下に一覧表示されます。

 Continuous ライブラリ

ブロック	サポート メモ
Derivative	サポートなし
Integrator	サポートなし
Integrator Limited	サポートなし
PID Controller	サポートなし
PID Controller (2DOF)	サポートなし
Second-Order Integrator	サポートなし
Second-Order Integrator Limited	サポートなし
State-Space	サポートなし
Transfer Fcn	サポートなし
Transport Delay	サポートなし
Variable Time Delay	サポートなし
Variable Transport Delay	サポートなし
Zero-Pole	サポートなし

 Discontinuities ライブラリ

Discontinuities ライブラリのすべてのブロックがサポートされます。

 Discrete ライブラリ

ブロック	サポート メモ
Delay	サポートあり
Difference	サポートあり
Discrete Derivative	サポートあり
Discrete Filter	フィルターを使用して解析を実行します。フィルターの範囲情報は派生しません。
Discrete FIR Filter	サポートあり
離散 PID コントローラー	サポートあり
離散 PID コントローラー (2 DOF)	サポートあり
Discrete State-Space	サポートなし
Discrete-Time Integrator	サポートあり
Discrete Transfer Fcn	サポートあり
Discrete Zero-Pole	サポートなし
Memory	サポートあり
Tapped Delay	サポートあり
Transfer Fcn First Order	サポートあり
Transfer Fcn Lead or Lag	サポートあり
Transfer Fcn Real Zero	サポートあり
Unit Delay	サポートあり
Zero-Order Hold	サポートあり

 Logic and Bit Operations ライブラリ

Logic and Bit Operations ライブラリのすべてのブロックがサポートされます。

 Lookup Tables ライブラリ

ブロック	サポート メモ
Cosine	サポートあり
Direct Lookup Table (n-D)	サポートあり
Interpolation Using Prelookup	以下の場合は一部サポートされます。 [内挿法] パラメーターが [線形] で、[テーブルの次元数] パラメーターが 4 より大きい場合。 または [内挿法] パラメーターが [線形] で、[サブテーブルの次元数] パラメーターが 0 でない場合。
1-D Lookup Table	[内挿法] または [外挿法] パラメーターが [3 次スプライン] に設定されている場合は一部サポートされます。
2-D Lookup Table	[内挿法] または [外挿法] パラメーターが [Akima スプライン] に設定されている場合はサポートされません。
n-D Lookup Table	以下の場合は一部サポートされます。 [内挿法] または [外挿法] パラメーターが [3 次スプライン] に設定されている場合。 または [内挿法] パラメーターが [線形] で、[テーブルの次元数] パラメーターが 5 より大きい場合。 [内挿法] または [外挿法] パラメーターが [Akima スプライン] に設定されている場合はサポートされません。
Lookup Table Dynamic	サポートあり
Prelookup	サポートあり
Sine	サポートあり

 Math Operations ライブラリ

ブロック	サポート メモ
Abs	サポートあり
Add	サポートあり
Algebraic Constraint	サポートあり
Assignment	サポートあり
Bias	サポートあり
Complex to Magnitude-Angle	サポートあり
Complex to Real-Imag	サポートあり
Divide	サポートあり
Dot Product	サポートあり
Find Nonzero Elements	サポートなし
Gain	サポートあり
Magnitude-Angle to Complex	サポートあり
Math Function	サポートあり。関数 pow のサポートは整数の指数のみに制限されます。
Matrix Concatenate	サポートあり
MinMax	サポートあり
MinMax Running Resettable	サポートあり
Permute Dimensions	サポートあり
Polynomial	サポートあり
Product	サポートあり
Product of Elements	サポートあり
Real-Imag to Complex	サポートあり
Reciprocal Sqrt	一部サポート
Reshape	サポートあり
Rounding Function	サポートあり
Sign	サポートあり
Signed Sqrt	一部サポート
Sine Wave Function	一部サポート
Slider Gain	サポートあり
Sqrt	一部サポート
Squeeze	サポートあり
Subtract	サポートあり
Sum	サポートあり
Sum of Elements	サポートあり
Trigonometric Function	[関数] が [sin]、[cos] または [sincos] で、[近似法] が [CORDIC] の場合はサポートされます。それ以外の場合は一部サポートされます。
Unary Minus	サポートあり
Vector Concatenate	サポートあり
Weighted Sample Time Math	サポートあり

 Model Verification ライブラリ

Model Verification ライブラリのすべてのブロックがサポートされます。

 Model-Wide Utilities ライブラリ

ブロック	サポート メモ
Block Support Table	サポートあり
DocBlock	サポートあり
Model Info	サポートあり
Timed-Based Linearization	サポートなし
Trigger-Based Linearization	サポートなし

 Ports & Subsystems ライブラリ

ブロック	サポート メモ
Subsystem, Atomic Subsystem, CodeReuse Subsystem	サポートあり
Configurable Subsystem	サポートあり
Enable	サポートあり
Enabled Subsystem	範囲解析では、サブシステムの出力端子に接続されたブロックに指定された設計の最小値と最大値を考慮しません。
Enabled and Triggered Subsystem	トリガー制御信号が固定小数点データ型を指定している場合はサポートされません。 範囲解析では、サブシステムの出力端子に接続されたブロックに指定された設計の最小値と最大値を考慮しません。
For Each	以下の制限付きでサポート: For Each Subsystem に別の For Each Subsystem が含まれている場合はサポートされません。 For Each Subsystem に 1 つ以上の Simulink Design Verifier™ Test Condition (Simulink Design Verifier)、Test Objective (Simulink Design Verifier)、Proof Assumption (Simulink Design Verifier) または Proof Objective (Simulink Design Verifier) ブロックが含まれている場合はサポートされません。
For Each Subsystem	以下の制限付きでサポート: For Each Subsystem に別の For Each Subsystem が含まれている場合はサポートされません。 For Each Subsystem に 1 つ以上の Simulink Design Verifier Test Condition (Simulink Design Verifier)、Test Objective (Simulink Design Verifier)、Proof Assumption (Simulink Design Verifier) または Proof Objective (Simulink Design Verifier) ブロックが含まれている場合はサポートされません。
For Iterator Subsystem	サポートあり
Function-Call Feedback Latch	サポートあり
Function-Call Generator	サポートあり
Function-Call Split	サポートあり
Function-Call Subsystem	範囲解析では、サブシステムの出力端子に接続されたブロックに指定された設計の最小値と最大値を考慮しません。
If	サポートあり
If Action Subsystem	サポートあり
Inport	—
Model	Model ブロックのサポートの制限事項で説明される制限を除き、サポートされます。
Outport	サポートあり
Switch Case	サポートあり
Switch Case Action Subsystem	サポートあり
Trigger	サポートあり
Triggered Subsystem	トリガー制御信号が固定小数点データ型を指定している場合はサポートされません。 範囲解析では、サブシステムの出力端子に接続されたブロックに指定された設計の最小値と最大値を考慮しません。
Variant Subsystem, Variant Model	サポートあり
While Iterator Subsystem	サポートあり

 Signal Attributes ライブラリ

Signal Attributes ライブラリのすべてのブロックがサポートされます。

 Signal Routing ライブラリ

ブロック	サポート メモ
Bus Assignment	サポートあり
Bus Creator	サポートあり
Bus Selector	サポートあり
Data Store Memory	Data Store Memory 変数が調整可能な場合、範囲解析ではブロックで指定された設計範囲を考慮し、ローカル モデルの書き込みを無視します。 Data Store Memory 変数が調整可能でないか、Auto である場合、解析ではローカル モデルの書き込みのみが考慮されます。派生範囲は、変数に対する最後の書き込みの範囲です。 Data Store Memory 変数が解析されたシステムの外部で定義されている場合、範囲解析は設計範囲を使用します。
Data Store Read	サポートあり
Data Store Write	サポートあり
Demux	サポートあり
Environment Controller	サポートあり
From	サポートあり
Goto	サポートあり
Goto Tag Visibility	サポートあり
Index Vector	サポートあり
Manual Switch	Manual Switch ブロックはこのソフトウェアに対応していますが、モデル解析ではこのブロックを無視します。
Merge	サポートあり
Multiport Switch	サポートあり
Mux	サポートあり
Selector	サポートあり
Switch	サポートあり
Vector Concatenate	サポートあり

 Sinks ライブラリ

ブロック	サポート メモ
Display	サポートあり
Floating Scope	サポートあり
Outport (Out1)	サポートあり
Out Bus Element	サポートあり
Scope	サポートあり
Stop Simulation	サポートなし
Terminator	サポートあり
To File	サポートあり
To Workspace	サポートあり

 Sources ライブラリ

ブロック	サポート メモ
Band-Limited White Noise	サポートなし
Chirp Signal	一部サポート
Clock	サポートあり
Constant	[定数値] が inf または nan (この場合はサポートされません) でない限り、サポートされます。
Counter Free-Running	サポートあり
Counter Limited	サポートあり
Digital Clock	サポートあり
Enumerated Constant	サポートあり
From File	一部サポートされます。MAT ファイル データが MATLAB® timeseries 形式で保存されるときは、サポートされません。
From Workspace	一部サポート
Ground	サポートあり
Inport (In1)	サポートあり
In Bus Element	Simulink.Bus 型が In Bus Element で定義されている場合はサポートされます。
Pulse Generator	サポートあり
Ramp	サポートあり
Random Number	サポートなし
Repeating Sequence	一部サポート
Repeating Sequence Interpolated	一部サポート
Repeating Sequence Stair	サポートあり
Signal Editor	サポートなし
Signal Generator	波形が sine の場合は一部サポートされます。波形が square の場合はサポートされます。波形が random の場合はサポートされません。
Sine Wave	一部サポート
Step	サポートあり
Uniform Random Number	サポートなし

 User-Defined Functions ライブラリ

ブロック	サポート メモ
Interpreted MATLAB Function	サポートなし
MATLAB Function	入力端子と出力端子に対応する変数のインスタンスには、指定された設計の最小値と最大値および返された派生最小値と派生最大値が使用されます。これらの変数の中間インスタンスは考慮されません。たとえば、次のコードを含む MATLAB Function ブロックについて考えてみます。 function y = fcn(u,v) %#codegen y = 2*u; y = y + v; 範囲解析では、y = y + v; の y のインスタンスに対して、u および v に指定された設計範囲を考慮します。これが、ブロックの出力端子に関連付けられている y のインスタンスだからです。 一方、y = 2*u; の y のインスタンスの設計範囲は考慮しません。このインスタンスは中間インスタンスだからです。
Level-2 MATLAB S-Function	サポートなし
S-Function	サポートなし
S-Function Builder	サポートなし
Simulink Function	複素数型の出力引数をもつ Simulink 関数はサポートされません。

Model ブロックのサポートの制限事項

範囲解析は Model ブロックをサポートしますが、次の制限があります。以下の場合、1 つ以上の Model ブロックが含まれるモデルは解析できません。

• 参照モデルが保護されている。保護された参照モデルはエンコードされているため、コンテンツが見えません。これにより、モデルを構成する知的所有権を表示せずに、サードパーティが参照モデルを使用できます。

  詳細は、サードパーティからの保護モデルの参照を参照してください。

• [コンフィギュレーション パラメーター] 、 [診断] 、 [接続性] 、 [要素名の不一致] パラメーターを [エラー] に設定すると、親モデルまたは参照モデルのいずれかでエラーが返されます。

  モデルが一部のブロックに対するバス要素の名前付け要件を満たすように、バス オブジェクトと共に [要素名の不一致] 診断を使用できます。

• Model ブロックで非同期関数呼び出し入力を使用する。

• モデル参照階層のいずれかの Model ブロックで疑似代数ループを作成する。これが発生する場合は、以下の手順を実行します。

  1. Simulink から代数ループ エラーが報告されるように、[コンフィギュレーション パラメーター] ダイアログ ボックスの [診断] ペインで、[代数ループの最小化] パラメーターを [エラー] に設定します。

  2. [コンフィギュレーション パラメーター] ダイアログ ボックスの [モデル参照] ペインで [代数ループの発生の最小化] パラメーターを選択します。

     Simulink はシミュレーション中、疑似代数ループを消去しようとします。

  3. モデルをシミュレートします。

  4. 可能な場合、Simulink は、代数ループを削除します。Simulink が疑似代数ループを削除できない場合、[モデル化] タブを開き、[コンパイル] セクションで [モデルの更新] をクリックして代数ループの位置を強調表示します。

  5. ソフトウェアがモデルを解析できるように、疑似代数ループを消去します。実行順序が予測できるように、Unit Delay ブロックのループを切断します。

  メモ

  詳細については、代数ループの概念を参照してください。

• 親モデルと参照されたモデルのデータ型オーバーライドの設定が一致しません。親モデルのデータ型オーバーライドの設定が [ローカル設定を使用] である場合を除いて、親モデルとその参照モデルすべてでデータ型オーバーライドの設定が同じでなければなりません。データ型オーバーライド設定を構成し、固定小数点データ型を指定するモデルのシミュレーションが行えます。この設定を使用して、シミュレーション中はデータ型が浮動小数点データ型で一時的にオーバーライドされます。

  set_param('MyModel','DataTypeOverride','Double')

  詳細については、set_paramを参照してください。

  モデルの真の動作を観察するには、データ型オーバーライド パラメーターを UseLocalSettings または Off に設定します。

  set_param('MyModel','DataTypeOverride','Off')
  

• 参照モデルは入力端子にバーチャル バスがある Model ブロックです。コンパイル時においてバス内のすべての信号のサンプル時間は同じにはなりません。モデルに Simulink Design Verifier の解析との互換性をもたせるには、バーチャル バスを非バーチャル バスに変換するか、端子のサンプル時間を明示的に指定します。

• Model ブロックで解析を実行した場合、最上位モデルとして生成されたコードはサポートされません。