Konsens-Algorithmen für verteilte Systeme

• Antragsteller: Professor Dr. Wolfgang Reisig
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung von 1995 bis 2002
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 5217164

Die Korrektheit vieler felertoleranter verteilter Algorithmen, darunter vieler Konsensalgorithmen, hängt von schwachen "Synchronieannahmen" ab. Im Projekt wird eine neue Technik ausgearbeitet und erprobt, mit der solche Algorithmen verifiziert werden können. Diese Technik ist einfacher als existierende, so daß die Verifikation komplexerer Algorithmen möglich wird. "Redundanz" ist einerseits unverzichtbare Eigenschaft, andererseits entscheidender Kostenfaktor fehlertoleranter Systeme. Im Projekt soll bestimmt werden, wieviel Redundanz zur Lösung zentraler Fehlertoleranzprobleme nötig ist.

• DFG-Verfahren: Sachbeihilfen
• Beteiligte Person: Professor Dr. Miroslaw Malek