MATLAB のコード生成のサポートの制限事項

サポートされない MATLAB のコード生成機能

Simulink^® Design Verifier™ では、Simulink ソフトウェアの MATLAB Function ブロックおよび Stateflow^® ソフトウェアの MATLAB^® 関数の以下の機能はサポートされません。Simulink Design Verifier で解析するモデルでは、これらのサポートされない機能の使用は避けてください。

サポートなし	説明
文字	文字はサポートされません。これは MATLAB のコード生成では使用可能です。
外部関数	MATLAB 関数の出力に影響しない場合のみ外部関数がサポートされます。

MATLAB のコード生成ライブラリ関数のサポートの制限事項

Simulink Design Verifier では、さまざまなレベルの MATLAB のコード生成ライブラリ関数のサポートが提供されます。

サポートされない関数がモデルに含まれる場合、自動スタブを有効にすることによりサポートされない関数の動作ではなく、インターフェイスが考慮されるようにできます。ただし、サポートされない関数のいずれかがシミュレーション結果に影響する場合、解析は部分的な結果のみをもたらす可能性があります。自動スタブについての詳細は、自動スタブによる非互換性処理を参照してください。

100% のカバレッジを達成するためには、解析するモデルでの、サポートされない MATLAB ライブラリ関数の使用は避けてください。

以下の表では、MATLAB からのコード生成におけるライブラリ関数のカテゴリに対する Simulink Design Verifier のサポートが次のようにリストされています。

• ダッシュ (—) で示されるカテゴリの関数はサポートされます。

• そのカテゴリの関数はサポートされません。

• 指定されている制限付きでカテゴリの関数はサポートされます。

使用可能な関数の一覧については、C/C++ コードの生成でサポートされている関数およびオブジェクトを参照してください。

関数のカテゴリ	サポート メモ
Aerospace Toolbox 関数	サポートなし。
算術演算子関数	サポートあり。
ビット単位演算関数	—
キャスト関数	以下の制限付きでサポート:
	char	サポートなし。
	typecast	サポートなし。
Communications Toolbox™ 関数	サポートなし。
複素数関数	サポートあり。
Computer Vision Toolbox™ 関数	サポートなし。
データ型関数	—
導関数と積分関数	サポートなし。
離散数学関数	—
エラー処理関数	以下の制限付きでサポート:
	assert	サポートあり。ただし、Proof Objective ブロックのようには動作しない。
指数関数	サポートあり。
フィルター処理と畳み込み関数	サポートあり。
Fixed-Point Designer™ 関数	サポートあり。
ヒストグラム関数	サポートなし。
Image Processing Toolbox™ 関数	サポートなし。
入力関数と出力関数	—
内挿および計算幾何	サポートあり。
線形代数	サポートなし。
論理演算子関数	—
MATLAB Compiler™ 関数	サポートなし。
行列および配列関数	以下の制限付きでサポート:
	invhilb	サポートなし。
入れ子関数	サポートあり。
非線形数値法	サポートなし。
多項式関数	サポートなし。
関係演算関数	—
丸めおよび剰余の関数	—
Policy ブロック	サポートなし。
RL Agent ブロック	サポートなし。
集合関数	—
MATLAB の信号処理関数	サポートなし。
Signal Processing Toolbox™ 関数	サポートなし。
特別な値	サポートあり。
特殊な演算	サポートなし。
統計関数	—
文字列関数	以下の制限付きでサポート:
	char	サポートなし。
	ischar	サポートなし。
三角関数	サポートあり。