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

  • Qualification Artifacts: Use artifacts to qualify R2016b versions of supported products
  • Code Coverage Qualification: Qualify Simulink Verification and Validation for generated code coverage during SIL execution
  • Model Coverage Qualification: Qualify Simulink Verification and Validation for legacy code coverage in S-functions during model simulation
  • Simulink Test Function Qualification: Qualify verify functions in Test Sequence blocks

See the Release Notes for details.

Version 3.1, part of Release 2016a, includes bug fixes.

  • Qualification Artifacts: Qualify R2016a versions of supported products by using artifacts

See the Release Notes for details.

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

  • Qualification artifacts for Simulink Test
  • Qualification artifacts for XML comparison in Simulink Report Generator

See the Release Notes for details.

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

  • Qualification artifacts for R2015a
  • Enhanced tool qualification tests for Simulink Verification and Validation model coverage
  • Qualification of Polyspace Bug Finder and Polyspace Code Prover MISRA C:2012 coding rules

See the Release Notes for details.

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

  • Qualification artifacts for supported products in R2014b
  • Enhanced DO-330 TQL-4 artifacts for Polyspace Bug Finder, Polyspace Code Prover, and Simulink Code Inspector

See the Release Notes for details.