KI-Techniken für die Funktionale Sicherheit

Die vorliegende Veröffentlichung beschreibt, wie KI hinsichtlich ihrer Zertifizierungsfähigkeit als qualifizierte Software für den Einsatz in sicherheitskritischen Anwendungen bewertet werden kann. Derzeit existiert dafür kein standardisierter Prozess. Als Beispiel wird der Concept Report für IEC 61508 und ISO 26262 des Softwaretools paitron von modelwise herangezogen. Die vom TÜV SÜD geforderten Analysen und Dokumente werden erläutert, aber auch was bei der Werkzeugentwicklung und -nutzung zu beachten ist, um erfolgreich ein sicherheitskritisches Werkzeug einzuführen. Die Ergebnisse dieser Arbeit beschäftigen sich darüber hinaus mit der aktuellen Diskussion über die Qualifizierung von KI, und inwieweit KI in der Funktionalen Sicherheit eingesetzt werden kann.