How do I use Polyspace with Simulink?

I installed MATLAB/Simulink and Polyspace, as explained in the following MATLAB Answers Post:

How do I install Polyspace for R2019a and later?

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?

Answer 1

[MathWorks Support Team]

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:

https://www.mathworks.com/help/bugfinder/ug/integrate-polyspace-with-matlab-and-simulink.html

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: 

https://www.mathworks.com/help/bugfinder/analysis-in-simulink.html