Version 2.7 (R2010a) Simulink Verification and Validation Software

This table summarizes what's new in Version 2.7 (R2010a):

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.	Bug Reports Includes fixes

New features and changes introduced in this version are:

• Coverage Support for Dead Zone Block

• Coverage Support for the Simulink Design Verifier Functions in MATLAB Function Blocks

• Coverage Support for Trigger Ports in Model Blocks

• Requirements Support for MuPAD Documents

• Improved Reports About Requirements Links in Models

• New Capability to Tag and Filter Model Requirements

• Improved IBM Rational DOORS Synchronization

• Function rminav Removed

• New and Enhanced Model Advisor Checks

• Modeling Guidelines Documentation Moved into Simulink Documentation

Coverage Support for Dead Zone Block

The Simulink Verification and Validation software now records coverage for the Dead Zone block.

Coverage Support for the Simulink Design Verifier Functions in MATLAB Function Blocks

The Simulink Verification and Validation software now records coverage for the following Simulink Design Verifier functions in MATLAB Function blocks:

• sldv.assume

• sldv.condition

• sldv.prove

• sldv.test

Coverage Support for Trigger Ports in Model Blocks

The Simulink Verification and Validation software records coverage for a triggered Model block.

Requirements Support for MuPAD Documents

The Requirements Management Interface (RMI) now allows you to create requirements links from Simulink model objects to link targets in MuPAD^® notebooks.

Improved Reports About Requirements Links in Models

In the requirements reports, the Requirements Management Interface (RMI) reporting capability includes the following improvements:

• Navigation to Simulink model objects with requirements

• Improved table design in requirements reports to accommodate additional detail about requirements

New Capability to Tag and Filter Model Requirements

The Requirements Management Interface (RMI) now allows filtered highlighting and reporting through the user tag attribute. Use this feature to review links with certain associated user tags. You can configure your settings to automatically apply specified tags when using selection-based linking. Manage these user tags with the new rmitag function.

Improved IBM Rational DOORS Synchronization

The Requirements Management Interface (RMI) synchronization of Simulink models with the IBM Rational DOORS software now provides control of change propagation for requirements links created in DOORS or Simulink. You can configure the synchronization to remove outdated links in DOORS whose corresponding links you have already deleted from Simulink. You can also configure the synchronization to remove outdated links in Simulink whose corresponding links you have already deleted from DOORS. When you delete objects with requirements from your Simulink model, you can automatically remove links in DOORS.

Function rminav Removed

The Simulink Verification and Validation software no longer supports the rminav function. To view model requirements, open the Model Explorer by selecting View > Model Explorer or entering the daexplr command. In the Model Explorer, click the Highlight items with requirements on model icon.

Compatibility Consideration

In R2009b, the rminav command opened the Model Explorer.

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 state machine type of Stateflow charts

• Check Stateflow charts for ordering of states and transitions

• Check Stateflow debugging settings

The checks in the DO-178B Checks subfolder are reformatted for consistency in the results format.

For more information, see DO-178B Checks in the Simulink Verification and Validation documentation.

IEC 61508 Checks

The IEC 61508 Checks subfolder now includes Check state machine type of Stateflow charts.

For more information, see IEC 61508 and ISO 26262 Checks in the Simulink Verification and Validation documentation.

MathWorks Automotive Advisory Board Checks

The MathWorks Automotive Advisory Board subfolder now includes:

• Check usage of return values from a graphical function in Stateflow charts

• Check for pointers in Stateflow charts

• Check for event broadcasts in Stateflow charts

• Check for MATLAB expressions in Stateflow charts

• Check for bitwise operations in Stateflow charts

• Check for comparison operations in Stateflow charts

• Check for unary minus operations on unsigned integers in Stateflow charts

• Check for equality operations between floating-point expressions in Stateflow charts

The checks in the MathWorks Automotive Advisory Board subfolder are reformatted for consistency in the results format.

For more information, see MathWorks Automotive Advisory Board Checks.

Modeling Guidelines Documentation Moved into Simulink Documentation

The Modeling Guidelines for High-Integrity Systems and MathWorks Automotive Advisory Board Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow documentation is now in the Simulink documentation.

For more information, see Modeling Guidelines in the Simulink documentation.

Version 3.0 (R2010b) Simulink Verification and Validation Software

Version 2.6.1 (R2009bSP1) Simulink Verification and Validation Software

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