Наши клиенты

Арева

AREVA logo

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

Аэробус

Airbus logo

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

Вестас

Vestas logo

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

Даймлер

Daimler logo

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

ЕКА

ESA logo

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

МТУ

MTU Friedrichshafen logo

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

НАСА

NASA logo

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

ОХБ

OHB logo

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

Хонда

Honda logo

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

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


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

AVD Systems
Москва
(916) 194-42-71
avdsys@aha.ru