User manual MATLAB SIMULINK VERIFICATION AND VALIDATION RELEASE NOTES

[. . . ] Simulink® Verification and ValidationTM Release Notes How to Contact The MathWorks Web Newsgroup www. mathworks. com/contact_TS. html Technical Support www. mathworks. com comp. soft-sys. matlab suggest@mathworks. com bugs@mathworks. com doc@mathworks. com service@mathworks. com info@mathworks. com Product enhancement suggestions Bug reports Documentation error reports Order status, license renewals, passcodes Sales, pricing, and general information 508-647-7000 (Phone) 508-647-7001 (Fax) The MathWorks, Inc. 3 Apple Hill Drive Natick, MA 01760-2098 For contact information about worldwide offices, see the MathWorks Web site. Simulink® Verification and ValidationTM Release Notes © COPYRIGHT 2004­2010 by The MathWorks, Inc. The software described in this document is furnished under a license agreement. The software may be used or copied only under the terms of the license agreement. [. . . ] 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" in the Simulink Verification and Validation User's Guide. 11 Simulink® Verification and ValidationTM Release Notes 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" in the Simulink Verification and Validation User's Guide. 12 Version 2. 6 (R2009b) Simulink® Verification and ValidationTM Software 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" in the Simulink Verification and Validation User's Guide. 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 CoderTM 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. 13 Simulink® Verification and ValidationTM Release Notes Version 2. 5 (R2009a) Simulink Verification and Validation Software This table summarizes what's new in Version 2. 5 (R2009a): New Features and Changes Yes Details below Version Compatibility Considerations No Fixed Bugs and Known Problems Bug Reports Includes fixes Related Documentation at Web Site Printable Release Notes: PDF Current product documentation New features and changes introduced in this version are: · "Recording Coverage for External Embedded MATLAB Files" on page 14 · "API for Customizing Model Advisor Results" on page 15 · "New and Enhanced Model Advisor Checks" on page 15 · "MathWorks Automotive Advisory Board Control Algorithm Modeling Guidelines Using MATLAB, Simulink, and Stateflow Included in Help" on page 16 Recording Coverage for External Embedded MATLAB Files Embedded MATLAB Function blocks and functions can call external program files. The Model Coverage Tool extends the model coverage capabilities to record coverage for these files. By default, this option is disabled; coverage is not collected for external program files. Enable this option if you want the software to collect and report coverage for all program files associated with the Embedded MATLAB Function blocks. To enable this option, in the Coverage Settings dialog box, select Coverage for External Embedded MATLAB files. 14 Version 2. 5 (R2009a) Simulink® Verification and ValidationTM Software API for Customizing Model Advisor Results In R2009a, there is a new API to customize the results of the Model Advisor for a common look and feel for all of your customized checks. [. . . ] For more information, see "Customizing the Model Advisor" in the Simulink Verification and Validation User's Guide. 23 Simulink® Verification and ValidationTM 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 Yes Details below Version Compatibility Considerations No Fixed Bugs and Known Problems Bug Reports Includes fixes Related Documentation at Web Site No New features and changes introduced in this version are · "Model Coverage Support for Referenced Models" on page 24 · "Model Advisor Checks for Modeling Standards Enhanced" on page 24 · "API for Customizing Model Advisor HTML Reports " on page 26 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. 24 Version 2. 2 (R2007b) Simulink® Verification and ValidationTM Software · 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. [. . . ]