Пакеты Поддержки Квалификации для айТи

Использование айТи для статического анализа критических систем соответствует нормам ISO 26262, EN-50128, IEC-61508 и DO-178B/C (вплоть до Уровня A). С помощью наших Пакетов Поддержки Квалификации (ППК) вы можете значительно ускорить и отчасти автоматизировать ваш процесс квалификации по этим нормам.

Selecting QSKs to run
Qualification report

Каждый ППК содержит обширный набор тестов, доказывающих корректность и всеобъем­лемость статического анализа, и поставляется как единый ZIP-файл, который не тре­буется распаковывать или устанавливать. Вы просто запускаете квали­фикацию из меню анализа­тора, выбираете желаемый ППК или несколько сразу, и все тесты отраба­тываются полностью автомати­чески. Также возможен и запуск с командной строки.

Результаты сохраняются в текстовый файл на диске либо выдаются на команд­ную строку для дальнейшей обработки. Поддерживается экспорт отчётов в формате HTML для удобной распечатки и архивации.

Доступны базовые ППК для конкретных процессоров и добавочные ППК для конкретных компиляторов.

базовый ППК добавочные ППК версия айТи
ARM
GCC 4.7.418.10 и выше
GCC 4.9.316.10 и выше
KEIL 5.02.0.2819.04 и выше
TI 4.9.115.04 и выше
TI 20.2.1.lts20.10 и выше
C16x
Tasking 8.8r124.04 и выше
Tasking VX 2.4r116.10 и выше
C28x
TI 6.2.024.10 и выше
TI 21.6.0.lts25.04
i386 ✗ 9.08 и выше
LEON3 GCC 3.4.4 10.08 и выше
M68020 GCC 4.2.1 9.08 и выше
MPC5xx
DiabData 4.49.04 и выше
DiabData 5.2.1.014.10 и выше
e200
Diab​Data 5.8.0.0p620.04 и выше
Diab​Data 5.9.1.014.10 и выше
GCC 4.1.29.04 и выше
GHS 2012.123.10 и выше
GHS 2019.1.420.10 и выше
SCORE 3.7.120.04 и выше
e300
DiabData 4.410.08 и выше
GCC 3.3.222.04 и выше
MPC755 DiabData 4.4 9.04 и выше
IBM PPC750 DiabData 4.4 10.04 и выше
TriCore
HighTec GCC 3.4.5.19.08 и выше
Tasking VX 6.2r2p321.10 и выше
Tasking VX 6.3r1p221.10 и выше

Более подробная информация доступна на английском и немецком.