Accelerating the pace of engineering and science

Simulink Verification and Validation

Latest Releases

R2015aSP1 (Version 3.9.1) - 14 Oct 2015

Version 3.9.1 , part of Release 2015aSP1, includes bug fixes.

See the Release Notes for details.

R2015b (Version 3.10) - 3 Sep 2015

Version 3.10, part of Release 2015b, includes the following enhancements:

  • Model Advisor checks for size, cyclomatic complexity, and readability model metrics
  • Model Advisor reports in Adobe PDF and Microsoft Word formats
  • Model Advisor check support for JMAAB Guidelines, Version 4.0
  • Block execution recorded during model coverage analysis
  • Manage model coverage parameters within a model configuration set

See the Release Notes for details.

R2015a (Version 3.9) - 5 Mar 2015

Version 3.9, part of Release 2015a, includes the following enhancements:

  • Coverage measurement for C S-functions
  • Model Advisor checks for MATLAB functions

See the Release Notes for details.

R2014b (Version 3.8) - 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.

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.