Jubran, Oday (2017) Recurrence in Self-Stabilization: Theory, Verification, and Application. PhD, Universität Oldenburg.

[img]
Preview


Volltext (2059Kb)

Abstract

Self-stabilization is a fault tolerance concept which ensures that a system finally recovers itself from failures due to transient faults, without running into them by itself. In the related work, self-stabilization almost exclusively regards the recovery to a safe behavior. In this work, the self-stabilization concept is generalized to cover more properties, which provides the ability of studying the recovery of a system to reach a possible high quality of service. To this end, this work concerns designing, analyzing, and re-engineering systems that solve common problems in distributing computing. The problems are: Time-Division-Multiple-Access (TDMA) slot assignment, mutual exclusion and an extended version of it. In addition, an automatic verification approach that simplifies verifying such properties in self-stabilizing systems is presented.

["eprint_fieldname_title_plus" not defined]

Rekurrenz in Selbststabilisierung: Theorie, Verifikation und Anwendung

["eprint_fieldname_abstract_plus" not defined]

Selbststabilisierung ist ein Konzept der Fehlertoleranz, welches eine Wiederherstellung eines Systems nach Ausfall durch transiente Fehler garantiert, ohne von sich aus in einen solchen zu geraten. In der Literatur wird Selbststabilisierung meist in Hinblick auf die Wiederherstellung einer sicheren Ausführung untersucht. In dieser Arbeit wird das Konzept der Selbststabilisierung generalisiert, um mehrere Eigenschaftsarten abzudecken, die die Betrachtung der Wiederherstellung eines Systems hin zu einer möglichst hohen Servicequalität ermöglichen. Hierzu wird das Design, die Analyse und das Re-Engineering von Systemen, die bekannte Probleme in verteilten Systemen lösen, angewendet. Die Probleme sind: die Slot-Zuteilung in zeitbasierten Multiplexverfahren sowie der wechselseitige Ausschluss und eine erweiterte Version davon. Zusätzlich wird eine automatische Verifikationsmethode präsentiert, die die Verifikation solcher Eigenschaften in selbststabilisierenden Systemen erleichtert.

Item Type: Thesis (PhD)
Uncontrolled Keywords: Selbststabilisierung, Zuverlässigkeit, Rekurrenz, Verteilter Algorithmus, Verifikation
Subjects: Generalities, computers, information > Computer science, internet
Divisions: School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited: 02 Feb 2017 14:48
Last Modified: 03 Feb 2017 13:48
URI: https://oops.uni-oldenburg.de/id/eprint/2952
URN: urn:nbn:de:gbv:715-oops-30339
DOI:
Nutzungslizenz:

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...