User manual MATLAB POLYSPACE 7 INSTALLATION

[. . . ] PolySpace® 7 Installation Guide How to Contact The 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 2007­2010 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. [. . . ] 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 Viewer 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. This command starts MATLAB and automatically configures the PolySpace Model Link software. · If you select No, the installer will describe how to manually configure PolySpace Model Link software 3-6 4 Installing PolySpace UML Link RH 4 Installing PolySpace® UML LinkTM RH Installing PolySpace UML Link RH Product The PolySpace UML Link RH product provides an add-in inside the Rhapsody Model-Driven development tool. It concerns the installation of two components: · PolySpace library · "Back to model" extension (HTML link inside the code) in the PolySpace Viewer that allows direct navigation from a run-time error in the auto-generated code to the corresponding block in the UML model. The PolySpace Installer automatically detects that Rhapsody components are installed and installs PolySpace UML Link RH during the "Shared components" installation. If you install the Rhapsody software after installing PolySpace software, you can either re-install the PolySpace software or manually copy the plug-in files from the DVD to /PolySpace_Common/PolySpaceModelLink/. By default, a PolySpaceInstallCommon/PolySpaceUMLLink is created where we can find all the components of PolySpace UML Link RH. Moreover, the PolySpace installer modifies two files associated with the Rhapsody usage: · A line in the rhapsody. ini file located at the root of C:, or in C:\WINNT: CopyVBA=PolySpaceInstallCommon\PolySpaceUMLLink\bin\PolySpace. vba where PolySpaceInstallCommon represents the path to the PolySpace_Common folder. · Some lines are added to the RhapsodyInstallDir\Share\Properties\site. prp: Subject General Metaclass Model Property HelpersFile String "PolySpaceInstallCommon\\ PolySpaceUMLLink\\etc\\PolySpace. hep" End 4-2 5 Upgrading PolySpace Software · "Upgrading PolySpace Client Products" on page 5-2 · "Upgrading PolySpace Server Products" on page 5-4 5 Upgrading PolySpace® Software Upgrading PolySpace Client Products When the remote launcher has been installed, The Queue Manager interface (or PolySpace Spooler) is available to manage verifications sent by a PolySpace Client. The Menu Operations > Upgrade PolySpace Product allows the upgrade of a PolySpace Client. On the Server side, in the PolySpaceInstallCommon/. . /PolySpace_RLDatas/upgrades folder (/var/PolySpace/upgrades on UNIX) a new release of a product has been installed with the following format: <version>. tar or <version>. tar. gz. If such file in the upgrades folder exists, it is possible to upgrade the PolySpace client: Note The tar file needs to contain the setup. exe at his root. 5-2 Upgrading PolySpace® Client Products After having chosen options (installation folder and silent modes), the "PolySpace Queue Manager Interface" downloads the complete setup package (approximately 600 Mb) and unpacks it. [. . . ] · 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. [. . . ]