Studentische Arbeiten
Modellierung und Analyse verteilter Informationssysteme
Typ der Arbeit:
Bachelor-Thesis
Bearbeitungsstand: Offene Arbeiten
Betreuer*in: M.Sc. Alexander Lieb
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)
