Konsens-Algorithmen für verteilte Systeme

• Applicant: Professor Dr. Wolfgang Reisig
• Subject Area: Theoretical Computer Science
• Term: from 1995 to 2002
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 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 Programme: Research Grants
• Participating Person: Professor Dr. Miroslaw Malek