Version 2.2 (R2007b) Simulink® Verification and Validation™ Software Release Notes

Version 2.2 (R2007b) Simulink^® Verification and Validation™ Software

This table summarizes what's new in Version 2.2 (R2007b):

New features and changes introduced in this version are

• Model Coverage Support for Referenced Models

• Model Advisor Checks for Modeling Standards Enhanced

• API for Customizing Model Advisor HTML Reports

Model Coverage Support for Referenced Models

This release introduces model coverage support for referenced models that operate in Normal mode. That is, you can now record coverage for Model blocks whose Simulation mode parameter specifies Normal. Toward that end, this release provides three new functions:

• cvsimref

• cv.cvdatagroup

• cv.cvtestgroup

For more information, see Using Model Coverage Commands for Referenced Models in the Simulink^® Verification and Validation™ User's Guide.

Model Advisor Checks for Modeling Standards Enhanced

The Simulink^® Model Advisor has been enhanced with new and updated verification and validation checks.

• In the Task Hierarchy tree, the check category By Product > Simulink Verification and Validation > Modeling Standards includes two new subcategories: DO-178B Checks and MathWorks Automotive Advisory Board Checks.

• The DO-178B Checks subcategory includes new checks that help enforce and document adherence to coding standards for DO-178B, Software Considerations in Airborne Systems and Equipment Certification. If a piece of software will be flying on a commercial aircraft, the development and verification process must comply with DO-178B. For descriptions of the DO-178B checks, see Model Advisor Checks in the Simulink^® Verification and Validation™ User's Guide.

• The DO-178B checks also appear under the new category By Task > Safety Critical for DO-178B.

• Checks listed under By Product > Simulink Verification and Validation > Modeling Standards in earlier releases, appear under the new subcategory MathWorks Automotive Advisory Board Checks. These checks ensure that Simulink block diagrams adhere to style guidelines published by the MathWorks Automotive Advisory Board (MAAB).

• Some MathWorks Automotive Advisory Board Checks have been updated. For example, the check for "hd_0001, Prohibited Simulink Sink and Data Store blocks" was modified to allow Data Store Memory, Data Store Read, and Data Store Write blocks and the check for "db_0146, Triggered or enabled subsystems" was modified to include For Iterator, While Iterator, and Case blocks.

API for Customizing Model Advisor HTML Reports

This release provides a new API that allows you to customize Model Advisor HTML reports. The API provides classes and methods for formatting custom HTML reports, making it easier to create, understand, and maintain Model Advisor HTML reports. See Formatting Model Advisor Outputs in the Simulink^® Verification and Validation™ User's Guide.

Version 2.3 (R2008a) Simulink® Verification and Validation™ Software

Version 2.1.1 (R2007a+) Simulink® Verification and Validation™ Software