Автоматическая генерация и верификация программного кода для микропроцессоров Байкал Электроникс
Автоматическая генерация и верификация программного кода для микропроцессоров Байкал Электроникс

Генерация кода для процессора Байкал BE-T1000

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

Автоматизация позволяет быстро прототипировать алгоритмы непосредственно на вычислителе BE-T1000, оценивать время выполнения и воспроизводить тестовые сценарии для доказательства функционального соответствия кода техническому заданию. 

Генерация кода при помощи РИТМ ВС Байкал гарантирует отсутствие ошибок, свойственных ручному кодированию, и упрощает поддержку и доработку проектов.

Автоматическая генерация и верификация программного кода для микропроцессоров Байкал Электроникс Автоматическая генерация и верификация программного кода для микропроцессоров Байкал Электроникс

Технические особенности продукта

  • Автоматическая генерация промышленного кода из моделей 
  • Интеграция с набором инструментов для построения кода 
  • Загрузка и запуск исполняемого файла на микропроцессоре 
  • Независимое выполнение на целевой системе (интеграция с планировщиком ОС Linux) 
  • Верификация в режиме Процессор-в-контуре (PIL) 
  • Профилирование времени выполнения 
  • Генерация портируемого платформонезависимого кода ANSI C / ISO C++ 
  • Поддержка режима исполнения External Mode 
  • Поддержка протокола обмена данными ASAM MCD-1 XCP для режима исполнения External Mode