Приглашаем специалистов и руководителей инженерных подразделений, связанных с разработкой алгоритмического ПО систем управления, систем индикации, радиоэлектронных и цифровых устройств на ПЛИС, а также электромеханических бортовых устройств, принять участие в конференции, которая состоится 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) 

Спикеры

Михаил Песельник
Михаил Песельник
Михаил Песельник

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

Константин Дмитриев
Константин Дмитриев
Константин Дмитриев

Константин Дмитриев - старший инженер по программному обеспечению компании MathWorks, обладающий успешным опытом разработки систем в соответствии с КТ-178 и КТ-254 в ведущих КБ России - АО "ГСС", АО "УКБП", ООО "ОАК-Центр ко

Услуги

Продукты

Сервисы

Сферы применения: Другое