Наши клиенты

Аэробус

Аэробус использует айТи, СтекАналайзер, Астрé и КомпСерт при разра­ботке систем управ­ления полётом нескольких семейств самолётов, в том числе крупнейшего в мире авиалайнера A380.

Бош

Компания Роберт Бош применяет наши статические анализаторы в процессах разработки и верификации ПО авто­мобиль­ных систем, в частности, систем рулевого управления.

Вестас

Ведущий в мире производитель ветрогенераторов Вестас использует СтекАналайзер и айТи при раз­работке систем управ­ле­ния ветро­генера­то­рами, для стати­ческого анализа времени выполнения и потребления стека.

Даймлер

Даймлер использует айТи и СтекАналайзер в различнейших проектах, в том числе при разработке блока управления обменом сообщениями нового грузовика Актрос.

Дисталмоушн

Дисталмоушн использует РулЧекер в повсе­дневном процессе разработки систем управления медицинской техникой, в том числе хирургическими роботами.

ЕКА

ЕКА использовало Астрé для доказа­тельства отсутствия ошибок времени выпол­нения в системе автома­тической стыковки грузо­вого косми­ческого корабля «Жюль Верн», впоследствии доста­вившего полезные грузы на МКС.

Континенталь

Континенталь доверяет нам статический анализ своих систем управления подушками безопасности для доказательства отсутствия в них переполнений стека.

МТУ

МТУ использует КомпСерт, Астрé, РулЧекер, айТи и СтекАналайзер для доказания корректности действия систем управления аварийными генераторами на АЭС.

МэкОбджект

МэкОбджект использует РулЧекер при разработке eXtremeDB, первой в мире встраиваемой базы данных, соответствующей нормам MISRA.

НАСА

НАСА использовало айТи для доказа­тельства отсут­ствия временны́х дефектов в ПО Тойоты в ходе рас­следо­вания случаев внезап­ного ускоре­ния в 2010 году.

• Technical Support to the National Highway Traffic Safety Administration (NHTSA) on the Reported Toyota Motor Corporation (TMC) Unintended Acceleration (UA) Investigation (PDF, 11,3 МБ)

ОХБ

ОХБ использует айТи и СтекАналайзер при разработке кода для спутниковых систем навигации и связи.

Фраматом

Фраматом использует СтекАналайзер и Астрé для верификации своей системы управления ядерными реакторами.

Хонда

Хонда использует айТи, СтекАналайзер и ВэльюАналайзер при разработке электронно-цифровых систем управления двигателем с пол­ной ответственностью.

Прочие клиенты

Дистрибутор в России

АВД Системы
Москва
(916) 194-42-71
avdsys@aha.ru