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

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

В ходе данной конференции мы: 

• Ответим на вопросы по стандартам DO 178B и DO 178C, использованию моделей при разработке встроенного ПО (DO 331), требованиям, предъявляемым к средствам проектирования (DO 330) и применению формальных методов при верификации встроенного ПО (DO 333). 
• Расскажем о наиболее эффективном использовании инструментов LDRA и MathWorks для удовлетворения требований стандартов 
• Проведем практические мастер-классы по работе с инструментами LDRA Tool Suite, MathWorks Model Based Design и Presagis VAPS-XT для бортовой графики.