Сертификация в авиастроении при помощи инструментов MathWork

Семинары, конференции, мероприятия, вакансии softline и прочее

Модератор: Admin

Admin
Администратор
Сообщения: 487
Зарегистрирован: Ср сен 22, 2004 4:49 pm

Сертификация в авиастроении при помощи инструментов MathWork

Сообщение Admin » Чт мар 29, 2012 10:28 pm

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

29 Мая 2012


Организаторы: Softline, MathWorks
Город проведения: Москва
Дата проведения: 29 мая 2012

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

Компании Softline и MathWorks приглашают вас 29 мая 2012г. принять участие в семинаре одного из ведущих мировых специалистов по сертификации, Тома Эрккинена (Tom Erkkinen) «Сертификация в авиастроении по стандартам DO-178(B,C), DO-254, KT 178 при помощи инструментов MathWorks».
Мероприятие проходит в рамках серии международных мероприятий, посвященных DO-178.

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

Основные темы и содержание докладов:
• Подробный процесс модельно-ориентированного проектирования для разработки ПО повышенной надежности, удовлетворяющего стандарту DO-178C.
• Описание и отслеживание высокоуровневых требований в Simulinkи разработка примера для тестирования исполняемого объектного кода, годного к повторному использованию в других проектах.
• Возможности, позволяющие автоматически генерировать быстрый и эффективный код с помощью Embedded Coder.
• Технологии и средства формальной верификации, включая новый инструмент Simulink Code Inspector.

К бесплатному участию приглашаются от каждой организации по 3 категории специалистов:
• Системные инженеры
• Инженеры по встроенному ПО
• Руководители проектов по сертификации

После 5 лет подготовки, DO-178C был опубликован 13 Декабря 2011. Это обновление известного стандарта сертификации программного обеспечения для гражданской авиации DO-178B. Оно включает детальное описание модельно-ориентированного подхода к разработке ПО в виде приложения DO-331. Компания MathWorks состоит в комитете DO-178 и внесла значительный вклад в разработку DO-178С и DO-331.

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

Для эффективного участия в семинаре рекомендуется ознакомиться с избранными научными статьями Тома Эрккинена:
•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

Подробная программа семинара

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

Участие в семинаре БЕСПЛАТНОЕ!
Обязательна предварительная регистрация.

Admin
Администратор
Сообщения: 487
Зарегистрирован: Ср сен 22, 2004 4:49 pm

Re: Сертификация в авиастроении при помощи инструментов Math

Сообщение Admin » Чт апр 16, 2015 5:17 pm

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

26 мая 2015
10:30
Москва, Ленинградское ш., д.5а, КПП №4, Главный административный корпус МАИ, зал Ученого совета (3 этаж)

http://matlab.ru/seminars/dvuxdnevnaya-konferenciya-po-sertifikacii