Simulink Verification and Validation 3.2

Latest Features

Version 3.2

Released: 1 Sep 2011
 

Version 3.2, part of Release 2011b, includes the following enhancements:

• Requirements link storage and management outside the model file
• Condition and MCDC coverage for the Simulink If block
• Requirements reports that include complete text of requirement description and specific IBM^® Rational^® DOORS^® object attributes
• Procedure API to control order of Model Advisor checks and suggested model modifications
• Inclusion of Model Advisor Check Input Parameters in the generated report

See the Release Notes for details.

Update Now

• Download the latest version if your software maintenance service is current.
• Purchase or request a renewal quote if your maintenance service has lapsed.
• Try the latest version by downloading or requesting trial software.

---

Version 3.1

Released: 8 Apr 2011
 

Version 3.1, part of Release 2011a, includes the following enhancements:

• Filtering capability in model coverage to allow exclusion of specific objects from model coverage collection
• Requirements for reusable components, including libraries and model reference blocks
• Component test function, slvnvmergedata, for merging of several different test data files into a single file for easier management of test data
• ISO^® 26262 Modeling Standards Checks

See the Release Notes for details.

Version 3.0.1

Released: 17 Mar 2011
 

Version 3.0.1, part of Release 2010b Service Pack 1 (R2010bSP1), includes bug fixes.

Version 3.0

Released: 3 Sep 2010
 

Version 3.0, part of Release 2010b, includes the following enhancements:

• New functions for extraction, signal logging, harness generation, and test execution for model subsystems and subcharts
• New function for checking and maintaining link reference objects in external requirement documents
• Model coverage support for multiple instances of a referenced model in Normal mode
• Programmable interface for scripting and command-line interaction with Model Advisor
• Ability to run Model Advisor on multiple systems in parallel on multicore machines (requires Parallel Computing Toolbox)
• MathWorks Automotive Advisory Board check for identifying incorrect formatting of transition actions in Stateflow charts

See the Release Notes for details.

Version 2.7

Released: 5 Mar 2010
 

Version 2.7, part of Release 2010a, includes the following enhancements:

• New and enhanced MathWorks Automotive Advisory Board (MAAB) checks for Stateflow charts
• New coverage support for the Dead Zone block and Simulink^® Design Verifier™ functions in Embedded MATLAB Function blocks
• Enhanced reports about requirements links in models
• New capability to tag and filter requirements linked to model objects
• Enhanced DOORS^® synchronization that optionally removes unmatched links

See the Release Notes for details.

Version 2.6.1

Released: 1 Apr 2010
 

Version 2.6.1, part of Release 2009b Service Pack 1 (R2009bSP1), includes bug fixes.

Version 2.6

Released: 4 Sep 2009
 

Version 2.6, part of Release 2009b, includes the following enhancements:

• Enhanced requirements highlighting and reporting
• New Model Advisor Configuration Editor to manage and deploy Model Advisor configurations and custom checks
• New and enhanced modeling standards checks for IEC 61508 and DO-178B
• New coverage for Simulink Design Verifier blocks: Test Objective, Proof Objective, Proof Assumption, and Test Condition
• New coverage reporting for variable-size signals

See the Release Notes for details.