Daniel Erler

• In der vorliegenden Arbeit wird die Kommunikation zwischen Steuergeräten mit Hilfe von Zustandsmodellen analysiert und auf Plausibilitäten beim Schließen von Zuständen eingegangen. Die Steuergerätebeschreibungen wurden dafür in SCXML überführt und weiterverarbeitet. Es handelt sich um keine vorherige Simulation, sondern um eine nachträgliche Analyse. Im Automobil kommunizieren viele Steuergeräte gleichzeitig über CAN-Bus miteinander, die vorher nur in kleinerem Rahmen getestet werden konnten. Inhalt dieser Arbeit ist es, Nutzen aus dabei aufgezeichneten Daten zu ziehen, um nachträglich einzelne Steuergeräte auf Fehlerzustände zu überprüfen. Dabei wird berücksichtigt, dass das Wissen über die Abläufe im Fahrzeug unvollständig ist.