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

Simulink での解析のトラブルシューティング

Simulink® モデルに含まれている生成コードおよびカスタム コードの Polyspace® 解析の実行中のエラー

以下の操作を行うときに発生する可能性があるさまざまなエラーのトラブルシューティングを行います。

  • MATLAB® や Simulink と Polyspace の統合。

  • Simulink モデルから生成されたコードの解析。

  • Simulink モデルに含まれているハンド コードの解析。

  • Simulink モデルからの Polyspace オプション パッケージの生成。

  • Simulink モデルへの注釈付け。

トラブルシューティング

Fix Issues When Integrating Polyspace with MATLAB and Simulink

Troubleshoot why Polyspace fails to integrate with MATLAB and Simulink.

Polyspace 関数を MATLAB で使用できない理由をチェックする

Polyspace の特定の関数が MATLAB および Simulink で使用できない理由をトラブルシューティングします。

matlabroot で Polyspace を参照することによる MATLAB のクラッシュの修正

Polyspace インストール環境から MATLAB を開かないでください。