Наши клиенты

Арева

AREVA logo

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

Аэробус

Airbus logo

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

Вестас

Vestas logo

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

Даймлер

Daimler logo

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

ЕКА

ESA logo

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

НАСА

NASA logo

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

ОХБ

OHB logo

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

Хонда

Honda logo

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

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


Некоммерческие организации

  • Stanford University
  • UCLA
  • US Naval Academy
  • US National Institutes of Health
  • Royal Canadian Mounted Police
  • University of Oxford
  • University of Cambridge
  • University of London
  • Imperial College London
  • TU Munich
  • University of Luton
  • University of Tokyo
  • University of California at Berkeley
  • University of California at Irvine
  • Massachusetts Institute of Technology
  • Max Planck Institute for Informatics
  • Max Planck Institute for Human Development
  • Fraunhofer Institute for Systems and Innovation Research
  • Oak Ridge National Laboratory
  • Memorial Sloan-Kettering Cancer Center
  • University of California at Riverside
  • University of California at Santa Cruz
  • University of Delaware
  • University of Illinois ar Urbana-Champaign
  • University of New Mexico at Albuquerque
  • University of Maryland University College
  • University of Michigan at Ann Arbor
  • University of Tennessee at Knoxville
  • University of Tennessee Health Science Center
  • University of Texas at Austin
  • Brandeis University
  • North Carolina State University
  • Western Michigan University
  • Southern Methodist University
  • Columbia Business School, New York
  • Muséum National d’Histoire Naturelle, Paris
  • And many more