{'fraction_non_alphanumeric': 0.022458628841607566, 'fraction_numerical': 0.02127659574468085, 'mean_word_length': 4.923076923076923, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 1, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
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.