•  
    Ближайшие события

    Новостная рассылка

    Подпишитесь и получайте самые свежие новости.
    Подписаться на новостную рассылку
    • Главная
    • >
    • Семинары
    • >
    • Разработка алгоритмов, генерация и верификация C кода для встраиваемого микроконтроллера с использованием Simulink

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

    17 декабря 2013
    09:30
    Мероприятие бесплатное
    Регистрация обязательна
    и заканчивается за сутки до начала мероприятия

    Михаил Песельник, ведущий инженер департамента MathWorks

    Михаил Песельник - ведущий инженер департамента MathWorks по прототипированию алгоритмов в реальном времени, а также по процессам верификации и валидации при проектировании встраиваемых систем повышенной надежности. Михаил имеет квалификацию магистра по специальности "Системный анализ, управление и обработка информации" в МГУЛ. Михаил имеет многолетний опыт работы с инструментами MathWorks в области разработки алгоритмов управления и является профессиональным тренером по модельно-ориентированному проектированию. До перехода в департамент MathWorks, он работал в мировых автомобильных компаниях, разрабатывая системы управления для двигателей внутреннего сгорания.
    Во время семинара будет показан процесс разработки системы управления, автоматической генерации и верификации C кода. Рабочий процесс будет продемонстрирован на примере векторной системы управления для двигателя переменного тока с использованием микроконтроллера TMS320F28355 от Texas Instruments, однако применение показанных инструментов MathWorks и приемов легко обобщается для других объектов и приложений.

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

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

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

    09:30 – 10:00

    Регистрация, приветственный кофе

    10:00 – 10:50

    Разработка и тестирование функциональных требований посредством симуляции

    10:50 – 11:30

    Автоматическая генерация кода для контроллера и интеграция кода с внешним проектом

    11:30 – 12:00

    Кофе-брейк

    12:00 – 12:50

    Верификация функциональных требований и требований к использованию ресурсов скомпилированного кода в режиме PIL

    12:50 – 13:40

    Повторное использование системной модели для разных вариантов реализации: с плавающей точкой и фиксированной точкой

    13:40 – 14:00

    Обзор доступных тренингов по затронутой тематике. Ответы на вопросы.

    • 09:30
      Москва, Спиридоньевский переулок 9, гостиница "Марко Поло Пресня", конференц-зал «Московский»
    • Регистрация закрыта