No description available.

No description available.

The main goal of the thesis is the design and implementation environment that provides tools for working with grammars and languages. The environment is implemented by the library to which the user is working through the API. The library enables manipulation with languages represented as grammars or automata, transfer language between its various representations and to test whether the grammar is regular, linear or LR(k). The library found counterexamples in case that condition is violated. The thesis also highlights the future library expansion. Part of this work is a sample implementation of library usage. The library and samples are written in C++.

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.

University, Diss--Kassel, 2008.

Darmstadt, Techn. University, Diss., 2007.

Tübingen, Univ., Diss., 2005.

Zugl.: Dortmund, Univ., Diss., 2007

Zugl.: Frankfurt (Main), Univ., Diss., 2008