工具鉴定与认证

针对 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 Artifacts in DO Qualification Kit (DO Qualification Kit)

    The DO Qualification Kit includes support artifacts, test cases, and test procedures.