|
|
|
| R2012a Documentation → Polyspace | |
Learn more about Polyspace |
|
| Contents | Index |
This table summarizes what's new in V5.8 (R2011b):
| New Features and Changes | Version Compatibility Considerations | Fixed Bugs and Known Problems |
|---|---|---|
| Yes Details below | No | Includes fixes: Polyspace Model Link SL Bug Reports Polyspace Model Link TL Bug Reports Polyspace UML Link RH Bug Reports |
New features and changes introduced in this version are organized by product:
The software provides a new pane Polyspace Model Link that allows you to check your Simulink model settings and configure and start your Polyspace verification within the Configuration Parameters dialog box.
After you create your Simulink model, from the model window, select Tools > Polyspace > Options. The software opens the Configuration Parameters dialog box with the new Polyspace Model Link pane displayed.
To remove the pane and Polyspace configuration information from your model, select Tools > Polyspace > Remove Polyspace settings from model.
For more information, see the Polyspace Model Link Products User's Guide .
Previously, if you wanted to verify code generated for a 16-bit target processor, you had to perform command line actions to specify header files for the 16-bit compiler. Furthermore, the software could not automatically identify the specified compiler from the Simulink model.
Now, through the Include (-include) and Include Folders (-I) options on the Configuration pane, you can specify header files for your 16-bit compiler. In addition, the software automatically identifies the compiler from the Simulink model. If the compiler is 16-bit and you do not specify the necessary header files, the software produces an error when you try to run a verification.
For more information, see Specifying Header Files for Target Compiler in the Polyspace Model Link Products User's Guide.
Before you start a Polyspace verification, you can now check that your Simulink model is configured to generate code that yields optimal verification results: in the Configuration Parameters > Polyspace Model Link pane, click Check Configuration. In addition, if you try to run a verification without selecting the correct options, the software generates warnings or errors. The software checks settings for the following model parameters .
| Parameter | Recommended Setting |
|---|---|
| MultiInstanceERTCode | 'off' |
| MatFileLogging | 'off' |
| InlineParams | 'off' |
| ZeroExternalMemoryAtStartup | 'off' when Configuration Parameters > Polyspace Model Link > Data Range Management > Output is Global assert |
| InitFltsAndDblsToZero | 'on' |
For more information, see Run Polyspace Verification in the Polyspace Model Link Products User's Guide.
Added support for Simulink Version 7.8 (R2011b).
To rectify previously encountered installation issues, the product has been rewritten in Java™, supporting versions 7.4 and 7.5. See updated documentation in the Polyspace UML Link RH User's Guide.
 | Version 6.2 (R2011b) Polyspace for Ada Products | Version 8.1 (R2011a) Polyspace for C/C++ Products |  |
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |