Статический анализ объёма стека

Во встраиваемых системах выделение стековой памяти обычно осуществляется самим разработчиком. При этом недооценка необходимого объёма стека может привести к серьёзным сбоям во время исполнения программного кода, а переоценка будет означать бес­полезную трату системных ресурсов.

Решением этой проблемы является инструмент СтекАналайзер, который способен заранее, автоматически и совершенно точно вычислить максимальную степень загруженности стека задачами вашего приложения.

Скриншот

Граф вызовов функций
с результатами анализа объёма стека

Скриншот

Граф потока управления с максимальным
потреблением стека каждой инструкцией

Ваша выгода

Кто пользуется СтекАналайзером?

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

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

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

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

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

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

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

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

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

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

dSPACE logo
Symtavision logo
Jenkins logo

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

СтекАналайзер поддерживает квалификацию по нормам ISO 26262, DO-178B и DO-178C (вплоть до Уровня A).

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

Пробная версия

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

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

AVD Systems, Москва
(916) 194-42-71, avdsys@aha.ru