Tool Qualification and 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 MathWorks® 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 MathWorks verification tools for projects involving the DO-178C standard and related standards
- Overview of the Components in the DO Qualification Kit (DO Qualification Kit)
The DO Qualification Kit includes support artifacts, test cases, and test procedures.