メインコンテンツ

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

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サポートなし。
三角関数サポートあり。