Polyspace® support of MATLAB® or Simulink® varies depending on their respective releases. Polyspace fully supports MATLAB and Simulink from the same release, offering complete integration. Polyspace supports MATLAB and Simulink from earlier releases with cross-release integration. See the table.
| Polyspace Release R2018a | Polyspace Release R2018b | Polyspace Release R2019a | Polyspace Release R2019b | Polyspace Release R2020a | Polyspace Release R2020b | Polyspace Release R2021a | |
| MATLAB/Simulink Release R2018a | Complete Integration | Cross-Release Integration | Cross-Release Integration | Cross-Release Integration | Cross-Release Integration | * | * |
| MATLAB/Simulink Release R2018b | * | Complete Integration | Cross-Release Integration | Cross-Release Integration | Cross-Release Integration | Cross-Release Integration | * |
| MATLAB/Simulink Release R2019a | * | * | Complete Integration | Cross-Release Integration | Cross-Release Integration | Cross-Release Integration | * |
| MATLAB/Simulink Release R2019b | * | * | * | Complete Integration | * | * | * |
| MATLAB/Simulink Release R2020a | * | * | * | * | Complete Integration | * | * |
| MATLAB/Simulink Release R2020b | * | * | * | * | * | Complete Integration | Cross-Release Integration |
| MATLAB/Simulink Release R2021a | * | * | * | * | * | * | Complete Integration |
Note
The empty cells (*) in the preceding table represent MATLAB and Simulink support without integration. See Navigate Back to Model.
If MATLAB and Polyspace are from the same release, you can integrate them after installation
by calling polyspacesetup. See Integrate Polyspace with MATLAB or Simulink from Same Release.
You can:
Run a Polyspace analysis from the Simulink Editor or from the MATLAB Command Window on C/C++ code that is generated from a model or included as custom code in a model. Annotate Simulink blocks and Navigate back-to-model from the Polyspace user interface.
Run a Polyspace analysis on C/C++ code that is generated from MATLAB code by using the MATLAB Coder™ App (if you have Embedded Coder®).
Run a Polyspace analysis on handwritten C/C++ code by using MATLAB scripts.
You can integrate Polyspace with MATLAB or Simulink from an earlier release. See Integrate Polyspace with MATLAB or Simulink Installation from Earlier Release.
This cross-release integration offers limited functionalities. In a cross-release workflow, you can:
Call these functions in the MATLAB Command Window to run a Polyspace analysis on C/C++ code generated by using Embedded Coder.
If you have MATLAB R2020b or later, use pslinkrunCrossRelease instead
of pslinkrun. See Run Polyspace on Code Generated by Using Previous Releases of Simulink.
Navigate back to Simulink model from Polyspace user interface.
You cannot:
Start a Polyspace analysis of generated code from the Simulink Editor or MATLAB Coder App.
Start a Polyspace analysis of the custom code included in models or handwritten C/C++ code in the MATLAB Command Window.
Start a Polyspace analysis of C/C++code generated from MATLAB code in the MATLAB Command Window.
You can navigate back to your Simulink model from the Polyspace user interface without integrating Polyspace with your MATLAB/Simulink. Generally, Polyspace does not integrate with MATLAB and Simulink if:
Your MATLAB or Simulink is from a more recent release than your Polyspace.
Your MATLAB or Simulink is more than four releases behind your Polyspace.
In addition, some specific releases of MATLAB/Simulink and Polyspace do not integrate. See the table in this page.
To navigate back to model from the user interface without integrating Polyspace and MATLAB/Simulink:
Identify the comments in your code that acts as links to the Simulink model. In the Tools > Preferences > Miscellaneous tab, select your code generation tool from the context menu Code comments that act as code-to-model links. Polyspace recognizes Embedded Coder, MATLAB Coder, and TargetLink. If you use a different code generating tool, select User Defined. In the field Comments beginning with, specify prefixes of the code comments that act as links.
In the Source pane of the Polyspace user interface, click the code comments that appear as hyperlinks.
polyspacesetup | pslinkrunCrossRelease