Umfang

Der Umfang der Arbeit lässt sich so anpassen, dass das Thema als Bachelorarbeit oder Projektarbeit bearbeitet werden kann.

Empfohlene Vorkenntnisse

  • gute Kenntnisse in Java
  • gute Kenntnisse in Compilerbau (z.B. durch Besuch der Veranstaltung “Compilerbau”)

Problem

SimB ist ein Simulationstool um formale Modelle mit Timing und probabilistischen Elementen (u.a. auch in Echtzeit) zu simulieren. Neuerdings unterstützt SimB auch manuelle Interaktion welche anschließend eine Simulation starten. Intern enkodieren diese Elemente ein Aktivierungsdiagramm von Events welche die Interaktion zwischen den Events darstellen. Beispielsweise löst das Betätigen des Hebels im Flugzeugcockpit eine Kette von weiteren Events aus.

Im Rahmen dieser Arbeit soll ein Tool entwickelt werden mit welchem diese SimB Aktivierungsdiagramme dargestellt werden können. Hierzu könnte sich die Generierung von Dot Graphen eignen. Da SimB ein Tool in der graphischen Nutzeroberfläche ProB2-UI für den Animator, Constraint Solver und Model Checker ProB ist, wird erwartet dass das Visualisierungstool in ProB2-UI eingebunden wird.

Minimalanforderung

  • funktionsfähige Visualisierung von SimB Aktivierungsdiagrammen
  • Anbindung in ProB2-UI muss funktionieren

Erweiterungen

  • Demonstration anhand von Beispielen

Kontakt


Fabian Vu
Raum 25.12.02.50
Fabian.Vu@hhu.de