工具鉴定与认证

针对 DO 和 IEC 认证对 Polyspace^® Code Prover™ 进行鉴定

您可以使用 IEC Certification Kit (for ISO 26262 and IEC 61508) 和 DO Qualification Kit (for DO-178) 鉴定 Polyspace Code Prover 是否符合支持的行业标准，包括 DO-178、ISO 26262: 2018、IEC 61508: 2010、IEC 62304: 2015、ISO 25119: 2018 和 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, 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.