compatibility of polyspace 2019a with matlab 2021b

Is Polyspace 2019a compatible with matlab 2021b? can this combination be used for polyspace analysis

Answer 1

[Anirban]

You can have a Polyspace version later than the MATLAB version but not vice versa. See Polyspace Support of MATLAB and Simulink from Different Releases.

[Deepak Simpi]

Thank you Anirban for sharing the info.

I have gone through the link shared.

I have further questions about the integration of the Polyspace and Matlab-Simulink-Stateflow-:

1) For cross integration or partial integration- can we execute the analysis on polyspace application, including for custom code as well? It is not needed for us to execute the analysis on matlab command window.

2) Will Polyspace 2019a support analysis of Targetlink-22.1 generated code (and compiled with microsoft compilers). will the combination of Matlab 2021b, targetlink 22.1, polyspace 2019a work?

[Anirban]

The combination will not work because the version of MATLAB is later than the Polyspace version. You have to upgrade the Polyspace version if you upgrade MATLAB.

However, please contact Technical Support in case there is a solution for your use-case.