Во встраиваемых системах выделение стековой памяти обычно осуществляется самим разработчиком. При этом недооценка необходимого объёма стека может привести к серьёзным сбоям во время исполнения программного кода, а переоценка означает пустую трату системных ресурсов.
Решением этой проблемы является инструмент СтекАналайзер, способный автоматически и совершенно точно вычислить максимальную степень загруженности стека каждой задачей вашего приложения.
Граф вызовов функций
с результатами анализа объёма стека
Граф потока управления
с максимальным
потреблением стека каждой инструкцией
Ваша выгода
- СтекАналайзер экономит ваше время и позволяет предотвратить серьёзные сбои вследствие переполнения стека.
- Анализатор исследует непосредственно бинарный исполняемый код вашего приложения.
- Автоматически исследуются все уровни приложения — от отдельных инструкций до целых функций.
- Результаты анализа визуализируются для лучшего восприятия, критические участки кода выделяются цветом.
- Результаты анализа действительны для всех исполнений вашего приложения, всех режимов его работы, любых вводных данных, всех возможных стечений обстоятельств.
Кто пользуется СтекАналайзером?
Аэробус — при разработке систем управления полётом нескольких семейств самолетов, в том числе крупнейшего в мире авиалайнера A380.
Даймлер — в различнейших проектах, в том числе при разработке блока управления обменом сообщениями нового грузовика Актрос.
Хонда — при разработке электронно-цифровых систем управления двигателем с полной ответственностью.
Континенталь — для доказывания отсутствия переполнений стека в системах подушек безопасности.
Вестас — при разработке систем управления ветрогенераторами.
Фраматом — для верификации своей системы управления ядерными реакторами.
ОХБ — при разработке кода для спутниковых систем навигации и связи.
МТУ — для доказывания корректности действия систем управления аварийными генераторами на электростанциях.
Поддерживаемые процессоры и компиляторы
Доступны версии анализатора для многочисленных семейств микропроцессоров, включая ARM, PowerPC, x86, RISC-V и десятки других.
Поддерживаются все популярные компиляторы, в том числе GCC, GNAT, LLVM, Diab, GHS, Tasking и пр., а также формально верифицированный компилятор КомпСерт.
Интеграция в ваш процесс разработки
СтекАналайзер поддерживает автоматический обмен данными со множеством средств разработки ПО, в том числе:
Поддержка квалификации
Использование СтекАналайзера для статического тестирования вашего ПО соответствует нормам 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