Accelerating the pace of engineering and science

Simulink Verification and Validation

Edit-Time Checking

Edit-Time Checking

Detect and fix potential standards compliance issues in your model at design time

Clone and Variant Detection

Clone and Variant Detection

Identify modeling patterns to refactor and simplify model

Processor-in-the-Loop Code Coverage

Processor-in-the-Loop Code Coverage

Measure code coverage in Processor-in-the-Loop

MCDC Model Coverage

MCDC Model Coverage

Record MCDC coverage for cascaded Simulink logic block networks​​

Display Coverage Results

Display Coverage Results

Access, manage, and accumulate model coverage results​​ with Coverage Results Explorer

Integrated Coverage Configuration Settings

Integrated Coverage Configuration Settings

Access coverage settings integrated within the Configuration Parameters dialog​ box

Harness Requirements Linking

Harness Requirements Linking

Link requirements to model objects in externally stored test harnesses​​

Model Metric APIs

Model Metric APIs

Programmatically run and create metrics

MISRA Compliance

MISRA Compliance

Run MISRA checks available in Simulink Verification and Validation

Model Advisor Checks for Medical Standard IEC 62304

Model Advisor Checks for Medical Standard IEC 62304

Check models to comply with medical standards​​

Model Advisor Standards Checks

Model Advisor Standards Checks

Check models for naming standard compliance

Model Advisor Check Parameterization

Model Advisor Check Parameterization

Control check behavior by using input parameters

Code Coverage for Generated Code

Code Coverage for Generated Code

Measure testability of generated code with coverage analysis

Latest Releases

R2016b (Version 3.12) - 14 Sep 2016

Version 3.12, part of Release 2016b, includes the following enhancements:

  • Edit-Time Checking: Detect and fix potential standards compliance issues in your model at design time
  • Clone and Variant Detection: Identify modeling patterns to refactor and simplify model
  • MISRA Compliance: Run MISRA checks available in Simulink Verification and Validation
  • Processor-in-the-Loop Code Coverage: Measure code coverage in Processor-in-the-Loop
  • MCDC Model Coverage: Record MCDC coverage for cascaded Simulink logic block networks​​
  • Display Coverage Results: Access, manage, and accumulate model coverage results​​ with Coverage Results Explorer
  • Integrated Coverage Configuration Settings: Access coverage settings integrated within the Configuration Parameters dialog​ box
  • Harness Requirements Linking: Link requirements to model objects in externally stored test harnesses​​

See the Release Notes for details.

R2016a (Version 3.11) - 3 Mar 2016

Version 3.11, part of Release 2016a, includes the following enhancements:

  • Model Metric APIs: Programmatically run and create metrics
  • Model Advisor Checks for Medical Standard IEC 62304: Check models to comply with medical standards
  • Model Advisor Standards Checks: Check models for naming standard compliance
  • Model Advisor Check Parameterization: Control check behavior by using input parameters
  • Code Coverage for Generated Code: Measure testability of generated code with coverage analysis
  • Requirements Linking: Trace requirements to objects in test harnesses and steps in Test Sequence blocks

See the Release Notes for details.

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.