aiT — анализаторы WCET

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

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

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

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

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

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

The results obtained on the topic of WCET, and the improvements of the AbsInt tool is one of the most important results of the DAEDALUS project, from both technical and industrial points of view. <…> aiT is probably the best of its kind in the world, and it is justified to consider this result as a breakthrough. 
DAEDALUS Project Final Review

• aiT
• Features
• Screenshots
• How it works
• Precision
• Integration
• Reviews
• Free trial

• Продукты
• Пресс-центр
• Контактная
  информация