Fehlertoleranzanalyse des FlexRay Startup-Prozesses

Die PlexfiRay-Prozeduren Wakeup und Startup sollen eine konsistent-synchrone Kommunikation bezuglich eines TDMA verwandten Verfuhrens herstellen. Beide Algorithmen werden in dieser Arbeit ubstrukt modelliert und mit Hilfe des Model Checkers SPIN bezuglich Terminierung analysiert. Die Ergebnisse zeigen, dass in bestimmten Fehlerszenarios die Verwendung von Central Bus Guardians, die Clusterkonfiguration und das Verhalten des Hosts daruber entscheiden, ob Fehlertoleranz und Laufzeitbeschrankungen garantiert werden konnen.