DO Qualification Kit

New Features

R2014b (Version 2.4)

Released: 2 Oct 2014

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.

Update Now

Previous Releases

R2014a (Version 2.3) - 6 Mar 2014

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

  • Qualification artifacts for supported products in R2014a
  • Plan for Software Aspects of Certification (PSAC) template
  • Software Model Standard template
  • Qualification support for Simulink Code Inspector as a Criteria 2 TQL-4 tool

See the Release Notes for details.

R2013b (Version 2.2) - 5 Sep 2013

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

  • Qualification artifacts for supported products in R2013b
  • Support for Polyspace Bug Finder and Polyspace Code Prover
  • Certification Artifacts Explorer support on Linux and Mac platforms
  • Enhanced DO-178 Workflow Document

See the Release Notes for details.

R2013a (Version 2.1) - 7 Mar 2013

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

  • Qualification artifacts for R2013a of supported verification products

See the Release Notes for details.

R2012b (Version 2.0) - 11 Sep 2012

See highlights and screen shots.

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

  • DO-330 Software Tool Qualification Considerations (DO-178C and DO-278A) support for Simulink and Polyspace code verifiers
  • DO-331 Model-Based Development and Verification Supplement (DO-178C and DO-278A) support for Simulink products
  • DO-332 Object-Oriented Technology and Related Techniques Supplement (DO-178C and DO-278A) support for Polyspace code verifiers
  • DO-333 Formal Methods Supplement (DO-178C and DO-278A) support for Polyspace code verifiers

See the Release Notes for details.