Abschlussarbeiten

Studentische Arbeiten

Wichtig: Es lohnt sich auch immer, persönlich vorbeizukommen und die Mitarbeiter persönlich nach Themen zu fragen.

Folgende Materialien helfen beim Erstellen von wissenschaftlichen Arbeiten:

  • Vorlage für Studien-, Bachelor und Masterarbeiten am FG Echtzeitsysteme [LaTeX]
  • Vorlage für Präsentationen am FG Echtzeitsysteme [Format 4:3], [Format 16:9], [LaTeX]

Modellierung und Analyse verteilter Informationssysteme

Typ der Arbeit: Bachelor-Thesis, Master-Thesis
Bearbeitungsstand: Offene Arbeiten
Betreuer*in: M.Sc. Alexander Lieb

Zurück zur Übersicht

Motivation

Die wachsenden Anforderungen an verteilte Informationssysteme, besonders bei Themen wie Zuverlässigkeit und korrekte Funktionalität, motivieren eine umfassende Modellierung und Analyse derselben. Insbesondere das Thema Selbstadaption, also die Möglichkeit, auf Umwelteinflüsse, beispielsweise eine sich verringernde Bandbreite einzelner Teilnehmer, innerhalb vorgegebener Fristen zu reagieren und somit die Resilienz zu erhöhen, stellt eine besondere Herausforderung dar. Timed Automata sind ein weit verbreiter Formalismus zur Modellierung von verteilten Echtzeitsystemen und ermöglichen eine wissenschaftlich fundierte Analyse von selbstadaptiven Transitionslogiken, welche eine Reaktion auf eine Veränderung der Umwelt beschreiben.

Aufgabenstellung

Anhand des Beispiels eines Peer-to-Peer Netzwerks für das Tool lectureStudio (https://www.lecturestudio.org/index_de.html) zur Verteilung von Materialien des Dozenten an die Zuhörenden soll ein bestehendes Modell weiterentwickelt werden, um die Analyse und Simulation der Dokumentenverteilung durchführen zu können. Das Modell soll im Anschluss in lectureStudio integriert werden und in der Praxis Anwendung finden.

Die Thesis kann sowohl auf Deutsch als auch auf Englisch geschrieben werden.

Um für Sie ein passendes Thema in diesem Bereich zu finden, setzen Sie sich bitte mit dem Betreuer dieser Arbeit in Verbindung.

Voraussetzungen

Interesse an Modellierungsaufgaben

Gute Java beziehungsweise Javascript-Kenntnisse (wünschenswert, aber nicht zwingend erforderlich)

Vorlesung Echtzeitsysteme (wünschenswert, aber nicht zwingend erforderlich)

Zurück zur Übersicht

Abgeschlossene Arbeiten