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:
Please run the below command in the command window of installed MATLAB R2019a version to get release specific documentation
>> web(fullfile(docroot, '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:
Please follow the below link to search for the required information regarding the current release:
