How do I use Polyspace with Simulink?
159 views (last 30 days)
Show older comments
MathWorks Support Team
on 4 Apr 2019
Edited: MathWorks Support Team
on 26 Jan 2023
I installed MATLAB/Simulink and Polyspace, as explained in the following MATLAB Answers Post:
However, if I open a Simulink model and click on the "Code" menu, there is no item for "Polyspace".
How do I use Polyspace with Simulink?
Accepted Answer
MathWorks Support Team
on 10 Jan 2023
Edited: MathWorks Support Team
on 26 Jan 2023
Starting from R2019a, Polyspace® Bug Finder™ and Polyspace Code Prover™ are standalone products that are independent from MATLAB/Simulink. As a result, it is necessary to perform extra steps to integrate Polyspace with MATLAB/Simulink. Refer to the following documentation page for more details:
To link your MATLAB and Polyspace installations, follow below steps:
1. Open MATLAB with administrator privileges.
2. (Not required after R2021a) Navigate to polyspaceroot\toolbox\polyspace\pscore\pscore\. Here, polyspaceroot is the Polyspace installation folder, for instance, C:\Program Files\Polyspace\R2019a.
3. At the MATLAB command prompt, enter:
polyspacesetup('install')
You see a prompt stating that the workspace will be cleared and all open models closed. Click Yes to continue the linking. The process might take a few minutes to complete.
4. Restart MATLAB.
The "Polyspace" item should now be available in the "Code" menu of Simulink and allow you to continue using Polyspace in Simulink.
Here is additional information about how to run a Polyspace analysis from Simulink:
0 Comments
More Answers (0)
See Also
Categories
Find more on Run Settings in Help Center and File Exchange
Community Treasure Hunt
Find the treasures in MATLAB Central and discover how the community can help you!
Start Hunting!