Simulink Verification and Validation

New Features

R2014b (Version 3.8)

Released: 2 Oct 2014

Version 3.8, part of Release 2014b, includes the following enhancements:

  • Model coverage for relational boundary values
  • Modeling standard check support for charts that use MATLAB as the action language
  • Requirements linking for Simulink data dictionary entries
  • Capture and display of requirements details in model highlighting and Web view

See the Release Notes for details.

Update Now

Previous Releases

R2014a (Version 3.7) - 6 Mar 2014

Version 3.7, part of Release 2014a, includes the following enhancements:

  • Web view option for coverage results
  • Model Advisor check authoring for model configuration parameters
  • Condition coverage for Relational Operator blocks
  • Model Advisor checks for MATLAB Code Analyzer messages
  • Japanese language localization support

See the Release Notes for details.

R2013b (Version 3.6) - 5 Sep 2013

Version 3.6, part of Release 2013b, includes the following enhancements:

  • Requirements traceability for MATLAB code
  • Reset option for cumulative model coverage results
  • EN 50128 modeling standard checks for railway applications
  • Model Advisor checks for MATLAB Function blocks and input/output range specifications

See the Release Notes for details.

R2013a (Version 3.5) - 7 Mar 2013

Version 3.5, part of Release 2013a, includes the following enhancements:

  • Model coverage for saturation on integer overflow in Stateflow MATLAB Function blocks
  • rmipref command for managing requirements traceability preferences
  • Inclusion of DOORS module-prefix in requirements traceability location identifiers
  • Model Advisor accordion to navigate between Upgrade Advisor, Performance Advisor, and Code Generation Advisor

See the Release Notes for details.

R2012b (Version 3.4) - 11 Sep 2012

Version 3.4, part of Release 2012b, includes the following enhancements:

  • Custom labels for requirements links to IBM Rational DOORS
  • Requirements linking for Simulink annotations
  • Coverage filtering for Stateflow events
  • Model Advisor dashboard, providing efficient model guideline checking
  • Model Advisor checks for library models and the DO-178C/DO-331 standard

See the Release Notes for details.