Simulink® Verification and Validation™ 2.3

Latest Features

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.

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.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)

Version 2.2

Released: 01 Sep 2007
 

Version 2.2, part of Release 2007b, includes the following enhancements:

• New model coverage support for referenced models under normal mode
• Updated MathWorks Automotive Advisory Board (MAAB) checks in Model Advisor
• New DO-178B checks in Model Advisor
• New API to facilitate customizing Model Advisor HTML reports

See the Release Notes for details.

Version 2.1.1

Released: 03 May 2007
 
Simulink Verification and Validation 2.1.1 resolves several key customer-reported issues. It is part of a Simulink product family update for Release 2007a. See the Release Notes for details.

In addition to Simulink Verification and Validation, seven other products were included in this update:

• Real-Time Workshop 6.6.1
• Real-Time Workshop Embedded Coder 4.6.1
• Simulink 6.6.1
• Simulink Accelerator 6.6.1
• Simulink Fixed Point 5.4.1
• Stateflow 6.6.1
• Stateflow Coder 6.6.1

Version 2.1

Released: 01 Mar 2007
 

Version 2.1, part of Release 2007a, includes minor enhancements.

See the Release Notes for details.

Version 2.0

Released: 01 Sep 2006
 

Version 2.0, part of Release 2006b, includes the following enhancements:

• Requirement consistency checks added to Model Advisor, ensuring that requirement links are valid
• Modeling standards checks added to Model Advisor, ensuring Simulink block diagrams adhere to particular style guidelines

See the Release Notes for details.

Version 1.1.2

Released: 01 Mar 2006
 

Version 1.1.2, part of Release 2006a, includes a number of bug fixes. See the Release Notes for details.

Version 1.1.1

Released: 01 Sep 2005
 

Version 1.1.1, part of Release 14 with Service Pack 3, includes the following enhancement:

• New API for customizing the Model Advisor by providing constructs for defining custom checks and tasks and for writing custom callback functions

See the Release Notes  for details.

Version 1.1

Released: 28 Apr 2005
 

The requirements interface has been updated to enhance interface functionality and extend document support.

• New location types let you determine requirement locations, improving searching scalability and enabling you to add requirements links to large documents.
• Selection-based linking lets you create links from the selected Microsoft Word text, active Microsoft Excel cell, or last-selected DOORS object without using the Requirements dialog box.
• Navigation icons can be inserted into Microsoft Word, Microsoft Excel, and Telelogic DOORS documents, enabling navigation back to the associated block or object in Simulink and Stateflow.
• Requirements links in DOORS can now be established directly with a formal module without using a surrogate module.
• Improved synchronization with DOORS let you control which objects are created in the surrogate module, the path of the module, and the type of link information stored in the surrogate module.
• A new System Requirements block lets you view the requirements for the subsystem or model directly on the block diagram.
• Built-in document support has been expanded to include PDF documents and Web-based URLs.
• The requirements interface can be extended to support additional document types and requirements management systems.

Please see the Release Notes  for more details.

Version 1.0.2

Released: 07 Mar 2005
 

Simulink Verification and Validation 1.0.2, part of MathWorks Release 14 with Service Pack 2, resolves a number of customer-reported issues.

For additional information about Simulink Verification and Validation 1.0.2, see the Release Notes.

Version 1.0.1

Released: 22 Sep 2004
 

Version 1.0.1 includes bug fixes.

Version 1.0

Released: 02 Jun 2004
 

Product Repackaging

Simulink Verification and Validation 1.0 is a new product in Release 14 that incorporates the following features from products available in previous releases:

• Requirements Manager from the Requirements Management Interface
• Model Coverage Tool, which was part of the Simulink Performance Tools

If you use Simulink Performance Tools or Requirements Management Interface, visit MathWorks Release 14 product changes for additional information.

Known problems and corrections

Simulink Verification and Validation 1.0 resolves customer-reported issues.

For additional information about Simulink Verification and Validation, see the Release Notes.