MATLAB: How to obtain passcodes for PolySpace licenses

Polyspace Client for AdaPolyspace Client for C/C++Polyspace Code ProverPolyspace Code Prover ServerPolyspace Model Link SLPolyspace Model Link TLPolyspace Server for AdaPolyspace UML Link RH

I am the Administrator of a PolySpace license and I would like to know how to obtain the passcodes from the website.

Best Answer

The passcodes for PolySpace are obtained from the License Center. If you are an Administrator of a PolySpace license, you can obtain the PolySpace passcodes by logging into your MathWorks account here:

https://www.mathworks.com/licensecenter

To obtain your passcodes, click on the row for your license to select the license. Once the license details are retrieved, navigate to the Passcodes tab. If the license is new and has not been configured, you will need to lock the license to the Host ID of the network license manager or the PolySpace client. If you are not sure what the Host ID of the machine is, see the related solution: "What is a Host ID or Machine ID? How do I determine my Host ID (Machine ID) in order to activate or get passcodes for my license?"

To add the Host ID to the license, click the "Add/Change Host ID" button. Add the relevant Host ID when prompted. You will be presented with the license file once complete.

If you have already added the Host ID and require the license file, click the "Get Passcodes" button to retrieve the license.

If you need to change the Host ID and obtain the new license, click the "Request Passcodes" button to have a new license generated for you.

If you have any issues accessing the passcodes from the License Center, contact Customer Service here:

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

Related Solutions

MATLAB: How to configure network Polyspace licenses for Polyspace R2013a and earlier

This article only applies to Polyspace R2013a and earlier. As of R2013b, Polyspace licensing part of MATLAB licensing. See the MATLAB documentation for instructions on installing and licensing MATLAB:

Install Products Using a MathWorks Account

Install License Manager Using a MathWorks Account

Installing Polyspace R2013a and earlier:

PolySpace products support two main types of license:

Designated Computer (DC) license. These licenses are used only for PolySpace client software.
Concurrent license. These licenses can be used for both PolySpace client and PolySpace server features.

Once you specify your MAC Address or serial disk number, you will receive one or more license files depending on the type of license you have.

This solution describes where to put the license files, and how to configure your license, depending on the license type and features you are using.

Configuring FLEXnet Licenses for PolySpace Products (R2007a+ and later)

What Types of Licenses Do PolySpace Products Support?
Configuring a Designated Computer License
Configuring a Concurrent License on the server
Configuring a Concurrent License on a client
Identifying Designated Computer and Concurrent Licenses
What If I have Other MathWorks Products Installed?
What If I have an Old PolySpace FLEXnet License Server?

What Types of Licenses Do PolySpace Products Support?

PolySpace products support two main types of license:

Designated Computer (DC) license - Also called an individual license. These licenses are used only for PolySpace client software.
Concurrent license - Also called a floating license. These licenses can be used for both PolySpace client and PolySpace server features.

Once you specify your MAC Address or serial disk number, you will receive one or more license files depending on the type of license you have.

This document describes where to put the license files, and how to configure your license, depending on the license type and features you are using.

Configuring a Designated Computer License

A Designated Computer license is available only for PolySpace client software. The license file looks like the following:

# MATLAB license passcode file.  
# License No: 111111  
INCREMENT PolySpace_Client_C_CPP MLM 19 01-jan-0000 uncounted \  
ABCDEF12345678A HOSTID=DISK_SERIAL_NUM=388ab914 SN=111111 TS_OK

Place this license file in the directory C:\PolySpace\PolySpace_Common\etc, and name it license.dat. With a Designated Computer license, you do not need to run any FLEXnet server.

Configuring a Concurrent License on the server

A Concurrent license requires a FLEXnet server. The FLEXnet Server is available on the PolySpace CD-ROM at CD-ROM\Data\[Windows or Linux]\FLEXLM, and must be installed manually. Refer to the PolySpace License Installation Guide for information about installing the FLEXnet Server.

To generate a concurrent license file, you must provide the MAC address of the machine where you will install the network license manager. This license file contains a line for a concurrent PolySpace Server for C/C++ license, and a line for a PolySpace Client for C/C++ license.

After copying the FLEXnet tools to a directory on the dedicated MyFlexServer host, you must update the license file by adding the following lines at the top of the license.dat file:

SERVER MyFlexServer 00123456abc1  
VENDOR MLM  
INCREMENT PolySpace_Server_C_CPP MLM 19 01-jan-0000 2 \  
A1B2C3D4E891011AB HOSTID=ID=111111 SN=111111  
INCREMENT PolySpace_Client_C_CPP MLM 19 01-jan-0000 1 \  
A1BCD3EF12311078A HOSTID=ID=111111 SN=111111

The license file is now fully compatible with network license manager. For more information, refer to the FLEXnet End User's Guide. This procedure also applies if you want to add the features of the license file to an existing FLEXnet server. The FLEXnet server can be installed on a PolySpace Client machine, a PolySpace Server machine or any machine on the same network.

Configuring a Concurrent License on a client

Since the license mechanism is compatible with the environment variables LM_LICENSE_FILE and MLM_LICENSE_FILE on either a client or server system, you have two options:

Set the environment variable LM_LICENSE_FILE using the command: "set LM_LICENSE_FILE=27000@MyFlexServer" where 27000 is the port on which to reach the FLEXnet server on the host MyFlexServer.
Create a license.dat file containing the following two lines:
\n
SERVER MyFlexServer 00123456abc1 27000
USE_SERVER

Then, place the file license.dat in C:\PolySpace\PolySpace_Common\etc.

Identifying Designated Computer and Concurrent Licenses

Individual license files have the word "uncounted" in the license line. This line is used directly in the license file. See the example in Configuring a Designated Computer License.

What If I have Other MathWorks Products Installed?

PolySpace products use the same license mechanism as other MathWorks products. If you receive a Designated Computer license for PolySpace products, refer to Configuring a Designated Computer License.

If you receive a Concurrent License and you already use a FLEXnet Server for other MathWorks products, you must add all concurrent INCREMENT lines in the PolySpace license to the FLEXnet Server, and reread it. Then, refer to Configuring a Concurrent license on a PolySpace Client or PolySpace Server System.

What If I have an Old PolySpace FLEXnet License Server?

To use PolySpace products release R2007a+ or later, you must upgrade the FLEXnet Server to the one available on the PolySpace product CD-ROM.

The upgrade process involves uninstalling your old FLEXnet server and installing the new one. For installation information, see Configuring a Concurrent License on the FLEXnet Server System. Then, refer to Configuring a Concurrent License for licensing information.

MATLAB: How to install and configure the network license manager for PolySpace products

PolySpace R2013b and later:

With PolySpace R2013b, PolySpace now shares many core elements with MATLAB, including the license server. To install a PolySpace license server, refer to the MATLAB Network License Administration Documentation:

https://www.mathworks.com/help/releases/R2018a/install/ug/install-license-manager-using-a-file-installation-key.html

PolySpace R2013a and prior:

The PolySpace network license manager is not installed when you install your PolySpace products. To setup the license manager, you must do so manually. Please refer to Section 3 of the PolySpace License Installation Guide located on the PolySpace installation disk. This guide is contained in the following PDF document:

$CD\Docs\Install\PolySpace_License_Installation_Guide.pdf

(where $CD is the path the installation CD)

If you have questions or concerns about setting up the license manager for PolySpace, you can contact the Installation and Licensing team by creating a Service Request here:

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

Best Answer

Related Solutions

MATLAB: How to configure network Polyspace licenses for Polyspace R2013a and earlier

MATLAB: How to install and configure the network license manager for PolySpace products

Related Question