В системах реального времени своевременное завершение задач имеет очень большое значение. Для обеспечения правильности работы системы разработчик должен гарантировать, что каждая её задача будет всегда выполняться за определённый временной интервал. Иначе говоря, ему нужно заранее точно вычислить максимальное время выполнения каждой задачи в худшем случае (англ. worst-case execution time, сокращённо WCET).
Но вычисление WCET — задача чрезвычайно сложная. На сегодняшний день даже самые распространённые методы определения WCET очень ненадёжны:
- Практические методы (например, тестирование путём многократных измерений) дают ненадёжные результаты, поскольку с точностью определить, какие именно условия могут максимизировать время исполнения той или иной задачи, в большинстве случаев не представляется возможным.
- Теоретические же методы вычисления WCET обычно не рассматривают поведение кэша и конвейера. В результате они дают чрезмерно завышенные оценки времени исполнения — что влечёт за собой бесполезную трату системных ресурсов.
Наши анализаторы айТи позволяют вам раз и навсегда решить эти проблемы. айТи статически исследует вашу систему реального времени на основе формальных моделей кэша и конвейера соответствующего микропроцессора и автоматически определяет WCET каждой задачи с самой высокой степенью точности.
Ваша выгода
- Результаты анализов, проводимых айТи, — универсальны. Они действительны для всех выполнений вашего приложения при любых условиях. Таким образом, айТи вам позволяет действительно гарантировать правильность работы вашей системы.
- айТи освобождает вас от необходимости проводить изнурительные тесты и многочисленные измерения. Таким образом, он значительно экономит ваше время.
- Удобный пользовательский интерфейс айТи позволяет вам визуализировать работу вашей системы и исследовать состояния конвейера и кэша в любой точке исполнения той или иной задачи.
- айТи анализирует не исходный код, а непосредственно сами бинарные исполняемые файлы вашей системы. Иначе говоря, для работы с айТи вам не понадобится никоим образом изменять ни саму систему, ни процесс её разработки.
айТи предназначен для разработчиков систем реального времени с повышенными требованиями к обеспечению безопасности, а также любых других систем, где точное знание временных характеристик имеет большое значение. Он был разработан в сотрудничестве с компанией Airbus с целью обеспечения безопасности систем управления полётом авиалайнеров, в том числе Аэробуса A380.
Кто ещё пользуется айТи?
Даймлер — в различнейших проектах, в том числе при разработке блока управления обменом сообщениями нового грузовика Актрос.
Хонда — при разработке электронно-цифровых систем управления двигателем с полной ответственностью.
Вестас — при разработке систем управления ветрогенераторами.
ОХБ — при разработке кода для спутниковых систем навигации и связи.
МТУ — для доказания корректности действия систем управления аварийными генераторами на АЭС.
Поддерживаемые процессоры
Доступны версии анализатора для многочисленных комбинаций микропроцессоров и компиляторов.
Системная интеграция
айТи поддерживает автоматический обмен данными со множеством средств разработки ПО, в том числе:
Поддержка квалификации
Использование айТи для статического тестирования вашего ПО соответствует нормам 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
