- Release version of MATLAB & Simulink
- Release version of Polyspace Polyspace (if not the same and using the cross release capability*)
- Are you launching from the Simulink UI, or from the MATLAB API?
Facing issue while linking Polyspace to matlab.
6 次查看(过去 30 天)
显示 更早的评论
I am not able to done Polyspace Analysis.for the model.
while performing Polyspace Analysis. I am getting error
"MATLAB Parallel Comupting Toolbox is not installed on your computer.
You must install this product in order to use Polyspace on a cluster."
0 个评论
回答(2 个)
Matt Rhodes
2022-6-25
Hi Alka,
In R2018b and prior, you needed the MATLAB Parallel Computing Toolbox installed and licensed for your running an analysis on a remote cluster. This requirement went away starting in R2019a. In a nutshell, if you are in 18b or earlier, you are looking to turn off the batch setting.
If you can share the following information, I can also point you to the doc page that will show you how to properly set this for you:
* If you are using different releases of MATLAB and Polyspace, you may find this mapping of cross release functionality useful.
0 个评论
Anirban
2022-6-28
编辑:Anirban
2022-6-28
You are trying to perform the analysis on a remote cluster instead of locally on your desktop. To do this, you required Parallel Computing Toolbox (prior to R2019a) and also had to some initial setup for communication with the remote cluster. The initial setup is still required post-R2019a. You can find more details in Install Products Required for Submitting Polyspace Analysis from Desktop to Remote Server (instructions apply post-R2019a).
The simplest thing to do if you do not have Parallel Computing Toolbox would be to analyze locally on your dekstop. To analyze locally:
- On the Polyspace tab in the Simulink toolstrip, select Settings > Project Settings (In releases prior to R2019b, you would select Code > Polyspace > Options and then click the Configure button next to the Project Configuration parameter).
- On the Run Settings node, disable Run Bug Finder or Code Prover analysis on a remote cluster.
0 个评论
另请参阅
类别
在 Help Center 和 File Exchange 中查找有关 Bug Finder Analysis in Simulink 的更多信息
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!