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