Wie können KI-Komponenten mit Modellen abgesichert werden?

Die modellbasierte Entwicklung ist in den vergangenen Jahren zu einer Standardmethodik bei der Konstruktion großer softwarebasierter Systeme geworden. Zur Modellierung des gewünschten Systemverhaltens stehen verschiedene grafische Sprachen (UML, Simulink, Scade, Ascet u. a.) und Modellierungswerkzeuge zur Verfügung. Auch für die Verarbeitung solcher Modelle existieren verschiedene Werkzeuge, etwa Simulatoren, Codegeneratoren und Modelltransformatoren. Modelle lassen sich auch für die Qualitätssicherung von Software einsetzen. Modellbasierter Test und Modellprüfung sind bewährte Methoden, um sicherheitskritische Softwaresysteme effektiv und effizient abzusichern. Die realisierten Technologien zielen aber in jedem Fall auf klassische Verfahren der Softwareerstellung in konventionellen Programmiersprachen ab.