Würzburg, Univ., Diss., 2008.

Würzburg, University, Diss., 2001.

Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1997.

Berlin, Techn. Univ., Diss., 2003. / Computerdatei im Fernzugriff.

Berlin, Techn. Univ., Diss., 2003. / Computerdatei im Fernzugriff.

Zugl.: Giessen, Univ., Diss., 2009

Techn. University, Diss., 2003--Berlin.

Stuttgart, Univ., Diss., 2005.

In modernen Fahrzeugen befindet sich eine Vielzahl von Steuergeräten, die verschiedenste Funktionen, wie z.B. das Antiblockiersystem (ABS) realisieren. Die Funktionalitäten von Steuergeräten werden heute mit unterschiedlichen Methoden beschrieben. Eine dieser Methoden sind Message Sequence Charts (MSCs). Aufgrund der Freiheitsgrade von MSCs gibt es verschiedene Möglichkeiten gleiche Funktionalität unterschiedlich zu beschreiben. In dieser Arbeit wird eine Methode definiert, wie verschiedene MSCs hinsichtlich Funktionskompatibilität auf Basis von endlichen Automaten untersucht werden können. Diese Diplomarbeit ist in zwei Schwerpunkte gegliedert. Zum einen soll ein Konzept für die Transformation des MSCs in der entsprechenden Automaten-Darstellung und einen Vergleich-Algorithmus zur Rückwärtskompatibilitätsanalyse der endlichen Automaten entwickelt werden. Zum anderen ist es Aufgabe, die Methode auf Basis von Java zu implementieren und in die Software-Plattform CAMP zu integrieren.

Zugl.: Darmstadt, Techn. University, Diss.