Impacto do desenvolvimento baseado em modelos para produção e certificação de software aviônico

O desenvolvimento de software aviônico normalmente segue guias criados pela indústria que estabelecem objetivos e atividades fundamentais para habilitar este a entrar em operação. A DO-331 é um destes guias, entre os mais recentes, que refere-se à utilização do desenvolvimento baseado em modelos. Este artigo apresenta um survey realizado com profissionais da área, buscando as percepções sobre o impacto do desenvolvimento baseado em modelos na produção de software aviônico. A análise aponta que a utilização da metodologia normalemente é benéfica, especialmente em algumas etapas do desenvolvimento, podendo estes benefícios serem potencializados ou reduzidos de acordo com a forma de aplicação.