РИТМ: Встраиваемые системы
БАЙКАЛ
Автоматическая генерация и верификация программного кода для микропроцессоров Байкал Электроникс
Генерация кода для процессора Байкал BE-T1000
Программный модуль предназначен для автоматической генерации исходного кода из математических моделей алгоритмов.
Автоматизация позволяет быстро прототипировать алгоритмы непосредственно на вычислителе BE-T1000, оценивать время выполнения и воспроизводить тестовые сценарии для доказательства функционального соответствия кода техническому заданию.
Применение РИТМ ВС: Байкал гарантирует отсутствие ошибок, свойственных ручному кодированию и упрощает поддержку и доработку проектов.
Автоматизация позволяет быстро прототипировать алгоритмы непосредственно на вычислителе BE-T1000, оценивать время выполнения и воспроизводить тестовые сценарии для доказательства функционального соответствия кода техническому заданию.
Применение РИТМ ВС: Байкал гарантирует отсутствие ошибок, свойственных ручному кодированию и упрощает поддержку и доработку проектов.
Технические особенности продукта
- Автоматическая генерация промышленного кода из моделей
- Интеграция с набором инструментов для построения кода
- Загрузка и запуск исполняемого файла на микропроцессоре
- Независимое выполнение на целевой системе (интеграция с планировщиком ОС Linux)
- Верификация в режиме Процессор-в-контуре (PIL)
- Профилирование времени выполнения
- Генерация портируемого платформонезависимого кода ANSI C/ISO C++
- Поддержка режима исполнения External Mode
- Поддержка протокола обмена данными ASAM MCD-1 XCP для режима исполнения External Mode