Folgende Materialien helfen beim Erstellen von wissenschaftlichen Arbeiten:

• Vorlage für Studien-, Bachelor und Masterarbeiten am FG Echtzeitsysteme [Github]
• Vorlage für Präsentationen am FG Echtzeitsysteme [Github]

Type of thesis: Bachelor-Thesis
State: Offene Arbeiten
Tutor: M.Sc. Alexander Lieb

Back to overview

Motivation

Timed Automata sind ein weit verbreiteter Formalismus zur Modellierung von Echtzeitsystemen. Tools wie [TChecker] ermöglichen Simulation und Analyse modellierter Systeme und tragen so wesentlich zur Ausfallsicherheit des Endproduktes bei.

Das grafische Tool [https://github.com/Echtzeitsysteme/timed-automata-analysis-frontend], welches zu TChecker gehört, bietet zur Zeit an, TChecker-Dateien hochzuladen, grafisch zu editieren und wieder herunterzuladen. Jedoch ist es nicht möglich, den angezeigten Timed Automaton direkt aus der GUI zu analysieren. Aus diesem Grund müssen Dateien während des Entwicklungsprozesses oftmals umständlich hoch- und wieder heruntergeladen werden.

Der aktuelle Workflow sieht entsprechend folgendermaßen aus:

Task

Im Rahmen dieser Thesis soll das grafische Tool so erweitert werden, dass TChecker direkt aufrufbar wird. Der neue Workflow soll entsprechend folgendermaßen aussehen:

Preconditions

Sehr (!) gute Kenntnisse in Typescript und React.

Java oder C++ wünschenswert.

Falls Sie sich grundsätzlich in Timed Automata einlesen möchten, können Sie

Timed Automata: Semantics, Algorithms and Tools, Johan Bengtsson and Wang Yi. In Lecture Notes on Concurrency and Petri Nets. W. Reisig and G. Rozenberg (eds.), LNCS 3098, Springer-Verlag, 2004.

(https://www.seas.upenn.edu/~lee/09cis480/papers/by-lncs04.pdf) als Ausgangspunkt verwenden.

Back to overview

Zu den abgeschlossenen Arbeiten