•  

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

    Подпишитесь и получайте самые свежие новости.
    Подписаться на новостную рассылку
    • Главная
    • >
    • Семинары
    • >
    • Двухдневная конференция по эффективной разработке бортовых систем высокой надежности и сертификации по стандартам DO-178, DO-254 в условиях импортозамещения

    Двухдневная конференция по эффективной разработке бортовых систем высокой надежности и сертификации по стандартам DO-178, DO-254 в условиях импортозамещения

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

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

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

    Александр Словак

    Специализация Александра в департаменте MathWorks - физическое моделирование и системы управления. До прихода в департамент занимался моделированием электромеханических систем в транспорте и энергетике. Имеет пятилетний опыт работы с продуктами MathWorks. Образование - Днепропетровский национальный университет железнодорожного транспорта (Магистр электротехники).

    Николай Филаретов, инженер департамента MathWorks

    Специализация инженера: тестирование в реальном времени (xPC), генерация кода для встраиваемых платформ (C), верификация и валидация (DO178, IEC61508) Закончил С-Пб НИУ ИТМО по специальности «Управление и информатика в технических системах», с продуктами MathWorks работает непрерывно с 2011 года. Разрабатывал ПО для бортовых систем навигации.
    Уважаемые дамы и господа!

    Приглашаем специалистов и руководителей инженерных подразделений, связанных с разработкой алгоритмического ПО систем управления, систем индикации, радиоэлектронных и цифровых устройств на ПЛИС, а также электромеханических бортовых устройств, принять участие в конференции, которая состоится 26-27 мая 2015 г. в г. Москве на базе Московского Авиационного Института в партнерстве с руководством Национального Исследовательского Университета. На конференции будут участвовать специалисты от всех ведущих предприятий авиакосмической отрасли, осуществляющих разработку высоконадежных бортовых электронных программно-аппаратных комплексов, ведущие российские (Центр Сертификации ГосНИИАС) и зарубежные (LDRA, MathWorks, Presagis) эксперты в области разработки и сертификации (КТ-178, ГОСТР 51904, КТ-254) бортовой аппаратуры, производители российской ЭКБ специального и гражданского назначения.

    Конференция посвящена практическим вопросам эффективности создания надежного бортового ПО и аппаратуры с использованием зарубежной и российской ЭКБ. На практике будут показаны методы повышения эффективности процессов разработки, инструменты и приемы автоматизации многих задач разработки, ранней верификации и сертификации. На практических примерах будут разобраны и сравнены несколько подходов построения рабочих процессов с использованием лидирующих инструментов моделирования\синтеза\верификации от MathWorks, LDRA, Presagis-Display. Также будут обсуждаться и демонстрироваться «бесшовные» подходы к обеспечению надежности встраиваемых систем по стандартам ARP4754, DO-178, DO-278, DO-254, ГОСТ Р 51904 (аналог КТ-178 для ВПК РФ).

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

    Цели конференции:
    • Прояснить требования стандартов ARP4754, DO-178, ГОСТ Р 51904, DO-278, DO-254 и дополнений к DO-178C и продемонстрировать на примере нескольких возможных интегрированных маршрутов проектирования алгоритма с реализацией на микропроцессоре и на ПЛИС
    • Продемонстрировать целостный интегрированный процесс проектирования, интеграцию программных комплексов Simulink, Presagis (для систем индикации) и LDRA для достижения требований стандартов
    • Продемонстрировать примеры отечественной ЭКБ с поддержкой автоматической кодогенерации (графического программирования), верификации «PIL» и иные возможности разработчика, предоставляемые зарубежной ЭКБ.
    • Создать консультационную площадку для обмена опытом между специалистами в области разработки авиационной электроники между собой и с зарубежными экспертами.

    Двухдневная конференция состоит из серии семинаров и мастерклассов, посвященных различным аспектам разработки систем повышенной надежности. В программу будут добавлены краткие доклады от представителей отрасли, касающиеся практического опыта применения обсуждаемых приемов (Технодинамика, ГосНИИАС и др.)


    День 1: «Модельно-ориентированное проектирование для разработки систем по DO-178C».


    На данном обучении-семинаре вы узнаете, как инструменты модельно-ориентированного проектирования MATLAB и Simulink применяются при разработке систем повышенной надежности в авиационной промышленности. Инженер MathWorks Михаил Песельник расскажет о процессе разработки и верификации встраиваемых систем по DO-178C в MATLAB и Simulink.

    В ходе семинара будут затронуты следующие темы и показаны практические возможности инструментов MathWorks:
    • Введение в модельно-ориентированное проектирование
    • Модельно-ориентированное проектирование и цели стандарта DO-178C
    • Трассируемость требований, моделей, кода и тестов
    • Стандарты моделирования
    • Функциональное тестирование и анализ покрытия модели тестами
    • Формальная верификация и генерация тестов
    • Автоматическая генерация кода
    • Стандарты кодирования
    • Доказательство отсутствия ошибок времени выполнения
    • Автоматическая верификация кода относительно модели и требований
    • Тестирование исполняемого объектного кода на целевом вычислителе и анализ покрытия тестами
    • Демонстрация возможностей интегрированного процесса с использованием ЭКБ NeuroMatrix, производства НТЦ Модуль.

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

    На семинар-обучение приглашаются инженеры-разработчики, инженеры по качеству, системные архитекторы, тестировщики и руководители проектов, занимающиеся разработкой и проектированием встраиваемых систем в авиационной промышленности. Семинар также будет полезен всем специалистам, занимающимся сертификацией и разработкой встраиваемых систем.


    День 2: «Мастерклассы по разработке встраиваемых систем повышенной надежности».


    • Разработка систем на ПЛИС в сответствии с DO-254
    • Верификация рукописного кода с LDRA
    • Разработка бортовой графики с помощью инструментов Presagis (VAPS-XT)


    Участие в конференции бесплатное для официально делегированных и зарегистрировавшихся сотрудников вашей компании. Количество мест ограничено. Пожалуйста, предварительно зарегистрируйтесь одним из удобных вам способов:


    • По телефону: +7(495)2320065 (доб.1455) Елена Алещева
    • По e-mail: events@sl-matlab.ru
    • На сайте: matlab.ru

    Внимание! Окончание регистрации - 22 мая 2015 года.
    Подробная программа семинара
    День 1: «Модельно-ориентированное проектирование для разработки систем по DO-178C».

    10:30 – 11:00

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

    11:00 – 12:30

  • Введение в модельно-ориентированное проектирование
  • Практика применения модельно-ориентированного проектирования для разработки компонентов ПО (Сумачев А.М. Технодинамика)
  • Модельно-ориентированное проектирование и цели стандарта DO-178C
  • Трассируемость требований, моделей, кода и тестов
  • Стандарты моделирования
  • Функциональное тестирование и анализ покрытия модели тестами
  • Формальная верификация и генерация тестов
  • 12:30 – 13:00

    Кофе-брейк

    13:00 – 14:45

  • Автоматическая генерация кода
  • Стандарты кодирования
  • Доказательство отсутствия ошибок времени выполнения
  • Автоматическая верификация кода относительно модели и требований
  • Тестирование исполняемого объектного кода на целевом вычислителе и анализ покрытия тестами
  • 14:45 – 15:00

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

    15:00 – 15:20

    Демонстрация бесшовного маршрута проектирования и верификации с на примере ЭКБ NeuroMatrix российского производства.

    День 2: «Мастерклассы по разработке встраиваемых систем повышенной надежности».

    09:30 – 11:30

    Разработка систем на ПЛИС в соотвествии с DO-254

    • Цифровая обработка сигналов в Simulink
    • Модельно-ориентированного проектирование и цели стандарта DO-254
    • Детализированное проектирование системы
    • Автоматическая генерация HDL кода из Simulink
    • Верификация кода с помощью HDL симулятора
    • Верификация проекта на целевой ПЛИС

    12:00 – 14:00

    Верификация рукописного кода с LDRA

    • Трассируемость требований, кода и тестов
    • Стандарты кодирования
    • Функциональное тестирование и анализ покрытия кода тестами
    • Квалификация инструментов
    • Тестирование исполняемого объектного кода на целевом вычислителе и анализ покрытия тестами

    15:00 – 17:00

    Разработка бортовой графики с помощью инструментов Presagis (VAPS-XT)

    • Разработка HMI систем в VAPS-XT
    • Совместная работа  алгоритмов Simulink и дисплеев VAPS-XT
    • Перенос на целевую платформу с ОС реального времени
    Будет продемонстрирован перенос интерфейса на целевую платформу при помощи слоя портирования Presagis VAPS XT и квалифицированного генератора C кода CodenGen.
    • Регистрация закрыта