主要内容

Simulink 中运行分析时的故障排除

对 Polyspace® 模型中包含的生成代码和自定义代码运行 Simulink® 分析时出错

针对执行下列操作时可能发生的各种错误的故障排除:

  • 将 Polyspace 与 MATLAB® 和 Simulink 集成。

  • 分析从 Simulink 模型生成的代码。

  • 分析 Simulink 模型中包含的手动代码。

  • 从 Polyspace 模型生成 Simulink 选项包。

  • 为 Simulink 模型添加注解。

疑难解答

Fix Issues When Integrating Polyspace with MATLAB and Simulink

Troubleshoot why Polyspace fails to integrate with MATLAB and Simulink.

Check Why Polyspace Functions Are Unavailable in MATLAB

Troubleshoot why Polyspace specific functions are not available to MATLAB and Simulink.

Fix MATLAB Crashes Referring to Polyspace in matlabroot

Do not open MATLAB from a Polyspace installation.