Detailed instructions for use are in the User's Guide.
[. . . ] Polyspace® 8 Installation Guide
How to Contact MathWorks
Web Newsgroup www. mathworks. com/contact_TS. html Technical Support
www. mathworks. com comp. soft-sys. matlab suggest@mathworks. com bugs@mathworks. com doc@mathworks. com service@mathworks. com info@mathworks. com
Product enhancement suggestions Bug reports Documentation error reports Order status, license renewals, passcodes Sales, pricing, and general information
508-647-7000 (Phone) 508-647-7001 (Fax) The MathWorks, Inc. 3 Apple Hill Drive Natick, MA 01760-2098
For contact information about worldwide offices, see the MathWorks Web site. Polyspace® Installation Guide © COPYRIGHT 20072010 by The MathWorks, Inc.
The software described in this document is furnished under a license agreement. The software may be used or copied only under the terms of the license agreement. [. . . ] The default is 12428.
9 In the Web server port number field, specify the number of the web
server port. See Specifying Port Number of Web Server in Queue Manager "Specifying Port Number of Polyspace Metrics Web Server in Queue Manager" on page 2-37. Note The Polyspace Metrics Web interface URL is:
http://ServerName:WSPN
where ServerName is the name or IP address of the Queue Manager server and WSPN is the Web server port number.
Troubleshooting Common Errors
This section contains information on troubleshooting the following common errors: · "Errors Concerning the polyspace. conf File" on page 2-40 · "Errors Concerning Problems with Write Access" on page 2-41 · "Java Not Found Errors" on page 2-41 · "Other Errors" on page 2-42
2-39
2
Installing Polyspace® Software
Errors Concerning the polyspace. conf File
If you receive any of the following errors:
1 Stop the polyspacedservice (daemon). 3 Restart the service (daemon).
The following errors concern the polyspace. conf file. · "Error: · "Error:
CPU. "; The data folder path should not contain white space. "; At least one language should be supported by the Duplicate entry for product Unknown language : Duplicate entry for language Duplicate entry for Duplicate entry for Duplicate entry for Duplicate entry for Invalid port number : Invalid CPU name. "; Duplicate entry for CPU Unknown key : <value> ";
· "<polyspace. conf>:<line_number>:
<version value>. ";
· "<polyspace. conf>:<line_number>:
<value>. ";
· "<polyspace. conf>:<line_number>:
<value>. ";
· "<polyspace. conf>:<line_number>:
<queuemanager name>. <value>. "; ";
· "<polyspace. conf>:<line_number>: · "<polyspace. conf>:<line_number>:
username'. ";
· "<polyspace. conf>:<line_number>:
'port'. ";
· "<polyspace. conf>:<line_number>:
<value>";
·
"<polyspace. conf>:<line_number>: <hostname> ";
· "<polyspace. conf>:<line_number>: · "<polyspace. conf>:<line_number>:
2-40
Configuring Polyspace® Software
· "<polyspace. conf>:<line_number>:
Parse error. ";
· "No PolySpace product found for language <value>. "; · "Warning:
Invalid <lang> license for product <version> on host <hostname> ";
· "The PolySpace product <version> was not found. ";
Errors Concerning Problems with Write Access
If you receive any of the following errors, check right accesses with username declared in the polyspace. conf file in the folder <dir>, <file name> or <path> (given in the error message). Check also that you have not changed anything linked to "polyspaced" service (daemon) without stopping it. · "Fatal error: · "Fatal error:
<username> "; Directory <dir> is not accessible. "; Could not change the owner of <path> to Could not open file <file name> for reading. "; Could not set <permission> permissions on Could not open file <file name>
· "Fatal error: · "Fatal error:
<path> "
· "Fatal error:
Java Not Found Errors
When installing a Polyspace_Common product on a 64 bit Linux machine, the installation program may end with the following error message:
exec: 2433: /tmp/install. dir. 880/Linux/resource/jre/bin/java: not found
This error occurs because the Polyspace installer is itself a 32-bit binary using 32-bit binaries, which may cause problems on a 64-bit machine. For example, on an Ubuntu 64-bit Linux machine, install the package "ia32-libs" from your Linux distribution.
2-41
2
Installing Polyspace® Software
Refer to the documentation for your Linux distribution for more information on installing these libraries.
Other Errors
Other errors may concern OS system, network and standard command available (for example "tar", "gzip", etc. ). Error messages are detailed enough to know which command has failed.
2-42
3
Installing Polyspace Model Link Products
· "Installing Polyspace Model Link Products" on page 3-2 · "Upgrading MATLAB Software" on page 3-4 · "Troubleshooting Polyspace Model Link SL Installation" on page 3-5
3
Installing Polyspace® Model Link Products
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:
3-2
Installing Polyspace® Model Link Products
2 Select the MATLAB releases to link with Polyspace.
3-3
3
Installing Polyspace® Model Link Products
Upgrading MATLAB Software
If you upgrade your MATLAB release, you must re-install Polyspace Model Link SL or Polyspace Model Link TL for that release. You can re-install Polyspace Model Link SL without using the installation DVD. To reinstall:
1 Copy the file
Polyspace_Common\PolySpaceModelLink\startup\polyspacerc. m into
your new MATLAB release matlabroot(new)\toolbox\local.
2 Enter edit matlabrc in the MATLAB command window. 3 Go to the end of the file, and add the following lines:
%% POLYSPACE CONFIGURATION polyspacerc; %% END OF POLYSPACE CONFIGURATION
4 Run MATLAB in "regserver" mode, to post-install your MATLAB release
on the local machine. To do this, enter the following command:
matlabroot(new)\bin\matlab. exe /regserver /r quit
Where matlabroot(new) is the MATLAB installation folder, for example
C:\MATLAB\R2009a.
3-4
Troubleshooting Polyspace® Model LinkTM SL Installation
Troubleshooting Polyspace Model Link SL Installation
In this section. . . "MATLAB Software Is Not Installed Locally" on page 3-5 "No Write Access to MATLAB Product Root" on page 3-6
MATLAB Software Is Not Installed Locally
If MATLAB is not installed locally, the registry entries do not contain reference to MATLAB, which Polyspace uses to detect installation folders. In this case, the Polyspace installer will not detect MATLAB, and will skip installation of the Polyspace Model Link tools. To perform a manual installation:
1 Insert the Polyspace DVD in your DVD drive. 2 Locate the corresponding windows drive (hereafter D:\), and copy the
entire folder D:\Data\Windows\Addin\Mathworks\polyspace into
PolySpace_Common\PolySpaceModelLink.
3 Copy the file D:\Data\Windows\Addin\Mathworks\startup\polyspacerc
into matlabroot\toolbox\local.
4 Edit matlabroot\toolbox\local\matlabrc, and add the following lines
at the end of the file:
%% POLYSPACE CONFIGURATION polyspacerc; %% END OF POLYSPACE CONFIGURATION
5 Run MATLAB in "regserver" mode, to post-install your MATLAB release
on the local machine. To do this, enter the following command:
matlabroot(new)\bin\matlab. exe /regserver /r quit
Where matlabroot(new) is the MATLAB installation folder, for example
C:\MATLAB\R2009a.
3-5
3
Installing Polyspace® Model Link Products
No Write Access to MATLAB Product Root
If the installer detects that there is no write access to matlabroot, it asks you if you want to add a desktop shortcut to start MATLAB and configure the Polyspace Model Link software. Double-click the shortcut to execute matlabroot\bin\win32\matlab. exe /r polyspacerc. [. . . ] · number_of_licenses -- number of available licenses for a given type. # LicenseNo: 517786 HostID: 00123456abc1 SERVER dev13 831da5d6 VENDOR MLM INCREMENT PolySpace_Client_C_CPP MLM 17 3-jan-2008 20 DF1FB89EB243 HOSTID=ID=12345 DUP_GROUP=UH SN=12345 INCREMENT PolySpace_Server_C_CPP MLM 17 3-jan-2008 20 9BFB0453E70F HOSTID=ID=1234E DUP_GROUP=UH SN=1234E INCREMENT PolySpace_Model_Link_SL MLM 17 3-jan-2008 20 B639E1D6739A HOSTID=ID=324AF DUP_GROUP=UH SN=324AF
Installing Licenses on an Existing FLEXnet Server
If you are already using a FLEXnet license manager, refer to the FLEXnet Manager user manual for information on how to add licenses for your Polyspace software. You can access the FLEXnet user manual directly from the Macrovision web site (http://www. macrovision. com). Note The lmgrd or lmgrd. exe service, lmutils and lmtools must have the correct version number. [. . . ]