Можно использовать IEC Certification Kit (for ISO 26262 and IEC 61508) и DO Qualification Kit (for DO-178), чтобы квалифицировать Polyspace Code Prover к поддерживаемым промышленным стандартам, включая DO-178, ISO 26262, и IEC 61508, IEC 62304 и EN 50128.
Артефакты сертификации для Polyspace Code Prover и Polyspace Code Prover Server (IEC Certification Kit)
Артефакты сертификации включают шаблоны, тесты и процедуры тестирования.
Доступ к документам проверки для Polyspace Code Prover и Polyspace Code Prover Server (DO Qualification Kit)
Документы проверки включают шаблоны, тесты и процедуры тестирования.
