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

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

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

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

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

Ваша выгода

• Результаты анализов, проводимых айТи, — универсальны. Они действительны для всех выполнений вашего приложения при любых условиях. Таким образом, айТи вам позволяет гаран­ти­ровать правильность работы вашей системы.
• айТи освобождает вас от необходимости проводить изну­рительные тесты и бесконечные измерения. Таким образом, он значительно экономит ваше время.
• Удобный пользовательский интерфейс айТи позволяет вам визуали­зиро­вать работу вашей системы и исследовать состояния конвейера и кэша в любой точке исполнения той или иной задачи.
• айТи анализирует не исходный код, а непосредственно бинарные испол­няемые файлы вашей системы. Иначе говоря, для работы с айТи вам не пона­добится никоим образом изменять ни саму систему, ни процесс её разработки.

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

Поддерживаемые процессоры и компиляторы

Доступны версии анализатора для многочисленных микропроцессоров, включая различнейшие варианты ARM, PowerPC, x86, TriCore, V850 и многих других семейств.

Поддерживаются все популярные компиляторы, в том числе GCC, GNAT, LLVM, Diab, GHS, Tasking и пр., а также формально верифицированный компилятор КомпСерт.

Интеграция в ваш процесс разработки

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

• TargetLink
• ASCET
• SymTA/S
• Jenkins
• RT-Druid

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

Статический анализ вашего ПО при помощи айТи соответствует нормам 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