Саарбрюкен, 21-го мая 2019 г. Компания Абсинт, производитель средств статического анализа программного обеспечения критически важных для безопасности встраиваемых систем, объявила об интеграции компанией Роберт Бош продуктов Абсинта в процессы разработки и верификации ПО автомобильных систем Бош — в частности, систем рулевого управления.
Компания Роберт Бош применяет два статических анализатора Абсинта:
- Астрé — анализатор C-программ на отсутствие динамических ошибок и состязаний за данные
- РулЧекер — контроллер нормативов кодирования и сбора метрик программного кода на языке C.
Оба анализатора используются Бош по глобальной лицензии с правом использования в любом подразделении в мире.
Анализатор Астрé исследует текст программы и обнаруживает потенциальные ошибки времени исполнения (run-time errors): деление на ноль, выход индекса массива за пределы, нулевые, неинициализированные и повисшие указатели, арифметические переполнения (целочисленные и с плавающей точкой), чтение неинициализированных переменных, состязания за данные при доступе из параллельно исполняющихся потоков, некорректные вызовы стандартных системных сервисов ARINC 653, OSEK, AUTOSAR и др.
Астрé способен анализировать сотни тысяч строк программного кода за десятки минут без «ложных тревог».
Астрé используется более десяти лет в авиационных и космических проектах, автомобильной промышленности и атомной энергетике.
Анализатор РулЧекер поддерживает стандарты MISRA C (2004 и 2012), ISO/IEC TS 17961:2013, SEI CERT Secure C, MITRE CWE и др.
Все анализаторы Абсинта сопровождаются пакетом поддержки квалификации для сертификации по стандартам безопасности программного обеспечения ISO 26262, DO-178C, EN 50128 и др.
Все продукты Абсинта доступны для 30-дневного тест-драйва. Дистрибутор в России — компания АВД Системы, поставщик средств разработки программного обеспечения критически важных для безопасности сертифицируемых встраиваемых компьютерных систем.
АВД Системы, Москва
(916) 194-42-71, avdsys@aha.ru