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

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

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

Скриншот

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

Скриншот

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

Ваша выгода

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

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

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

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

Континенталь — для доказывания отсутствия переполнений стека в системах подушек безопасности.

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

Фраматом — для верификации своей системы управления ядерными реакторами.

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

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

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

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

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

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

dSPACE logo
Symtavision logo
Jenkins logo

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

Использование СтекАналайзера для статического тестирования вашего ПО соответствует нормам ISO 26262, IEC-61508, EN-50128, DO-178B и DO-178C (вплоть до Уровня A). Квалификацию по этим нормам можно значительно ускорить и автоматизировать с помощью наших Пакетов Поддержки Квалификации.

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

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

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

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

АВД Системы, Москва
(916) 194-42-71, avdsys@aha.ru