Product Documentation

Search MATLAB Documentation
R2012a Documentation → Polyspace
View documentation for other releases	Learn more about Polyspace

Contents

Index

• Polyspace Installation Guide

• Before You Begin

• Hardware and Software Requirements

Polyspace Product Requirements

Polyspace Plug-In Requirements

Polyspace Software License Requirements

UNIX and Linux Installation Requirements

Polyspace Documentation Requirements

Polyspace Installation Options

Polyspace Software Installation Folders

• Installing Polyspace Software

• Polyspace Products You Can Install

Overview of Polyspace Products

Polyspace Client Software

Polyspace Server Software

• Installing the Polyspace Software

Before Starting the Installation

Installing the Software

Configuring the Polyspace Server Software

Activating Polyspace Software

Polyspace Software Icons

• Launching Installation from Command Line

Installing Software on a Linux or UNIX Platform

Installing Software in Silent Mode

• Configuring Polyspace Software

Configuring Polyspace Client Software

Configuring Polyspace Server Software

Configuring Polyspace Metrics Web Interface

Troubleshooting Common Errors

• Configuring Polyspace Server to Support Multiple Versions of Client Software

Windows Server Configuration

Linux/Solaris Server Configuration

• Installing Polyspace Model Link Products

Installing Polyspace Model Link Products

Upgrading MATLAB Software

• Troubleshooting Polyspace Model Link SL Installation

MATLAB Software Is Not Installed Locally

No Write Access to MATLAB Product Root

• Installing Polyspace UML Link RH

Installing Polyspace UML Link RH Product

• Installing Polyspace C++ Add-In for Visual Studio

Installing the Polyspace C++ Add-In for Visual Studio

• Installing Polyspace Plug-In for Eclipse IDE

Installing the Polyspace Plug-In for Eclipse IDE

• Uninstalling Polyspace Products

• Uninstalling on Windows Platforms

Should I Uninstall Previous Releases Before Installing?

Uninstalling the Polyspace Software

Uninstalling Shared Components

• Uninstalling on Linux or UNIX Platforms

Should I Uninstall Previous Releases Before Installing?

Uninstalling the Polyspace Software

Uninstalling Shared Components

• Polyspace License Installation

• Polyspace License Overview

Polyspace Licensing Options

Obtaining a License File

• Common Licensing Questions

Do I need a FLEXnet Server to Use an Individual License?

How Do I Identify Designated Computer and Concurrent Licenses?

What If I Have Other MathWorks Products Installed?

What If I Have an Old Polyspace FLEXnet License Server?

• Configuring Designated Computer Licenses

Installing License Files

DC License File Format

• Configuring Concurrent Licenses

Introduction to FLEXnet Licensing

Installing FLEXnet Manager

Configuring a Concurrent License

Installing Licenses on an Existing FLEXnet Server

Checking Installed Licenses

• License Error Messages

Error -15, the FLEXnet server is unreachable

Error -5, the Polyspace feature is not available

Error -21, license file does not support this version

Error -10, the license date has expired

• Polyspace Products for C/C++

• Polyspace Products for Ada

• Polyspace Model Link Products User's Guide

• Getting Started with Model Link Products

• Product Overview

• Tutorial: Verifying Code from a Simple Model

• Configure Model for Code Verification

Overview of Model Configuration for Code Generation and Verification

Configuring Simulink Model for Code Verification

Recommended Model Settings for Code Verification

Checking Simulink Model Settings

• Specifying Signal Ranges

Annotating Blocks to Justify Known Checks or Coding-Rules Violations

• Configure Code Verification Options

Overview of Polyspace Configuration

Including Handwritten Code in Verification

Specifying Client or Server Verification

Configuring Data Range Settings

Configuring Verification of Model Reference Code

Specifying Location of Results

Configuring Polyspace Verification Options

Configuring Polyspace Project Properties

Creating a Polyspace Configuration File Template

Specifying Header Files for Target Compiler

Removing Polyspace Options From Simulink Model

Main Generation for Model Verification

• Polyspace Model Link SL Considerations

• Polyspace Model Link TL Considerations

• Run Code Verification

Running Verification with Polyspace Model Link SL Software

Running Verification with Polyspace Model Link TL Software

• Monitoring Verification Progress

Running a Verification from the Command Window

Code Generation and Verification with a Configured Model

MATLAB Functions For Polyspace Batch Runs

• Archive Files for Polyspace Verification

• Review Verification Results

Viewing Results in Polyspace Verification Environment

Identifying Errors in Simulink Models

• Polyspace UML Link RH User's Guide

• Release Notes

Model Link Products User's Guide

Getting Started with Model Link Products	Examples and concepts to help you quickly get started using model link products
Configure Model for Code Verification	Describes how to configure a Simulink model for Code Generation and Verification
Configure Code Verification Options	Describes how to configure verification options
Run Code Verification	Describes how to run verification, review results, and locate and fix model faults
Review Verification Results	Describes how to run verification, review results, and locate and fix model faults

Getting Started with Model Link Products

Getting Started with Model Link Products

© 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS