Certification aspects of model based development for airborne software

The rapid improvements of technological developments have led to increase alternatives and to enable customers to access these alternatives more easily and quickly. This has led to an increase in competition among companies. Increasing competition conditions have led companies to look for alternative technologies to produce products in less time and less cost. One of these technologies is the model based development technology, which is very popular due to the time and cost advantages it provides to companies. Model based development technology is a new development technology used as an alternative approach to the traditional software development approach. Although the use of this technology in the development of non-safety critical software is older, the use of this technology in the development of safety critical software such as aircraft software is relatively new. In this study, the use of this technology in the aviation, the advantages it provides, the effects on the certification and flight safety, the issues that need to be considered in the product development processes, recommendations for these issues and a useful checklist are presented. In addition, information about model coverage analysis that should be done in model based development technology is given and compared with structural coverage analysis on an example.