Fahrzeugbussystem-Gateway Checker
Erstellung einer Software zur vollständigen Analyse des kommunikationsrelevanten Verhaltens eines Gateways (Verbindet Kommunikations-Busse basierend auf CAN, FlexRay und MOST im Fahrzeug) im laufenden Betrieb. Ausgangspunkt dafür war ein zur Absicherung der Spezifikation erstelltes Struktur- und Verhaltensmodells eines solchen Gateways.