Решение позволяет интегрировать задачи с автоматизированной системой и настроить отправку уведомлений на электронный адрес. Ошибки кода и его параметры можно просматривать в web-браузере. Клиентское приложение также можно использовать для загрузки кода и визуализации результатов проверки. Polyspace Server for C/C++ поддерживает промышленные стандарты посредством IEC Certification Kit (для IEC 61508 и ISO 26262) и DO Qualification Kit (для DO-178).
Ключевые преимущества:
- Web-консоль управления для просмотра параметров кода и уровня его качества
- Автоматизация обработки кода по расписанию и настройка уведомлений на электронную почту
- Менеджер очереди задач для мультисерверных систем
- Повышенная производительность при работе с многоядерными серверами
- Генерация отчетов проверки кодов
- Поддержка работы в нескольких операционных системах одновременно