Статический анализ максимального времени выполнения

В системах реального времени своевременное завершение задач имеет очень большое значение. Для обеспе­чения пра­виль­ности работы системы разработчик должен гарантировать, что каждая её задача будет всегда выполняться за опреде­лённый временной интервал. Иначе говоря, ему нужно заранее точно вычислить макси­мальное время выполнения каждой задачи в худшем случае (англ. worst-case execution time, сокращённо WCET).

Но вычисление WCET — задача чрезвычайно сложная. На сегодняшний день даже самые распространённые методы определения WCET очень ненадёжны:

Наши анализаторы айТи позволяют вам раз и навсегда решить эти проблемы. айТи статически исследует вашу систему реального времени на основе фор­мальных моделей кэша и конвейера соответствующего микропроцессора и автоматически опре­деляет WCET каждой задачи с самой высокой степенью точности.

Скриншот айТи

Скриншот айТи

Скриншот айТи

Скриншот айТи

Ваша выгода

Airbus logo

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

Кто ещё пользуется айТи?

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

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

Вестас — при раз­работке систем управ­ле­ния ветро­генера­то­рами.

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

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

Поддерживаемые процессоры

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

Системная интеграция

айТи поддерживает автоматический обмен данными со множеством средств разра­ботки ПО, в том числе:

dSPACE-Logo

Symtavision-Logo

Поддержка квалификации

Использование айТи для статического тестирования вашего ПО соответствует нормам ISO 26262, IEC 61508, EN 50128, DO-178B и DO-178C (вплоть до Уровня A). Квалификацию по этим нормам можно значительно ускорить и отчасти автоматизировать с помощью наших Пакетов Поддержки Квалификации.

Анализатор также входит в комплект средств разработки программного обеспечения SCADE Suite, квалифицированный по DO-178B (до Уровня A), IEC 61508 и EN 50128.

Тест-драйв

Вы можете бесплатно испытать полную версию айТи на ваших собственных файлах. Для этого скачайте лицензионный формуляр (PDF), заполните его и пришлите нам по почте или факсу.

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

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