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

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.