|
|
|
| R2012a Documentation → Polyspace | |
Learn more about Polyspace |
|
| Contents | Index |
This table summarizes what's new in V5.7 (R2011a):
| New Features and Changes | Version Compatibility Considerations | Fixed Bugs and Known Problems |
|---|---|---|
| Yes Details below | Yes—Details labeled as Compatibility Considerations, below. See also Summary. | 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:
New options allow you to customize how OVFL checks are handled during verification. You can customize computation through overflow constructions, control the presence of overflow checks, and the dynamic behavior in case of a run-time error.
These options allow you to:
Not generate OVFL checks on all computations (values are computed the same way processors do).
Not truncate the value after an OVFL check, and carry on with wrapped values (OVFL check does not impact values during verification).
For more information, see Detect overflows on (-scalar-overflows-checks) and Overflows computation mode (-scalar-overflows-behavior) in the Polyspace Products for C/C++ Reference.
Compatibility Considerations. When using the new options, verification results may change when compared to previous versions of the software. Some checks may change color, and the Selectivity rate of your results may change.
Enhanced main-generator to improve verification results for generated code.
The new main-generator is specifically designed for cyclic programs, to support generated code and Model-Based Design. The main generator considers the scope of:
_step
initialization functions
calibrations
This improves verification results at the subsystem level.
Sample main:
initialize_parameters
call_initialization_functions
while (1){
initialize_inputs
call_step_functions
}
call_terminate_functions
For more information, see Main Generation for Model Verification in the Polyspace Model Link Products User's Guide, and Automatically Generating a Main in the Polyspace Products for C/C++ User's Guide.
Compatibility Considerations. Due to precision improvements, verification results may change when compared to previous versions of the software. Some checks may change color, and the Selectivity rate of your results may change.
Polyspace Model Link™ SL software now allows you to run different modes of verification, such as robustness vs. contextual, by specifying how the verification handles data ranges on model inputs, outputs, and tunable parameters within the model
For more information, see Configuring Data Range Settingsin the Polyspace Model Link Products User's Guide.
You can now annotate blocks in your Simulink model to justify known run-time checks or coding-rule violations.
Annotating a block allows you to highlight and categorize checks identified in previous verifications, so that you can focus on new checks when reviewing your verification results.
The Polyspace Run-Time Checks perspective displays the information that you provide, and marks the checks as Justified.
For more information, see Annotating Blocks to Justify Known Checks or Coding-Rules Violationsin the Polyspace Model Link Products User's Guide.
Precision enhancements on arrays and functions provide improved Selectivity (less orange) in your verification results.
Compatibility Considerations. Verification results may change when compared to previous versions of the software. Some checks may change color, and the Selectivity rate of your results may change.
Added support for Simulink Version 7.7 (R2011a).
 | Version 6.1 (R2011a) Polyspace for Ada Products | Version 8.0 (R2010b) Polyspace for C/C++ Products |  |
| © 1984-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |