Использование нашего ПО для статического анализа критических систем соответствует нормам ISO 26262, EN-50128, IEC-61508 и DO-178B/C (вплоть до Уровня A). С помощью наших Пакетов Поддержки Квалификации вы можете значительно ускорить и отчасти автоматизировать ваш процесс квалификации по этим нормам. ППК особенно популярны среди наших клиентов в автопроме и авиастроении.
Каждый ППК содержит обширный набор тестов, доказывающих корректность и всеобъемлемость статического анализа, и поставляется как единый ZIP-файл, который не требуется распаковывать или устанавливать. Вы просто запускаете квалификацию из меню анализатора, выбираете желаемый ППК или несколько сразу, и все тесты отрабатываются полностью автоматически. Также возможен и запуск с командной строки.
Результаты сохраняются в текстовый файл на диске либо выдаются на командную строку для дальнейшей обработки. Поддерживается экспорт отчётов в формате HTML для удобной распечатки и архивации.
ППК доступны для:
Кто пользуется нашими ППК?
Аэробус — при сертификации по норме DO-178B систем управления полётом нескольких семейств авиалайнеров, в том числе A380.
МТУ — при сертификации по нормам IEC 60880 и IEC 61508-3:2010 систем управления аварийными дизельными генераторами на АЭС.
Множество других клиентов, которые предпочитают о себе умалчивать.
Дополнительная информация о ППК доступна на английском языке.
