Studentische Arbeiten
Graph Constraints meet Topology Control - Entwurf garantiert korrekter graphbasierter Netzwerkalgorithmen (Maximilian Herbst)
Type of thesis:
Bachelor-Thesis
State: Abgeschlossene Arbeiten
Possible start of thesis: nach Absprache
Thesis closed on: 02.11.2016
Tutor: Dr.-Ing. Roland Speith (neé Kluge)
Motivation
Die Topologie eines Kommunikationsnetzwerks besteht aus Netzwerkknoten und Verbindun-gen zwischen ihnen und lässt sich auf natürliche Weise als Graph mit Knoten und Kanten modellieren. Es gibt hunderte von sogenannten Topologiekontrollalgorithmen, welche die Topologie verändern (bspw. nicht benötigte Verbindungen eliminieren) und damit bestimmte Eigenschaften der Topologie verbessern (bspw. den Energieverbrauch).
Gerade wenn ein solcher Algorithmus Kanten entfernt, ist es wichtig, dass wesentlich Eigenschaften (bspw. Verbundenheit) erhalten bleiben, da das resultierende Netzwerk sonst nicht mehr funktionsfähig ist. Wir entwickeln eine Methodik, die genau das sicherstellt: Wesentliche Eigenschaften (sogenannte Constraints) werden so beschrieben, dass sie sich systematisch in einen Topologiekontrollalgorithmus übersetzen lassen.
Task
Das Ziel dieser Arbeit ist es, diese Methodik auf eine Reihe von existierenden Topologiekontrollalgorithmen anzuwenden.
Vorgehen:
- Einarbeitung in die bestehende Entwurfsmethodik
- Auswahl geeigneter Topologiekontrollalgorithmen als Fallbeispiele
- Anwendung der Methodik auf die Fallbeispiele
- Evaluation: Vergleich (falls möglich) mit existierender Impl. des jeweiligen Algorithmus
Preconditions
Grundlagenwissen zu Kommunikationsnetzwerken (optional/nützlich); Grundlagen der Modellbasierten Softwareentwicklung (optional/nützlich)