从R2019a开始,Polyspace®错误发现者™和Polyspace代码验证™是独立的产品,从MATLAB / Simulink是独立的。下载188bet金宝搏金宝app因此,需要执行额外的步骤与MATLAB / Simulink Polyspace集成。金宝app更多细节请参考下面的文档页面:
链接你的MATLAB和Polyspace安装,按照下面的步骤:
1。MATLAB与管理员权限打开。
2。导航到R2021a后(不需要)polyspaceroot\ \ polyspace \ pscore工具箱\ pscore \。在这里,polyspaceroot是Polyspace安装文件夹,例如,C:\Program Files\Polyspace\R2019a.吗
3所示。在MATLAB命令提示符,输入:
polyspacesetup (“安装”)
你能看到一个提示,说明工作区将被清除并关闭所有打开的模型。点击是的继续联系。这个过程可能需要几分钟才能完成。
4所示。重启MATLAB。
“Polyspace”项目现在应该可以在仿真软件的“代码”菜单,让你继续使用Polyspace仿真软件。金宝app
这是额外的信息关于如何运行一个Polyspace从模型分析:金宝app
