Application and Qualification of Software Models Used in Development

Abstract

As the complexity of tasks increases, developers have to use different tools. We also talked about this in detail in a previous publication. In this article, we will discuss a special area that is increasingly coming nowadays, which is the application of models. However, their application in safety-critical systems development raises the question of the reliability of the applied models and the questions of the certification of these special software tools.