Abgeschlossene Arbeiten

Studentische Arbeiten

Graph Constraints meet Topology Control - Entwurf garantiert korrekter graphbasierter Netzwerkalgorithmen (Maximilian Herbst)

Typ der Arbeit: Bachelor-Thesis
Bearbeitungsstand: Abgeschlossene Arbeiten
Möglicher Beginn der Arbeit: nach Absprache
Arbeit abgeschlossen am: 02.11.2016
Betreuer*in: Dr.-Ing. Roland Speith (neé Kluge)

Zurück zur Übersicht

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.

Aufgabenstellung

Das Ziel dieser Arbeit ist es, diese Methodik auf eine Reihe von existierenden Topologiekontrollalgorithmen anzuwenden.

Vorgehen:

  1. Einarbeitung in die bestehende Entwurfsmethodik
  2. Auswahl geeigneter Topologiekontrollalgorithmen als Fallbeispiele
  3. Anwendung der Methodik auf die Fallbeispiele
  4. Evaluation: Vergleich (falls möglich) mit existierender Impl. des jeweiligen Algorithmus

 

Voraussetzungen

Grundlagenwissen zu Kommunikationsnetzwerken (optional/nützlich); Grundlagen der Modellbasierten Softwareentwicklung (optional/nützlich)

Zurück zur Übersicht