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

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

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

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

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

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

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

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

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

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

    09:30 – 10:00

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

    10:00 – 10:50

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

    10:50 – 11:30

    Автоматическая генерация кода для контроллера и интеграция кода с внешним проектом
    Михаил Песельник, инженер департамента MathWorks

    11:30 – 12:00

    Кофе-брейк

    12:00 – 12:50

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

    12:50 – 13:40

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

    13:40 – 14:00

    Обзор доступных тренингов по затронутой тематике. Ответы на вопросы
    Михаил Песельник, инженер департамента MathWorks

    • 10:00
      Санкт-Петербург, Московский просп., 97А, Холидей Инн "Московские ворота", зал "Стенберг"
    • Регистрация закрыта