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, and IEC 61508, IEC 62304, and EN 50128.

Topics

Access Certification Artifacts for Polyspace Code Prover and Polyspace Code Prover Server (IEC Certification Kit)

The certification artifacts include templates, test cases, and test procedures.

Access Qualification Documents for Polyspace Code Prover and Polyspace Code Prover Server (DO Qualification Kit)

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