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

Abstract

The development of avionics software usually follows guidelines defined by the industry which establishes objectives and activites that are critical to enable it to be operated. The DO-331 is one out of these guidelenes recently published that refers to the usage of model based development. This article presents a survey done with professionals working in the area, looking forward to gather perceptions about the impact of model based development in avionics software production. The analysis points out that using the methodology normally is beneficial, especially in some development steps, where the benefits might be augmented or diminished according to how it is applied.