Self Stabilization

  title={Self Stabilization},
  author={S. Dolev},
  journal={J. Aerosp. Comput. Inf. Commun.},
  • S. Dolev
  • Published 2004
  • Computer Science
  • J. Aerosp. Comput. Inf. Commun.
AULT tolerance and reliability are important issues for flight vehicles such as aircraft, space-shuttles, and satellites. A self-stabilizing system recovers automatically following disturbances that force the system to an arbitrary state. The self-stabilization concept is an essential property of any autonomous control/computing system. Important branches of distributed computing theory were initiated because of the need for fault-tolerance of aircraft computing devices. The Byzantine fault… Expand
Automated Analysis and Optimization of Distributed Self-Stabilizing Algorithms
This thesis proposes a method to augment self-stabilizing programs with k-central and kbounded schedulers to study different factors, such as geographical distance of processes and the achievable level of parallelism. Expand
Safe and Stabilizing Distributed Flocking in Spite of Actuator Faults
The safe flocking problem requires a collection of N mobile agents to (a) converge to and maintain an equi-spaced lattice formation, (b) arrive at a destination, and (c) always maintain a minimumExpand
Practical Self-Stabilization for Tolerating Unanticipated Faults in Networked Systems
It is our position that the property of stabilization is desirable for distributed, networked systems to deal with unanticipated faults. In this article, we provide a gentle introduction to theExpand
Safe Flocking in Spite of Actuator Faults
This paper studies onedimensional safe flocking, where agents are afflicted by actuator faults, and a self-stabilizing solution for the problem is presented, which relies on a failure detector for actuators faults. Expand
Lightweight Methods for Automated Design of Self-Stabilization
  • Aly Farahat, Ali Ebnenasir
  • Computer Science
  • 2011 IEEE International Symposium on Parallel and Distributed Processing Workshops and Phd Forum
  • 2011
The approach puts forward a paradigm of {em synthesize-in-small-scale} and {em generalize}. Expand
Oracle-based flocking of mobile robots in crash-recovery model
A fault-tolerant flocking algorithm in the semi-synchronous model that allows correct robots to dynamically form a regular polygon in finite time, and maintain it in movement infinitely often is proposed. Expand
Automated design of self-stabilization
A set of heuristics for automating the addition of recovery actions to distributed protocols on various network topologies is developed and it turns out that local reasoning about deadlocks and livelocks is possible for an interesting class of protocols whose proof of stabilization is otherwise complex. Expand
Bridging the Gap : Byzantine Faults and Self-stabilization Thesis submitted for the degree of DOCTOR of PHILOSOPHY by
Distributed systems are everywhere. As everyday lives become more and more dependent on distributed systems, they are expected to withstand different kinds of failures. Different models of failuresExpand
Automatic Recovery of the TTP/A Sensor/Actuator Network
This paper discusses the automatic recovery of the TTP/A field-bus protocol if the slave nodes are forced to an arbitrary position in the TDMA scheme. Expand
Self-Stabilizing Failure Detector Algorithms
This paper presents ways to circumvent the impossibility result of showing that in certain settings, problems as failure detection cannot be solved, and considers the interconnection of self-stabilization and fault-tolerance. Expand


SIFT: Design and analysis of a fault-tolerant computer for aircraft control
SIFT (Software Implemented Fault Tolerance) is an ultrareliable computer for critical aircraft control applications that achieves fault tolerance by the replication of tasks among processing units by using a novel fault-tolerant synchronization method. Expand
Self-stabilizing autonomic recoverer for eventual Byzantine software
A general yet practical framework and paradigm, based on a theoretical foundation, for the monitoring and restarting of systems, and an autonomic recoverer that monitors and restarts the system is proposed. Expand
Self-stabilizing microprocessor: analyzing and overcoming soft errors
This work presents design schemes for a self-stabilizing microprocessor and a new technique for analyzing the effect of soft errors and shows that the problem of computing the reliability of a circuit such that logical masking is taken into account is an NP-hard problem. Expand
Toward self-stabilizing operating systems
  • S. Dolev, Reuven Yagel
  • Computer Science
  • Proceedings. 15th International Workshop on Database and Expert Systems Applications, 2004.
  • 2004
This work presents several approaches for designing self-stabilizing operating systems based on periodical automatic reinstalling of the operating system and restart and an example of a tailored self-Stabilizing very-tiny operating system. Expand
Reaching Agreement in the Presence of Faults
It is shown that the problem is solvable for, and only for, n ≥ 3m + 1, where m is the number of faulty processors and n is the total number and this weaker assumption can be approximated in practice using cryptographic methods. Expand
The trouble with rover is revealed,
  • EE Times, Feb
  • 2004
Self-repairing computers.