Umfang

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

Empfohlene Vorkenntnisse

  • gute Kenntnisse in Java
  • grundlegende Kenntnisse mit OpenGL
  • grundlegende Kenntnisse der B Sprache könnten hilfreich sein (z.B. durch Besuch der Veranstaltung “Sicherheitskritische Systeme”)

Problem

VisB ist ein Visualisierungstool mithilfe dessen man domänenspezifische 2D Visualisierungen für formale Modelle erstellen kann. Eine VisB Visualisierung besteht aus einem SVG Bild und einem sogenannten VisB Glue File, womit das Aussehen sowie Click Ereignisse der graphischen Elemente definiert werden können. Aus domänenspezifischer Sicht kann es wünschenswert sein, ebenfalls 3D Visualisierungen in Betracht zu ziehen. Die Aufgabe dieser Arbeit besteht darin, VisB um 3D Visualisierungen (z.B. OpenGL) zu erweitern. Bezüglich des formalen Modells, soll es dann ebenfalls möglich sein das Aussehen anhand des aktuellen Zustandes sowie Click Ereignisse zu definieren.

Minimalanforderung

  • Erweiterung von VisB um 3D Visualisierungen
  • Anbindung in ProB2-UI

Erweiterungen

  • Demonstration von 3D Visualisierungen anhand von Fallstudien
  • ggf. Erweiterung des VisB Formates

Kontakt


Fabian Vu
Raum 25.12.02.50
Fabian.Vu@hhu.de