Polyspace Pane

The Polyspace pane includes parameters that prepares the model for a Polyspace^® analysis of the generated code. By using these parameters you can:

• Configure your analysis for C or C++ analysis

• Manage the ranges of input and output data

• Configure how Polyspace analyzes the model reference hierarchy

• Configure where the Polyspace results are stored

• Reuse Polyspace analysis configuration from a specific Polyspace project (psprjx) file

The tables summarize the parameters available on the Polyspace pane of the Configuration Parameters dialog box.

Analysis Configuration

Parameter	Description
Settings from (C)	Settings to use for the Polyspace analysis of C code
Settings from (C++)	Settings to use for the Polyspace analysis of C++ code
Project configuration	Set advanced configuration options to customize analysis

Data Range Management

Parameter	Description
Input	Option to choose whether to constrain Inport block variables
Tunable parameters	Option to specify the assumed value of tunable parameter values during the analysis
Output	Option to verify whether output variables are within expected bounds

Model Reference

Parameter	Description
Model reference verification depth	Option to specify depth of model reference hierarchy for Polyspace analysis
Model by model verification	Option to analyze each model or referenced model individually
Ignore model references	Option to ignore specified model references
Model reference input/output range verification	Option to verify that input and output of model references are within specified values

Output

Parameter	Description
Output folder	Option to specify path and folder name for your analysis results
Make output folder name unique by adding a suffix	Option to add a unique suffix to the results folder for every Polyspace run

Results

Parameter	Description
Open results automatically after verification	Option to open analysis results in Polyspace user interface after analysis completes
Add results to current Simulink project	Option to add your Polyspace results to current Simulink® project

These configuration parameters are in the Advanced parameters section.

Advanced Parameters

Product mode	Option to choose between Polyspace Bug Finder™ and Polyspace Code Prover™
Use custom project file	Option to use custom configuration from a Polyspace project (.psprjx) file
Enable additional file list	Option to add additional supporting code files to analysis
Stub lookup tables	Option to stub autogenerated functions that use lookup tables with linear interpolation
Verify all S-function occurrences	Option to analyze all instances of selected S-Function block
Check configuration before verification	Option to check model and code configurations for errors before code analysis