MATLAB: Does the custom DRS get overwritten when I launch the verification from PolySpace Model Link TL 5.1 (R2008a)

(tl)linkmodelpolyspacePolyspace Model Link TLtargetlink

When I include a DRS file from the PolySpace Project Configuration block in Simulink, I see that it is being overwritten.

Best Answer

The ability to add a custom DRS file to a verification project from Simulink is not available in PolySpace Model Link TL 5.1 (R2008a).

As a workaround, you can use the PolySpaceForTargetLink.m file in attachment and follows the steps bellow:

1 Close MATLAB/Simulink

2. Backup the file %POLYSPACE_COMMON%\PolySpaceModelLink\PolySpaceForTargetLink.m

3. Copy new PolySpaceForTargetLink.m in %POLYSPACE_COMMON%\PolySpaceModelLink

4. Then, open again MATLAB/Simulink and set new preference using

setpref('PolySpace', 'CustomDRS', 'on')
 The new preference is saved from one session to another. if a verification was never been launched from the selected block,  It is necessary to do that one time.

5. Then, the content of the the DRS file inside the current directory can be updated with own data and if a relaunch occurs with the 'CustomDRS' pref set, PolySpace will not generate again the DRS file, taking into account the existing one by displaying a message like the following:

 ### Using Current DRS table".

Related Solutions

MATLAB: Does the PolySpace installer fail to detect the MATLAB products on Windows XP x64

Prior to R2008b, the PolySpace Model Link SL and PolySpace Model Link TL will not install automatically, and must be manually installed.

To manually install the software follow the steps below:

1) Navigate to the Data\Windows\Addin\Mathworks\polyspace\ directory on the PolySpace CD.

2) Copy of the files in that location to your C:\PolySpace\PolySpace_Common\PolySpaceModelLink\ directory.

3) Copy the file polyspacerc.m from the PolySpace CD directory above to the $MATLAB\toolbox\local\ folder (where $MATLAB is the installation folder for MATLAB on your machine.

4) Open the file $MATLAB\toolbox\local\matlabrc.m in a text editor.

5) At the bottom of the file add the following lines:

%%POLYSPACE CONFIGURATION
polyspacerc;
%%END OF POLYSPACE CONFIGURATION

You should now be able to access the PolySpace Model Link SL or PolySpace Model Link TL software.

If you have any issues with this configuration or if you are unable to access the PolySpace Model Link SL or PolySpace Model Link TL software after these steps, contact the Installation and Licensing support team here:

http://www.mathworks.com/support/contact_us/index.html

MATLAB: Do I get an error message “Error: No PolySpace product found” when downloading some results in PolySpace R2008b

It is possible fot the 'polyspace.conf' file to not be updated correctly when installing a new release of PolySpace. This is especially likely when a previous release was only partially removed.

To correct this issue, the polyspace.conf file needs to be updated with location and language that are supported by the currently installed PolySpace product.

Please update the following fields in the configuration file:

 product=<absolute_path_to_product>
 lang=<language supported by the product>

Note: it is possible to have more than one 'product' and 'lang' fields.

For example:

- On a Windows OS, with PolySpace Client for C/C++, polyspace.conf located in c:\PolySpace\PolySpace_RLDatas, and looks like:

 # Local configuration.
 product=C:\PolySpace\PolySpaceForCandCPP_R2008b
 lang=C
 lang=CPP
 # Remote Launcher configuration
 datadir=C:\PolySpace\PolySpace_RLDatas
 username=<login>
 cpu=<hostname>

- On a UNIX OS, with PolySpace Client for C/C++, polyspace.conf located in /etc/PolySpace and looks like:

 # Local configuration.
 product=/usr/local/PolySpace/PolySpaceForCandCPP_R2008b
 lang=CPP
 lang=C
 # Remote Launcher configuration.
 datadir=/var/PolySpace
 username=<login>
 cpu=<hostname>

Note: username and cpu are not mandatory fields for a PolySpace Client installation.

Best Answer

Related Solutions

MATLAB: Does the PolySpace installer fail to detect the MATLAB products on Windows XP x64

MATLAB: Do I get an error message “Error: No PolySpace product found” when downloading some results in PolySpace R2008b

Related Question