Simulink Verification and Validation 2.6

Latest Features

Version 2.6

Released: 04 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.

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 2.5

Released: 06 Mar 2009
 

Version 2.5, part of Release 2009a, includes the following enhancements:

• New formatting template for authoring Model Advisor checks
• Enhanced documentation and guidelines for customizing the Model Advisor
• Incorporation of MathWorks Automotive Advisory Board (MAAB) guidelines into product documentation
• Ability to include or exclude external M-files to optimize the coverage analysis of Embedded MATLAB Function blocks

See the Release Notes for details.

Version 2.4

Released: 09 Oct 2008
 

Version 2.4, part of Release 2008b, includes the following enhancements:

• Additional modeling standards checks for DO-178B, IEC 61508, and MAAB 2.0
• Auto-fix capability for DO-178B checks that verify Configuration Parameter settings
• Enhanced coverage report, including information about model version and optimization settings that can impact coverage
• Enhanced selection-based linking to Microsoft Word and Excel® files for opening requirement documents outside the Selection-based linking dialog box
• Context-sensitive help available for Model Advisor
• New Model Advisor model and data restore point, providing ability to revert to changes made in response to advice fromModel Advisor

See the Release Notes for details.

Version 2.3.1

Released: 30 Oct 2008
 

Version 2.3.1, part of the Simulink product family update for Release 2008a, resolves several key customer-reported issues.

Read about the latest bug fixes for:

• Fixed-Point Toolbox 2.2.1
• Real-Time Workshop 7.1.1
• Real-Time Workshop Embedded Coder 5.1.1
• Simulink 7.1.1
• Simulink Design Verifier 1.2.1
• Simulink Fixed Point 5.6.1
• Simulink Report Generator 3.3.1
• Simulink Verification and Validation 2.3.1
• Stateflow 7.1.1
• Stateflow Coder 7.1.1

Version 2.3

Released: 01 Mar 2008
 

Version 2.3, part of Release 2008a, includes the following enhancements:

• Model coverage for referenced models enhanced to provide new graphical user interface for enabling coverage and new summary report for displaying coverage results
• New submenu on Model Explorer context menu for access to the Requirements Management Interface
• New Model Advisor IEC 61508 Standard check for safety-critical applications
• Enhanced Model Advisor check for MathWorks Automotive Advisory Board guidelines
• Model Advisor API enhanced to extend customization capabilities

See the Release Notes for details.

Version 2.2.1

Released: 08 May 2008
 

Version 2.2.1, part of the Simulink product family update for Release 2007b, resolves several key customer-reported issues.

Read about the latest bug fixes for:

• Fixed-Point Toolbox 2.1.1
• Real-Time Workshop 7.0.1
• Real-Time Workshop Embedded Coder 5.0.1
• Simscape 2.0.1
• Simulink 7.0.1
• Simulink Design Verifier 1.1.1
• Simulink Fixed Point 5.5.1
• Stateflow 7.0.1
• Stateflow Coder 7.0.1
• Simulink Verification and Validation 2.2.1 (represented in Simulink 7.0.1 reports)