Main Content

このページの翻訳は最新ではありません。ここをクリックして、英語の最新版を参照してください。

ツールの検定と認定

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 Artifacts (IEC Certification Kit)

The certification artifacts include product-specific templates, test cases, and test procedures.

Tool Qualification Artifacts (DO Qualification Kit)

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