Во встраиваемых системах выделение стековой памяти обычно осуществляется самим разработчиком. При этом недооценка необходимого объёма стека может привести к серьёзным сбоям во время исполнения программного кода, а переоценка будет означать бесполезную трату системных ресурсов.
Решением этой проблемы является инструмент СтекАналайзер, который способен заранее, автоматически и совершенно точно вычислить максимальную степень загруженности стека задачами вашего приложения.
Граф
вызовов
функций
с результатами анализа объёма стека
Граф
потока
управления
с максимальным
потреблением стека каждой инструкцией
Ваша выгода
- СтекАналайзер экономит ваше время и позволяет предотвратить серьёзные сбои вследствие переполнения стека.
- Анализатор исследует непосредственно бинарный исполняемый код вашего приложения.
- Автоматически исследуются все уровни приложения — от отдельных инструкций до целых функций.
- Результаты анализа визуализируются для лучшего восприятия, критические участки кода выделяются цветом.
- Результаты анализа универсальны — они действительны для всех исполнений вашего приложения, всех режимов его работы, любых вводных данных, всех возможных стечений обстоятельств.
Кто пользуется СтекАналайзером?
Аэробус — при разработке систем управления полётом нескольких семейств самолетов, в том числе крупнейшего в мире авиалайнера A380.
Даймлер — в различнейших проектах, в том числе при разработке блока управления обменом сообщениями нового грузовика Актрос.
Хонда — при разработке электронно-цифровых систем управления двигателем с полной ответственностью.
Континенталь — для доказывания отсутствия переполнений стека в системах подушек безопасности.
Вестас — при разработке систем управления ветрогенераторами.
Фраматом — для верификации своей системы управления ядерными реакторами.
ОХБ — при разработке кода для спутниковых систем навигации и связи.
МТУ — для доказывания корректности действия систем управления аварийными генераторами на электростанциях.
Поддерживаемые процессоры
Доступны версии анализатора для многочисленных комбинаций микропроцессоров и компиляторов.
Системная интеграция
СтекАналайзер поддерживает автоматический обмен данными со множеством средств разработки ПО, в том числе:
Поддержка квалификации
Использование СтекАналайзера для статического тестирования вашего ПО соответствует нормам 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
.jpg){kind=link}