ТЮВ СЮД сертифицировал определенные версии Polyspace® Code Prover™ и Polyspace Code Prover Server™ для использования в процессах разработки, которые требуются, чтобы выполнять ISO 26262, IEC 61508, IEC 62304 или EN 50128. Эти версии продукта также предварительно квалифицированы согласно ISO 26262-8 к Автомобильным Уровням Целостности Безопасности ASIL через ASIL D.
IEC Certification Kit содержит артефакты сертификации для:
Polyspace Code Prover, версия 10.1 (R2019b)
Polyspace Code Prover Server, версия 10.1 (R2019b)
Они продукт не был разработан с помощью IEC 61508, сертифицировали процесс.
Откройте Менеджера артефактов, чтобы получить доступ к артефактам сертификации. Артефакты сертификации расположены в Polyspace Code Prover.
| Компонент | Файл |
|---|---|
| Сертификат | certkitiec_codeprover_certificate.pdf |
| Отчет сертификата | certkitiec_codeprover_certreport.pdf |
| Рабочий процесс | certkitiec_codeprover_workflow.pdf |
| Демонстрационный шаблон соответствия (CDT) | certkitiec_codeprover_cdt.docx/.pdf |
| Пакет квалификации инструмента (TQP) ISO 26262 | certkitiec_codeprover_tqp.docx/.pdf |
| Процедура тестирования и тесты | Polyspace Bug Finder™
|
Polyspace Code Prover Server
| |
| Цели качества программного обеспечения для исходного кода | certkitiec_codeprover_sqo.pdf |
