Main Content

Polyspace Support of MATLAB and Simulink from Different Releases

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 with these software. Polyspace supports MATLAB and Simulink from earlier releases with cross-release integration. See the table.

 Polyspace Release R2019bPolyspace Release R2020aPolyspace Release R2020bPolyspace Release R2021aPolyspace Release R2021bPolyspace Release R2022aPolyspace Release R2022bPolyspace Release R2023aPolyspace Release R2023bPolyspace Release R2024aPolyspace Release R2024b
MATLAB or Simulink Release R2019bComplete IntegrationNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to Model
MATLAB or Simulink Release R2020aNavigate Back to ModelComplete IntegrationNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to Model
MATLAB or Simulink Release R2020bNavigate Back to ModelNavigate Back to ModelComplete IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release Integration
MATLAB or Simulink Release R2021aNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelComplete IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release Integration
MATLAB or Simulink Release R2021bNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelComplete IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release Integration
MATLAB or Simulink Release R2022aNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelComplete IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release Integration
MATLAB or Simulink Release R2022bNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelComplete IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release Integration
MATLAB or Simulink Release R2023aNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelComplete IntegrationCross-Release IntegrationCross-Release IntegrationCross-Release Integration
MATLAB or Simulink Release R2023bNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelComplete IntegrationCross-Release IntegrationCross-Release Integration
MATLAB or Simulink Release R2024aNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelComplete IntegrationCross-Release Integration
MATLAB or Simulink Release R2024bNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelNavigate Back to ModelComplete Integration

Complete Integration

If MATLAB and Polyspace are from the same release, you can integrate them after installation by calling polyspacesetup. See Same Release of Polyspace and MATLAB.

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.

    See Code Prover Analysis in Simulink.

  • 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®).

    See Code Prover Analysis in MATLAB Coder.

  • Run a Polyspace analysis on handwritten C/C++ code by using MATLAB scripts.

    See Code Prover Analysis with MATLAB Scripts.

Cross-Release Integration

You can integrate Polyspace with MATLAB or Simulink from a release after R2020b. See MATLAB Release Earlier Than Polyspace.

This cross-release integration offers limited functionalities:

  • To run a Polyspace analysis on C/C++ code generated by using Embedded Coder, in the MATLAB Command Window, call these functions:

  • Navigate back to your Simulink model from the 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.

See Run Polyspace on Code Generated by Using Previous Releases of Simulink.

Partial Integration

You can partially integrate Polyspace with MATLAB or Simulink from a release earlier than R2020b. See MATLAB Release Earlier Than Polyspace.

This partial integration offers limited functionalities:

  • To run a Polyspace analysis on C/C++ code generated by using Embedded Coder, in the MATLAB Command Window, call these functions:

  • Navigate back to your Simulink model from the 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.

Navigate Back to Model

You can navigate back to your Simulink model from the Polyspace user interface without integrating Polyspace into your MATLAB or Simulink. 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.

Some specific releases of MATLAB or Simulink do not integrate with Polyspace. See the table.

To navigate back to your model from the Polyspace user interface without integrating Polyspace and MATLAB or Simulink:

  • Identify the comments in your code that act 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.

See Also

|

Related Topics