Installing Polyspace Model Link Products

The Polyspace Model Link SL and Polyspace Model Link TL provide automatic error detection for code generated from MathWorks Simulink models.

Polyspace Model Link SL installation consists of two components:

• Simulink Polyspace library with associated blocks

• "Back to model" (HTML links in the code source) extension in the Polyspace Run-Time Checks perspective that allows direct navigation from a run-time error in the auto-generated code to the corresponding block in the Simulink model.

To install Polyspace Model Link SL:

1. Install the Polyspace software as described earlier in this guide.

   The Polyspace Installer automatically detects that MATLAB and Simulink components are installed and displays the following window:

   

2. Select the MATLAB releases to link with Polyspace.

Installing Polyspace Model Link Products

Upgrading MATLAB Software

© 1984-2012- The MathWorks, Inc.    -   Site Help   -   Patents   -   Trademarks   -   Privacy Policy   -   Preventing Piracy   -   RSS