Fix Issues When Integrating Polyspace with MATLAB and Simulink

Issue

Before using Polyspace^® from MATLAB^® and Simulink^®, perform a one-time setup to integrate the two products. For details, see Integrate Polyspace with MATLAB and Simulink. When performing the integration steps, if you do not have administrator privileges in MATLAB or your Polyspace installation is nonstandard, you might run into some issues. For instance, the polyspacesetup() command might fail to complete.

Possible Solutions

Check if Polyspace installation is nonstandard

By default, Polyspace is installed on the path C:\Program Files\Polyspace\R2024b. When you use this command:

polyspacesetup('install');

Polyspace assumes that the installation folder is the default folder. If you install Polyspace in a different folder, the preceding command fails. For more information about the default installation folder, see Product Installation.

To resolve this issue, specify the installation path in the polyspacesetup command. For instance, at the command line, enter:

polyspacesetup('install', 'polyspaceFolder', Folder)

where Folder is the Polyspace installation folder.

Check if MATLAB instance has administrator privilege

Executing the command polyspacesetup requires administrator privilege. If you do not open MATLAB by using administrator privilege, the command exits with an error.

To resolve this issue, restart MATLAB by using administrator privileges. For instance, in Windows^®, to open MATLAB with administrator privilege, right-click the MATLAB executable and select Run as administrator. In some operating systems, you might need to use an administrator account.

Check If `polyspacesetup` expects user Input

By default, the polyspacesetup command is interactive and expects user input during the integration process. When performing a noninteractive integration, make sure the process is not stuck waiting for your input. To perform a noninteractive installation, at the MATLAB command prompt, enter:

polyspacesetup('install', 'polyspaceFolder', Folder, 'silent', true);

where Folder is the installation path.

Check if Polyspace version is supported

Polyspace integrates completely with MATLAB or Simulink from the same release. If your Polyspace and MATLAB are from different releases, you might not be able to perform a complete integration. See Polyspace Support of MATLAB and Simulink from Different Releases.

Depending on your versions of Polyspace and MATLAB, you might be able to partially integrate these products. See MATLAB Release Earlier Than Polyspace.