Уникальные средства для разработки,
анализа и сертификации критических систем.

Лауреат премии «ACM Software System Award»

айТи исследует вашу систему реаль­ного времени и точно опре­деляет макси­мальное время выпол­нения каж­дой задачи в худшем случае. Результаты анализа действительны для всех выполнений при любых условиях. Поддер­жи­вается квалифи­кация по нормам ISO 26262, IEC 61508, EN 50128 и DO-178B вплоть до Уровня A.

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

Астрé находит все ошибки выполнения в критических прило­же­ниях, написанных на языке C или C++, либо же дока­зывает их отсутствие.

КомпСерт — единственный в мире формально верифи­ци­ро­ванный оптимизирующий компилятор, позво­ляющий достигнуть высочайшей уверенности в коррект­ности процесса компиляции, отвечая самым высоким стандартам безопасности.

Уже в течение двадцати лет Аэробус использует наши продукты при разра­ботке систем управ­ления полётом нескольких семейств самолётов, в том числе крупнейшего в мире авиалайнера A380.

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

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

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

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

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

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

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

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

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

© АбсИнт, фото A350 © Airbus, фото Актроса © Даймлер, фото луга: М. Зандер, CC BY-SA 3.0. Юридическая информация.