Разработка алгоритмов, генерация и верификация C кода

Семинары, конференции, мероприятия, вакансии softline и прочее

Модератор: Admin

Admin
Администратор
Сообщения: 487
Зарегистрирован: Ср сен 22, 2004 4:49 pm

Разработка алгоритмов, генерация и верификация C кода

Сообщение Admin » Вт ноя 26, 2013 12:16 pm

Дата проведения: 17 декабря
Место проведения: Москва, Спиридоньевский переулок 9, гостиница "Марко Поло Пресня", конференц-зал «Московский»

Приглашаем на семинар "Разработка алгоритмов, генерация и верификация C кода для встраиваемого микроконтроллера с использованием Simulink", который состоится 17 декабря в Москве.

Во время семинара будет показан процесс разработки системы управления, автоматической генерации и верификации C кода. Рабочий процесс будет продемонстрирован на примере векторной системы управления для двигателя переменного тока с использованием микроконтроллера TMS320F28355 от Texas Instruments, однако применение показанных инструментов MathWorks и приемов легко обобщается для других объектов и приложений.

В ходе семинара будут затронуты следующие вопросы:
• Разработка и тестирование функциональных требований посредством симуляции
• Автоматическая генерация кода для контроллера и интеграция кода с внешним проектом
• Верификация функциональных требований и требований к использованию ресурсов скомпилированного кода
• Повторное использование системной модели для разных вариантов реализации: с плавающей точкой и фиксированной точкой

Функциональная верификация скомпилированного кода производится при помощи тестирования в режиме Процессор-в-контуре (Processor-in-the-loop testing, PIL). В рамках семинара будет показано, как благодаря PIL можно удостовериться в соответствии поведения скомпилированного кода и исходной модели. Уделяется внимание оценке быстродействия скомпилированного кода для объективного понимания требований к вычислительным ресурсам. Для учета функциональных ограничений и требований к вычислительным ресурсам показана интеграция оптимизированных под процессор библиотек и некоторых других способов повышения эффективности сгенерированного кода.

Пожалуйста, предварительно зарегистрируйтесь.

Программа и регистрация