Das Forschungsteam entwickelt zunächst einen KI-gestützten Assistenten, der aus Sicherheitsanforderungen Prüfbedingungen erzeugen kann. Anschließend erweitert das Team ein Analysewerkzeug, damit es die generierten Bedingungen im Quellcode der Software prüft. Schließlich verbinden die Forschenden beide Komponenten, testen sie an Fahrzeugsteuerungen und messen, inwiefern sich durch ihren Einsatz Zeit und Aufwand der Prüfungen reduzieren lässt. Sie prüfen deren Genauigkeit, vergleichen sie mit manuellen Prüfungen und optimieren die Lernverfahren, sodass die KI immer zuverlässiger wird. Sie planen Schulungen, Workshops und Support, damit Entwicklerinnen und Entwickler das System effektiv nutzen können. So entsteht ein System, das Unternehmen einsetzen können, um Software sicherer zu machen und Kosten zu senken.