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