Application and Certification of Software Models Used in Development

As the complexity of tasks increases, developers have to use different tools. We talked about this in details in some previous publications. In this paper, we will touch on a special area that is increasingly coming to the fore these days, which is the question of the application of models. However, the application of models in safety-critical systems raises the question of the reliability of the models and the questions of the certification of these software tools.