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

  • Qualification Artifacts: Qualify R2019b versions of supported products
  • Qualification of Simulink Test Custom Criteria: Qualify Simulink Test custom criteria including function-based MATLAB unit test methods
  • Qualification of Additional Model Advisor Check: Qualify high-integrity Model Advisor check "Check type and size of conditional expressions"
  • Enhanced Test Suite for Polyspace Code Prover and Polyspace Code Prover Server: Run qualification tests that include test cases for Shared Variable mode and data dictionaries

See the Release Notes for details.

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

  • Qualification Artifacts: Qualify R2019a versions of supported products
  • Simulink Requirements Qualification: Qualify reporting of requirements links, implementation status and verification status
  • Qualification of Polyspace Bug Finder Server and Polyspace Code Prover Server: Qualify Polyspace code verification tools 

See the Release Notes for details.

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

  • Qualification Artifacts: Qualify R2018b versions of supported products
  • DO-254 Reference Workflow: Introduce an integrated workflow document to cover the full Model-Based Design lifecycle for the DO-254 standard
  • DO Qualification Kit Checks: Qualify additional High-Integrity Model Advisor checks

See the Release Notes for details.

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

  • Qualification Artifacts: Qualify R2018a versions of supported products
  • Polyspace Bug Finder and Simulink Code Inspector: Introduce support artifacts for TQL-5

See the Release Notes for details.

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

  • Qualification Artifacts: Qualify R2017b versions of supported products
  • Simulink Verification and Validation Packaging: Qualified features for DO-178 compliance are included in Simulink Check and Simulink Coverage
  • Certification Artifacts Explorer: Access artifacts through Simulink menu bar or MATLAB Toolstrip app
  • DO Qualification Kit Checks: Qualify additional Model Advisor checks

See the Release Notes for details.

Version 3.3, part of Release 2017a, includes the following enhancements:

  • Qualification Artifacts: Qualify R2017a versions of supported products
  • Design Error Detection Qualification: Qualify Simulink Design Verifier for design error detection
  • Polyspace Report Qualification: Qualify Polyspace Bug Finder and Polyspace Code Prover verification reports
  • Model Coverage Qualification: Qualify Simulink Verification and Validation for execution coverage

See the Release Notes for details.

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.