TOP
Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Seminars
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Publishing
Within this website:
External resources:
dblp
Within this website:
External resources:
  • the dblp Computer Science Bibliography


Dagstuhl Seminar 98331

Self-Stabilization

( Aug 17 – Aug 21, 1998 )

(Click in the middle of the image to enlarge)

Permalink
Please use the following short url to reference this page: https://www.dagstuhl.de/98331

Organizers
  • A. Arora (Ohio State)
  • S. Dolev (Beer-Sheva, Israel)
  • W.P. de Roever (Kiel)




Summary

Distributed systems substantially improve our ability to compute and exchange information, as is evidenced by the dramatic success of the so-called World Wide Web. At the same time, distributed systems --and computer networks in particular-- are hard to design, control, and maintain, as they consist of a variety of complex hardware and software components that are subject to faults and dynamic changes.

Self-stabilisation has emerged as a promising paradigm for the design, control, and maintenance of fault-tolerant distributed systems. As its name suggests, self-stabilisation enables systems to automatically recover from the occurrence of faults. Its essential idea is this: Regardless of what state a system is placed in, by virtue of being self-stabilising, the system converges to desired behaviour. Thus, even if faults cause the system to be placed in an arbitrary state, the system can eventually resume its desired behaviour.

The field of self-stabilisation is young and rapidly growing. To facilitate research in this field, experts in this field and in allied fields were invited to share their research interests and work with each other. The Dagstuhl Seminar on "Self-Stabilisation" brought together thirty five researchers from seven different countries. The opening talk was given by Edsger W. Dijkstra, then an overview of the state-of-the-art and future directions was provided by Shmuel Katz. The talks that followed presented new results and directions:

  • Formal methods for verification and specification of self-stabilising algorithms,
  • Use of the self-stabilisation concept in the context of security and privacy,
  • Integration with other fault models,
  • Transient fault detectors,
  • Design frameworks for achieving self-stabilisation and other fault tolerances,
  • Self-stabilising algorithms and their time/space efficiency; impossibility results
  • The pleasant atmosphere of Dagstuhl was an important incentive for the lively interaction between the participants. The success of the seminar in stimulating new ideas and dialogue has led us to start planning the next seminar two years hence. We would like to thank all who contributed to the seminar, and in particular the encouragement we received from Professor Dr. Reinhard Wilhelm. The support of the TMR Program of the European Community is gratefully acknowledged.


Participants
  • A. Arora (Ohio State)
  • S. Dolev (Beer-Sheva, Israel)
  • W.P. de Roever (Kiel)