|
|
|
| R2011b Documentation → Simulink Verification and Validation | |
Learn more about Simulink Verification and Validation |
|
| Contents | Index |
This table summarizes what's new in Version 2.2 (R2007b):
| New Features and Changes | Version Compatibility Considerations | Fixed Bugs and Known Problems |
|---|---|---|
| Yes Details below | No | Bug
Reports Includes fixes |
New features and changes introduced in this version are
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:
For more information, see Using Model Coverage Commands for Referenced Models in the Simulink Verification and Validation User's Guide.
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.
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 verify 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.
| For Information on How To... | See... |
|---|---|
| Use the Model Advisor | Consulting the Model Advisor in Simulink User's Guide |
| Customize the Model Advisor with your own tasks and checks | Customizing the Model Advisor in the Simulink Verification and Validation User's Guide |
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 Results in the Simulink Verification and Validation User's Guide.
![]() | Version 2.3 (R2008a) Simulink Verification and Validation Software | Version 2.1 (R2007a) 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-2012- The MathWorks, Inc. - Site Help - Patents - Trademarks - Privacy Policy - Preventing Piracy - RSS |