最新のリリースでは、このページがまだ翻訳されていません。 このページの最新版は英語でご覧になれます。

ツールの検定と認定

DO および IEC 認定のための Polyspace® Code Prover™ の検定

IEC Certification Kit (for ISO 26262 and IEC 61508) および DO Qualification Kit (for DO-178) を使用して、DO-178、ISO 26262、IEC 61508、IEC 62304、EN 50128 などのサポートされている業界標準に Polyspace Code Prover を適合させることができます。

トピック

Access Certification Artifacts for Polyspace Code Prover and Polyspace Code Prover Server (IEC Certification Kit)

The certification artifacts include templates, test cases, and test procedures.

Access Qualification Documents for Polyspace Code Prover and Polyspace Code Prover Server (DO Qualification Kit)

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