Артефакты сертификации для Polyspace Code Prover и Polyspace Code Prover Server

ТЮВ СЮД сертифицировал определенные версии Polyspace^® Code Prover™ и Polyspace Code Prover Server™ для использования в процессах разработки, которые требуются, чтобы выполнять ISO 26262, IEC 61508, IEC 62304, ISO 25119 или EN 50128. Эти версии продукта также предварительно квалифицированы согласно ISO 26262-8 к Автомобильным Уровням Целостности Безопасности ASIL через ASIL D.

IEC Certification Kit содержит артефакты сертификации для:

Polyspace Code Prover, версия 10.2 (R2020a)
Polyspace Code Prover Server, версия 10.2 (R2020a)

Примечание

Эти продукты не были разработаны с помощью 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™ `/tests/` (включая `/tests/certkitiec_codeprover_tests.bat`/`.sh`) `/tests/execution-folder-code-prover/` `/expected_results/reporting-code-prover/*`
Процедура тестирования и тесты	Polyspace Code Prover Server `/tests/` (включая `/tests/certkitiec_codeproverserver_tests.bat`/`.sh`) `/tests/execution-folder-code-prover-server/` `/expected_results/reporting-code-prover-server/*`
Цели качества программного обеспечения для исходного кода	`certkitiec_codeprover_sqo.pdf`

Документация IEC Certification Kit

Поддержка

Памятка переводчика

1. Если смысл перевода понятен, то лучше оставьте как есть и не придирайтесь к словам, синонимам и тому подобному. О вкусах не спорим.

2. Не дополняйте перевод комментариями “от себя”. В исправлении не должно появляться дополнительных смыслов и комментариев, отсутствующих в оригинале. Такие правки не получится интегрировать в алгоритме автоматического перевода.

3. Сохраняйте структуру оригинального текста - например, не разбивайте одно предложение на два.

4. Не имеет смысла однотипное исправление перевода какого-то термина во всех предложениях. Исправляйте только в одном месте. Когда Вашу правку одобрят, это исправление будет алгоритмически распространено и на другие части документации.

5. По иным вопросам, например если надо исправить заблокированное для перевода слово, обратитесь к редакторам через форму технической поддержки.