Tool Qualification and Certification

Qualify Polyspace® Code Prover™ for DO and IEC Certification

You can use the IEC Certification Kit (for ISO 26262 and IEC 61508) and DO Qualification Kit (for DO-178) to qualify Polyspace Code Prover for supported industry standards, including DO-178, ISO 26262: 2018, IEC 61508: 2010, IEC 62304: 2015, ISO 25119: 2018, and EN 50128: 2011.

Topics

Tool Certification Artifacts (IEC Certification Kit)

The certification artifacts include product-specific templates, test cases, and test procedures.

Tool Qualification Artifacts (DO Qualification Kit)

The qualification documents include templates, test cases, and test procedures.