Store 
| Products & Services | Solutions | Academia | Support | User Community | Company |
 |
Download Product Updates | | |  |
Get Pricing | | | |
Trial Software |
| Documentation → Simulink Verification and Validation |
| Products & Services | Solutions | Academia | Support | User Community | Company |
|
Download Product Updates | | | |
Get Pricing | | | |
Trial Software |
| Documentation → Simulink Verification and Validation |
| Contents | Index |
| Learn more about Simulink Verification and Validation |
This table summarizes what's new in Version 2.6 (R2009b):
| New Features and Changes | Version Compatibility Considerations | Fixed Bugs and Known Problems | Related Documentation at Web Site |
|---|---|---|---|
| Yes Details below | Yes—Details labeled as Compatibility Considerations, below. See also Summary. | Bug
Reports Includes fixes | Printable Release Notes: PDF |
New features and changes introduced in this version are:
In R2009b, signal sizes in Simulink models can change during execution to facilitate modeling systems with varying environments, resources, and constraints. The Simulink Verification and Validation software can report the minimum, maximum, and allocated space for all variable-size signals in a model, as recorded during simulation.
To enable this feature, in the Coverage Settings dialog box, on the Coverage tab, select the Signal Size option.
The Simulink Verification and Validation model coverage tool can collect model coverage data for Simulink Design Verifier blocks. Using this feature during simulation, you can verify Simulink Design Verifier generated test harnesses and user-defined requirements. The model coverage tool collects model coverage data for the following Simulink Design Verifier blocks:
To enable this feature, in the Coverage Settings dialog box, on the Coverage tab, select Simulink Design Verifier.
The Simulink Verification and Validation software can override the value of the Simulink Block reduction parameter. When you set this option, the simulation records coverage for all blocks in the model.
To enable this feature, in the Coverage Settings dialog box, on the Options tab, select Force block reduction off.
Previously, model coverage ignored the value of the Simulink Block reduction parameter, creating incompatibilities between the model coverage data and the generated code coverage data. In R2009b, you can select Force block reduction off to override the Block reduction parameter and collect coverage for all blocks in the model.
The Requirements Management Interface (RMI) has the following improvements to its highlighting and reporting capabilities:
Differential highlighting of blocks and subsystems to easily locate model objects with requirements links
Real-time update of highlighted view to reflect the current state of the model requirements links
Improved requirements report that includes a document summary, and details about signal group requirements and objects with missing requirements
New interface for modifying settings for the requirements report generation that is available to users who do not have a Simulink® Report Generator™ license
IBM Rational DOORS module paths stored with the requirements information for easier review. For requirement links created before R2009b, the module path information is still saved only in the DOORS module.
The Model Advisor Configuration Editor expedites creating and deploying custom configurations of the Model Advisor. The Configuration Editor assists with:
Adding MathWorks and custom checks to your custom configuration with drag and drop.
Creating new folders in your custom configuration from a toolbar icon.
Deploying custom configurations in a MAT file.
For more information, see Organizing Checks and Folders Using the Model Advisor Configuration Editor and How to Deploy Custom Configurations.
Previously, the Model Advisor populated the list of checks and folders based on the licenses available to you. When you ran checks, the software did not require a license checkout. In R2009b, the Model Advisor performs a checkout of the Simulink Verification and Validation license when you run Simulink Verification and Validation checks. For a list of Simulink Verification and Validation checks, see Model Advisor Checks in the Simulink Verification and Validation documentation.
The Model Advisor performs a checkout of a Simulink Verification and Validation license when you run:
Checks in the Simulink Verification and Validation folder
Custom checks
If you do not have a Simulink Verification and Validation license available, when you run the check, you see an error message that the required license is not available.
The Simulink Model Advisor includes new and updated verification and validation checks.
The DO-178B Check subfolder now includes Check safety-related diagnostic settings for model initialization.
The checks in the DO-178B Checks subfolder are reformatted for a consistent look and feel to the results.
For more information, see DO-178B Checks.
The IEC 61508 Checks subfolder now includes Check for model objects that do not link to requirements.
For more information, see IEC 61508 Checks.
The MathWorks intends this document for engineers developing models and generating code for high-integrity systems using Model-Based Design with MathWorks products. This document describes creating Simulink models that are complete, unambiguous, statistically deterministic, robust, and verifiable. The document focus is on model settings, block usage, and block parameters that impact simulation behavior or code generated by the Real-Time Workshop® Embedded Coder™ product.
These guidelines do not assume that you use a particular safety or certification standard. The guidelines reference some safety standards where applicable, including DO-178B, IEC 61508, and MISRA C®.
You can use the Model Advisor to support adhering to these guidelines. Each guideline lists the checks that are applicable to that guideline.
For more information, see "Modeling Guidelines for High-Integrity Systems" in the Simulink Verification and Validation documentation.
 | Version 2.7 (R2010a) Simulink Verification and Validation Software | Version 2.5 (R2009a) Simulink Verification and Validation Software |  |
Learn more about Simulink through this collection of videos, articles, technical literature and the Getting Started with Simulink Guide.
| © 1984-2010- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |
