bat365 Homepage

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.

Tool Certification (IEC Certification Kit)
Use Model-Based Design and bat365^® tools to meet ISO 26262, IEC 61508, IEC 62304, EN 50128, EN 50657, ISO 25119, and IEC 61511 objectives
Overview of the Artifacts in the IEC Certification Kit (IEC Certification Kit)
The IEC Certification Kit includes certification and qualification evidence, templates, test cases, and test procedures.
Tool Qualification (DO Qualification Kit)
Qualify bat365 verification tools for projects involving the DO-178C, DO-254, and related standards
Overview of the Artifacts in the DO Qualification Kit (DO Qualification Kit)
The DO Qualification Kit includes support artifacts, test cases, and test procedures.