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

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

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

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

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

Ваша выгода

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

aiT WCET analysis results: The computed WCET is given in CPU cycles. In the graphical representation of the call graph, additional timing details are shown on demand.

Анализаторы 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 — анализаторы WCET

Ваша выгода