A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331

Author

Sarkis, Andre ; Vieira Dias, Luiz Alberto

Author_Institution

Embraer S.A., Sao Jose dos Campos, Brazil

fYear

2014

fDate

7-9 April 2014

Firstpage

27

Lastpage

32

Abstract

The usage of Model-based Development is increasing in aerospace industry, and the current standards do not give appropriate support for application of this technique. The newly released standard DO-331, developed by Radio Technical Commission for Aeronautics, comes to fill this gap, giving specific guidance for the usage of models during development of safety-critical software, complementing DO-178C. This paper discuss on how to develop models that are adherent to the guidance provided by both DO-331 and DO-178C. A set of design rules are defined to contemplate some specific objectives of both standards. Case the rules are followed during the implementation of a design model, the compliance with the defined set of objectives should be achieved.

Keywords

aerospace computing; safety-critical software; software standards; DO-178C standard; DO-331 standard; aerospace industry; design models; design rules; model-based development; safety-critical software development; Adaptation models; Atmospheric modeling; Computational modeling; Computer architecture; Software; Software architecture; Standards; AC 20-115C; DO-178C; DO-331; Model-based Development; design model; safety-critical software;

fLanguage

English

Publisher

ieee

Conference_Titel

Information Technology: New Generations (ITNG), 2014 11th International Conference on

Conference_Location

Las Vegas, NV

Print_ISBN

978-1-4799-3187-3

Type

conf

DOI

10.1109/ITNG.2014.57

Filename

6822171