{'fraction_non_alphanumeric': 0.010491441192711209, 'fraction_numerical': 0.0, 'mean_word_length': 5.163265306122449, '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': 2, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Certification Aspects of Model Based Development for Airborne Software

Software in the aerospace industry becomes the integral components of modern day avionic systems and plays a key role in conducting successful missions. Further to that, safety critical systems rely on software components where malfunctioning may result in catastrophic consequences. For example, a failure in the software of flight computers or autopilot systems of a commercial aircraft may end in series of damages or even mass of causalities. Increasing competition in the aviation industry forces companies to develop more capable systems in less time with less cost. In competitive market conditions, companies are in the position of having to use new technologies in their product development life cycle processes. One of these technologies used in the aviation industry is the Model Based Development (MBD) technology. The MBD technology has been widely used in the development of airborne software because of the time and cost advantages that it provides to companies. However, although the MBD technology promises to increase productivity, it also introduces a number of new significant issues that need to be considered when it is used for developing safety critical systems. In this study, two of those issues are explained in an example. The first issue relates to the integrity of model when model is transferred from an unqualified tool to a qualified tool and the second issue relates to the comparison between model coverage analysis and structural coverage analysis. These two issues are also among the most questioned topics by the certification authority for the airborne software if MBD technology is used as they may have safety impacts on flight safety and may affect type certification process in terms of software.