/


Главная / Семинары и вебинары / Архив мероприятий / Конференция «Сертификация в авиастроении по стандартам DO-178(B,C), DO-254, KT 178 при помощи инструментов MathWorks»

Конференция «Сертификация в авиастроении по стандартам DO-178(B,C), DO-254, KT 178 при помощи инструментов MathWorks»

семинар состоялся: 29 мая 2012

  • Организаторы: Softline, MathWorks
  • Место проведения:
    Москва, Холидей Инн Симоновский. Адрес: Симоновский вал д. 2, зал «Донской - Крутицкий» Посмотреть схему проезда
x
Схема проезда
  • MathWorks
О семинарe

Уважаемые дамы и господа!

Компании MathWorks и «ДС БАРС» приглашают Вас 29 мая 2012 г. принять участие в конференции «Сертификация в авиастроении по стандартам DO-178(B,C), DO-254, KT 178 при помощи инструментов MathWorks». Конференция проходит в рамках серии международных мероприятий, посвященных DO-178.

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

Одним из приглашенных докладчиков будет Том Эрккинен - руководитель направления компании MathWorks в области сертификации по стандартам DO178b, DO178c, DO254 и др. Том обладает более чем 20-летним стажем в авиационно-космической отрасли, и ранее в своей карьере возглавлял разработку критического бортового ПО и систем реального времени в таких организациях, как Loсkheed Martin и NASA.

Доклады будут содержать подробное описание процесса модельно-ориентированного проектирования для разработки ПО повышенной надежности, удовлетворяющего стандарту DO-178C, а также его преимущества перед использованием традиционно известных технологий синтеза кода.

Также будет представлен совместный доклад ДС БАРС и ФГУП «ГосНИИАС», посвященный опыту и особенностям постановки процессов в соответствии с КТ-178В в российских компаниях-производителях авиационного оборудования. Особое внимание будет уделено процессу конфигурационного управления (КУ) и важности его правильной и удобной реализации. В качестве комплексного решения по обеспечению организации ЖЦ разработки бортового ПО будет представлена программный продукт совместной разработки ДС БАРС и ФГУП «ГосНИИАС», позволяющий полностью закрыть требования КТ-178В и КТ-254 по КУ и предоставляющий удобный механизм разработки требований.

В перерывах инженеры MathWorks Россия и ДС Барс проведут демонстрации оборудования и средств разработки и моделирования.

К бесплатному участию приглашаются следующие специалисты: системные инженеры, инженеры-разработчики встроенного ПО и руководители проектов.

Для эффективного участия в семинаре рекомендуется ознакомиться с избранными научными статьями Тома Эрккинена:

Automating Code Reviews with Simulink Code Inspector

Model-Based Design for DO-178B with Qualified Tool

Automatic Flight Code Generation with Integrated Static Run-Time Error Checking and Code Analysis

Model Style Guidelines for Flight Code Generation

Мероприятие проходит с переводом на русский язык!

Будем рады видеть Вас среди участников семинара!

Участие в семинаре БЕСПЛАТНОЕ!

Обязательна предварительная регистрация.

Оргкомитет

Компания Softline
115114 г. Москва, Дербеневская наб., д. 7, стр.8
Тел./факс (495) 232-0023

Контактное лицо:
Кристина Цабадзе
Ведущий менеджер по маркетингу отдела организации маркетинговых семинаров
e-mail: Kristina.Tsabadze@softline.ru

Программа

В программе возможны уточнения и дополнения

09.30 – 10.00

Регистрация, кофе

10.00 - 10.10

Приветствие от MathWorks
Никита Богославский,
Руководитель представительства MathWorks в России и СНГ

Приветствие от ФГУП «ГосНИИАС»
Сергей Юрьевич Желтов,
Генеральный директор ФГУП «ГосНИИАС»

10.10 - 10.45

Введение в DO-178C и отличия от DO-178B

Том Эрккинен, MathWorks

10.45 - 11.30

  • Введение в модельно-ориентированное проектирование с Simulink
  • Демонстрация: проектирование ПО для летательного аппарата и реализация в Simulink

Том Эрккинен, MathWorks

11.30 - 11.45

Перерыв, кофе

11.45 - 13.00

  • Моделирование и испытания на моделях
  • Генерация кода с помощью Simulink Coder
  • Знакомство с новым инструментом: автоматическое резензирование кода с Simulink Code Inspector

Том Эрккинен, MathWorks

13:00 – 13:30

Верификация сгенерированного или рукописного кода с помощью Polyspace

Том Эрккинен, MathWorks

13.30 - 14.00

Ответы на вопросы

14.00 - 15.00

Обед

15.00 - 16.00

Проектирование систем на FPGA для стандарта DO-254 с помощью HDL Coder

Дмитрий Шидловский, инженер департамента MathWorks

16.00 - 16.20

Пилотные проекты/process assessment/тренинги

Дмитрий Шидловский, инженер департамента MathWorks

16.20 – 16.30

Сравнение решений MathWorks и Esterel - опыт компании Лангис.

Дмитрий Шидловский, инженер департамента MathWorks

16.30 – 17.10

Практика внедрения процессов КТ-178В на российских предприятиях.
  • Особенности постановки процессов КТ-178В на предприятиях авиационной промышленности
  • Конфигурационное управление как основополагающий базис успешного внедрения КТ-178В
  • Комплексное решение по обеспечению организации ЖЦ разработки бортового авиационного ПО на основе процесса конфигурационного управления

Михаил Судьбин, Михаил Подурец, ДС БАРС; Сергей Резников, ФГУП «ГосНИИАС»

17.10 - 18.00

Фуршет

В перерывах инженеры MathWorks Россия и ДС Барс проведут демонстрации оборудования и средств разработки и моделирования.