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.
| Identifer | oai:union.ndltd.org:DRESDEN/oai:qucosa:de:qucosa:18877 |
| Date | 26 February 2006 |
| Creators | Ma, Zheng |
| Contributors | Glockner, Matthias, Hardt, Wolfram, Technische Universität Chemnitz |
| Source Sets | Hochschulschriftenserver (HSSS) der SLUB Dresden |
| Language | German |
| Detected Language | German |
| Type | doc-type:masterThesis, info:eu-repo/semantics/masterThesis, doc-type:Text |
| Rights | info:eu-repo/semantics/openAccess |
Page generated in 0.0021 seconds