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

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

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

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

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

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

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

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