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

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

    Подпишитесь и получайте самые свежие новости.
    Подписаться на новостную рассылку
    • Главная
    • >
    • Семинары
    • >
    • Мастер-класс по разработке встраиваемых систем в соответствии со стандартами повышенной надежности КТ-178 и КТ-254

    Мастер-класс по разработке встраиваемых систем в соответствии со стандартами повышенной надежности КТ-178 и КТ-254

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

    Михаил Песельник, ведущий инженер ЦИТМ Экспонента

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

    Константин Дмитриев, старший инженер по программному обеспечению компании MathWorks

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

    Ведущий российский институт авиационных систем ФГУП «ГосНИИАС», АНО ЦС «СТАТУС», а также ЦИТМ «Экспонента», официальный представитель MathWorks в России – рады пригласить Вас на одно из центральных событий отрасли разработки авиационного оборудования ­­– Мастер-класс «Получение сертификационного зачета при разработке бортового ПО и электронной аппаратуры критических систем». Мероприятие состоится 24 апреля 2018 г. в конгресс-зале ЦИТМ «Экспонента» (г. Москва).

    Основная цель – изучение современных инструментов автоматизации получения зачетов при сертификации бортового программного обеспечения и электронной аппаратуры встраиваемых авиационных систем в соответствии со стандартами КТ-178 и КТ-254.

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

    Основная тема мероприятия, Модельно-ориентированное проектирование, ставшее де-факто стандартом разработки в рамках новейшего стандарта КТ-178С, давно и успешно применяется в мировой практике, обеспечивая надежность разрабатываемых изделий и автоматизируя выполнение целого ряда самых трудоемких задач, связанных с получением сертификата.

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

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

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


    Инфопартнеры:

    NOZ_logo.png   Logo_AviaPort.jpg   IPC.jpg



    Официальное приглашение на мастер-класс (PDF)

    sem-20180424.png
    Подробная программа семинара


    15 минут

    1.     Аспекты одобрения бортового ПО, разработанного с использованием программных инструментов

    Дмитрий Катков, СЦ ФГУП «ГосНИИАС»

     

    30 минут

    2.     Введение

    2.1.   Введение в модельно-ориентированное проектирование

    2.2.   Модельно-ориентированное проектирование и цели стандартов ARP 4754, DO-178C, DO-331

    2.3.   Квалификация инструментов в соответствии с DO-330

    1 час

    3.     Моделирование и верификация модели

    3.1.   Трассируемость требований, моделей, кода и тестов

    3.2.   Стандарты моделирования

    3.3.   Функциональное тестирование и анализ покрытия модели тестами

    3.4.   Формальная верификация модели и автоматическая генерация тестов

     

    Перерыв

     

    1 час

    4.     Генерация и верификация исходного кода

    4.1.   Автоматическая генерация трассируемого кода

    4.2.   Автоматическая инспекция кода относительно модели

    4.3.   Стандарты кодирования

    4.4.   Формальный анализ исходного кода

    4.5.   Тестирование на инструментальном компьютере и анализ покрытия в режиме Программа-в-контуре (Software-in-the-Loop, SIL)

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

    4.7.   Тестирование исполняемого объектного кода и анализ времени выполнения на целевом вычислителе в режиме Процессор-в-контуре (Processor-in-the-Loop, PIL)

    15 минут

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

    5.1.   Модельно-ориентированного проектирование и цели стандарта DO-254

    5.2.   Автоматическая генерация HDL кода из Simulink

     

    30 минут

    6.     Сессия вопросов и ответов

    • 10:00
      Москва, Москва, 2-й Южнопортовый проезд, д. 31 стр.4
    • Регистрация закрыта