Konsens-Algorithmen für verteilte Systeme

Die Korrektheit vieler felertoleranter vertilter toughmen，darunter vieler Konsensaltmen，hängt von schwachen“Synchronieannahmen”ab.在项目中，我们将采用新的技术，并通过韦尔登的验证。这种技术是一种创新，所以验证复杂性会更大。“冗余”是一种独特的特征，它是一种对系统宽容的成本因素。In Projekt soll bestimmt韦尔登，wieviel Redundanz zur Lösung zentraler Fehlertoleranzprobleme nötig ist.

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.