Learn more about Simulink Verification and Validation

Version 2.6 (R2009b) Simulink Verification and Validation Software

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 Current product documentation

New features and changes introduced in this version are:

• New Coverage Reporting for Variable-Size Signals

• Model Coverage for Simulink Design Verifier Blocks

• Force Block Reduction Off During Simulation

• Improved RMI Highlighting and Reporting

• Create Custom Configurations Using the Model Advisor Configuration Editor

• Licensing Revised for the Model Advisor

• New and Enhanced Model Advisor Checks

• Modeling Guidelines for High-Integrity Systems

New Coverage Reporting for Variable-Size Signals

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 Range option.

Model Coverage for Simulink Design Verifier Blocks

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:

• Proof Assumption

• Proof Objective

• Test Condition

• Test Objective

To enable this feature, in the Coverage Settings dialog box, on the Coverage tab, select Simulink Design Verifier.

Force Block Reduction Off During Simulation

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.

Compatibility Considerations

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.

Improved RMI Highlighting and Reporting

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.

Create Custom Configurations Using the Model Advisor Configuration Editor

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.

Licensing Revised for the Model Advisor

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.

Compatibility Considerations

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.

New and Enhanced Model Advisor Checks

The Simulink Model Advisor includes new and updated verification and validation checks.

DO-178B 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.

IEC 61508 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.

Modeling Guidelines for High-Integrity Systems

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.

Simulink Verification and Validation Release Notes

Version 2.5 (R2009a) Simulink Verification and Validation Software

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