SATiSFy - Frühzeitige Validierung von Safety- und Security-Anforderungen in autonomen Fahrzeugen

Neues Forschungsprojekt zur frühzeitigen Verifikation von Hardware-basierten Safety- und Security-Maßnahmen am Lehrstuhl für Eingebettete Systeme der Universität Tübingen gestartet.

Ziel des Vorhabens SATisFy ist es, Techniken zur formalen Erfassung und frühzeitigen Verifikation für Systeme zum autonomen Fahren zu entwickeln, um die notwendigen Security- und Safety-Anforderungen im Ansatz sowohl auf Hardware- als auch auf Softwareebene gesamtheitlich zu spezifizieren, zu visualisieren und sie insbesondere vor einem abschließenden Integrationstest bereits formal validieren zu können.

Mehr Informationen finden Sie auf der Projektseite.