Abgeschlossen am 17. September 2013 von Jan Steffen Becker

• Prof. Dr.-Ing. Oliver Theel
• Dipl.-Inform. Eike Möhlmann

• Betriebssysteme
• Software Engineering

Aufgabe ist es, einen regionentreuen Algorithmus zu finden und in Bezug auf Fehlertoleranz — insbesondere seiner Regionentreue — zu evaluieren. Dazu sind folgende Ziele zu erfüllen:

• Recherche des State of the Art fehlertoleranter Systeme, insbesondere
• Graceful Degradation
• Selbststabilisierende Algorithmen
• Finden eines passenden Ausführungsmodells
• Definition eines für die Regionentreue geeigneten Fehlermodells
• Aufstellen einer (allgemeinen) Definition von Regionentreue
• Beispielhafter, gegebenenfalls systematischer, Entwurf eines regionentreuen Algorithmus'.
• Aufstellen einer zum gewählten Anwendungsfall passenden Gütefunktion
• Untersuchung des Beispielalgorithmus', insbesondere
• Formaler Nachweis der Regionentreue
• Implementierung und Simulation des Algorithmus'

• C++
• Betriebssystemarchitektur