Polyspace Product Support Resources and FAQ

Note: Access to the latest versions of Polyspace products is no longer locked to dongle hardware. A host ID is now required to generate the license file to run the software. See below for details on submitting a host ID through your MathWorks Account.

The Polyspace line of code verification tools contains seven products: a client and a server product for C/C++, a client and server product for Ada, and three link products.

Polyspace Client for C/C++
Polyspace Server for C/C++
Polyspace Client for Ada
Polyspace Server for Ada
Polyspace Model Link SL (for Simulink)
Polyspace Model Link TL (for dSPACE TargetLink)
Polyspace UML Link RH (for IBM Rational Rhapsody)

All add-ons previously available separately have been incorporated into these products.

View detailed product information.

Polyspace FAQ

Support

1. What is a MathWorks Account and how do I use mine?

A MathWorks Account allows you to update to your license and contact information on The MathWorks Web site, as well as take advantage of other benefits.

A MathWorks Account is automatically created for the primary contact associated with a Polyspace license. If you are an administrator or asset manager on an existing license, login and password information was sent via a separate e-mail on August 1, 2007. If you need to retrieve your password, you can request it to be e-mailed to you.

If you have received your MathWorks Account information, log in to choose a permanent password, and verify that your address information is accurate and complete. Also, a host ID is now required to generate the license file to run the latest versions of the software. Visit the License Center and submit your host ID by selecting the “Add Host ID” option for each Polyspace license.

If you have not already created a MathWorks Account (or are not the administrator or asset manager on the license), you can create a new MathWorks Account. If you are working with a concurrent license, you can also associate yourself with a license and gain access to licensed user benefits. Request your new MathWorks license number from the administrator or asset manager at your organization and associate yourself with the license from within your MathWorks Account.

2. How do I contact someone to get my questions answered?

The MathWorks generally provides specific contact information for three types of questions:

Sales: help with purchasing and general questions
Customer Service: help with license questions, order status, account information changes or additions, etc.
Technical Support: help with product support

For sales-related questions:
You can reach a regional sales representative or distributor by selecting your country from the contact page. You can also ask any general sales questions by submitting a Sales Request to the MathWorks office in your area.

For customer service and technical support requests:
Customer service and technical support can provide assistance with license questions, order status, account information changes, and product support. You can get help by submitting a request online through “My Service Requests” or by calling The MathWorks directly.

Learn how to contact worldwide Customer Service and Technical Support.

3. How do I follow up on my bug reports and enhancement requests?

Bug reports and enhancement requests made previously to Polyspace via the online Mantis bug tracking system on my-polyspace.com will not be mapped automatically to the MathWorks “My Service Requests” and “Bug Reports” online systems. If you would like to have any particular support requests moved to these MathWorks systems, please provide MathWorks Technical Support with the Mantis ID number.

Contact Technical Support regarding a previous support request.

Product Access

1. How do I access the latest versions of Polyspace products?

CDs with the latest versions of Polyspace software were shipped to the administrator for your license and should arrive in a few weeks for you to install.

You can also download the latest versions of Polyspace products you are licensed to use (login required). Each product is available in an ISO image format, which you can either burn on a CD or mount to install. Learn more about downloading and installing ISO images.

Access to the latest versions of Polyspace products is no longer locked to dongle hardware. A host ID is now required to generate the license file to run the software. Visit the License Center within your MathWorks Account and submit your host ID by selecting the “Add Host ID” option for each Polyspace license.

2. What is a host ID?

A host ID is a machine-specific number that locks the license file to a specific computer. For Linux and Windows machines, the Ethernet (MAC) address is used. Optionally, on Windows computers, the IP address can also be used.

Learn how to find your host ID.

3. What is a license file?

A license file is the string of unique numbers and letters (INCREMENT lines) that allow installation of Polyspace products on individual Windows workstations, as well as all network licenses. The license file controls which programs can be installed and the number of users who can access the software at one time.

License files are sent to the administrator on a new license. To retrieve your license file, visit the License Center.

Learn more about license files.

4. What is included in the release shipment?

The shipment contains one CD and related installation documentation. The CD does not contain any other MathWorks products and is valid for Windows, Mac, Linux, and Solaris platforms.

5. Is software available for download?

Yes, you can download the latest versions of Polyspace products you are licensed to use from the MathWorks Web site (login required). Each product is available in an ISO image format, which you can either burn on a CD or mount to install. Learn more about downloading and installing ISO images.

6. Do I need to purchase MATLAB or other MathWorks products to use Polyspace products?

Most Polyspace products do not require a license for any MATLAB or Simulink based product. The exception is Polyspace Model Link SL (for Simulink), which requires MATLAB, Simulink, and Embedded Coder.

Product Information

1. Where can I find out more about Polyspace products?

View detailed product information.

View product documentation.

2. What changes have been made to Polyspace products?

The Polyspace product line contains seven products: a client and a server product for C/C++, a client and a server product for Ada, and three link products. All add-ons previously available separately have been incorporated into these products.

Learn more about these Polyspace product changes.

3. Why should I upgrade to the new versions of Polyspace products?

We encourage you to upgrade to the latest versions, which include new features, bug fixes, and user advantages, such as:

Access to the latest versions of Polyspace products without the use of dongle hardware
Use of floating license and integration of HTML report generation in the server products
Bundling of MISRA C and JSF++ checking, report generation, and other add-on features with the client and server products
Bundling of C/C++ products
Improved results exploration with enhanced assistance mode in client products

View detailed product information.

4. Are the quotes I received from Polyspace prior to August 1, 2007, still valid?

Quotes received from Polyspace prior to August 1, 2007, have expired and are no longer valid. To receive a new quote, you can either:

Contact a regional sales representative or distributor, as listed above.
Submit an online Sales Request for follow-up by the MathWorks representative in your area.

5. Is my Polyspace software maintenance service subscription still valid? How can I renew it?

Yes, your Polyspace maintenance subscription is still valid. It has been extended to the first day of the month following its original expiration date, to be consistent with the MathWorks maintenance schedule. For example, if the original expiration date was November 12, 2007, your subscription expired on December 1, 2007.

You will be contacted by The MathWorks about renewing your maintenance service approximately 60 days prior to your expiration date. MathWorks Software Maintenance Service provides a cost-effective way to receive product updates and bug fixes, get technical support, add new products to your license, and manage licenses online. You can continue uninterrupted service in subsequent years by renewing your subscription annually.

6. What is the annual renewal fee for MathWorks Software Maintenance Service with Polyspace products?

MathWorks Software Maintenance Service annual fees are equal to 18% of the list price. Your maintenance fees will be based on your new product licenses and reflect the increased functionality included in the new products.

7. Will The MathWorks continue to support integration with dSPACE TargetLink and IBM Rational Rhapsody?

Yes, Polyspace Model Link TL (for dSPACE TargetLink) and Polyspace UML Link RH (for IBM Rational Rhapsody) will support integration.

8. I’m using Polyspace products in a DO-178B context. Will The MathWorks continue to offer qualifiable versions of Polyspace products?

Yes, we will continue to offer a qualification kit for the Polyspace products. Development of a license model for the kit is in progress, with plans to make the kit available soon.

9. What platforms do the latest versions of Polyspace products support?

Learn more about Polyspace platform support and system requirements.