|
|
|
| R2012a Documentation → Polyspace | |
Learn more about Polyspace |
|
| Contents | Index |
| On this page… |
|---|
Polyspace Product Requirements Polyspace Plug-In Requirements Polyspace Software License Requirements |
Before you install Polyspace® software on a client or server workstation, your hardware and software must meet the following requirements.
| Requirement | 32-Bit and 64-Bit Client | 32-Bit and 64-Bit Server |
|---|---|---|
| RAM | 1024 MB minimum 2 GB ECC RAM recommended | 2 GB minimum 4 GB ECC RAM recommended |
| Processor | Any Intel or AMD x86 processor supporting SSE2 instruction set SPARC® and ultraSPARC | |
| Operating system | Linux:[a]
Windows:
For Windows systems, you must also install Microsoft® .NET Framework 3.5 | |
| Disk space | 2 GB | |
| Swap space | At least twice the RAM size. | |
| Multi-core support | Polyspace verification benefits from using multi-core processors. The recommended hardware is 4 core processors with 2 GB of RAM per core. | |
[a] The listed distributions are those Linux distributions that MathWorks® products have been validated against. It is likely that other distributions with kernel version 2.6 or later and glibc version 2.5 or later can successfully run MathWorks products, but MathWorks will be in a limited position to provide technical support for those distributions. | ||
Note To install Polyspace software on a 64-bit Linux machine, you must have the 32-bit libraries installed. The Polyspace installer uses 32-bit binaries, which require these libraries. |
Before you install Polyspace link products or plug-ins, your hardware and software must meet the following requirements.
Product | Plug-In Software | Release | Operating System |
Polyspace Model Link™ SL (C Only) | MATLAB® | R2010a or later | Windows |
Embedded Coder™ | R2010a or later | Windows | |
Polyspace Model Link TL (C Only)
| MATLAB | R2010a or later | Windows |
TargetLink® (dSPACE®) | 3.0 | Windows | |
Polyspace UML Link™ RH | IBM® Rational® Rhapsody® | 7.4 and 7.5 | Windows |
Polyspace C++ add-in for Visual Studio® (C++ only) | Microsoft Visual Studio 2005[a] | 8.0[a] | Windows |
| MicrosoftVisual Studio 2008 | 9.0 | Windows | |
| MicrosoftVisual Studio 2010 | 10.0 | Windows | |
Polyspace plug-in for Eclipse IDE | Eclipse IDE for C/C++ | 3.5 and 3.6 | n Linux, Windows |
| Eclipse IDE for Ada[a] | 3.5 and 3.6[a] | ||
| Excel Macros | Microsoft Excel® | 2003 and 2007 | Windows |
[a] Deprecated: will no longer be supported in next release. | |||
Polyspace software provides two licensing options that, when combined with the supported installation types, provide flexibility in redeploying product licenses to different users.
Polyspace software provides the following license options.
License Option | Protection | Description |
Designated Computer (Individual) | MAC address or serial disk number of the designated computer | DC licenses are only for Polyspace client software. DC licenses are appropriate for users who want to install and administer the client software themselves. A DC license is provided in a text file. |
Concurrent | MAC address or serial disk number of the FLEXnet® server | Concurrent licenses are for both Polyspace client and server software. Concurrent licenses are appropriate for organizations that use license keys to control software access. Concurrent licenses require a FLEXnet license manager. |
Note For more information, see Polyspace License Installation. This chapter describes the licensing options in detail, and how to install the FLEXnet license manager. |
Ensure that the /tmp folder contains at least 10 MB of free space.
User path must include Polyspace_Install/bin (to launch the product without using the absolute path).
Place the Polyspace license file in Polyspace_Common/licenses/license.dat.
Polyspace Graphical User Interfaces require Gnome on Linux. Behavior on other Window managers is unpredictable.
For more information about installation folders, see Polyspace Software Installation Folders.
You must have Read and Execution access rights for all Polyspace software installation.
The Polyspace documentation requires Adobe® Acrobat® Reader. If you do not have Acrobat Reader on your system, you can download it from www.acrobat.com.
[a] The listed distributions are those Linux distributions that MathWorks® products have been validated against. It is likely that other distributions with kernel version 2.6 or later and glibc version 2.5 or later can successfully run MathWorks products, but MathWorks will be in a limited position to provide technical support for those distributions.
[a] Deprecated: will no longer be supported in next release.
 | Before You Begin | DVD Contents |  |
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |