Dependable Computing EDCC-4

4th European Dependable Computing Conference Toulouse, France, October 23–25, 2002 Proceedings

  • Andrea Bondavalli
  • Pascale Thevenod-Fosse
Conference proceedings EDCC 2002

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2485)

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Keynote Talk

  3. Modeling and Evaluation

    1. György Csertán, András Pataricza, P. Harang, Orsolya Dobán, Gabor Biros, András Dancsecz et al.
      Pages 32-43
  4. Agreement Protocols

    1. Fernando Pedone, André Schiper, Péter Urbán, David Cavin
      Pages 44-61
    2. Emmanuelle Anceaume, Michel Hurfin, Philippe Raipin Parvedy
      Pages 62-78
  5. Fast Abstracts I

  6. Error Detection and Fault Tolerance

    1. Maciej Bellos, Dimitri Kagaris, Dimitris Nikolos
      Pages 90-101
    2. João Carlos Cunha, Antńio Correia, Jorge Henriques, Mário Zenha Rela, João Gabriel Silva
      Pages 102-120
    3. István Majzik, Gábor Huszerl
      Pages 121-139
  7. Experimental Validation

  8. Distributed Algorithms

    1. Partha Dutta, Rachid Guerraoui
      Pages 191-208
    2. Fernando Pedone, Nelson L. Duarte, Mario Goulart
      Pages 209-226
  9. Distributed Algorithms

  10. Real-Time

    1. Miguel Correia, Paulo Veríssimo, Nuno Ferreira Neves
      Pages 234-252
    2. Manuel Rodrίguez, Jean-Charles Fabre, Jean Arlat
      Pages 253-270
    3. Pavel Herout, Stanislav Racek, Jan Hlavička
      Pages 271-282
  11. Back Matter
    Pages 283-283

About these proceedings


It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?rst time in France. The fourth issue of EDCC carried on the traditions established bythe previous conferences in this series: EDCC-1 was held in Berlin (Germany) in October 1994, EDCC-2 in Taormina (Italy) in October 1996, and EDCC-3 in Prague (Czech Republic) in September 1999. EDCC evolved from a merger of tow other conference series at the moment when the Iron Curtain fell. One of these, known as the ”International Conf- ence on Fault-Tolerant Computing Systems”, was organized during the period 1982–1991, bythe German Technical Interest Group ”Fault-Tolerant Computing Systems”. The other series, known as the ”International Conference on Fault- Tolerant Systems and Diagnostics”, was organized during the period 1975–1990 in the former Czechoslovakia, Poland, Bulgaria, and the former GDR. The c- position of the EDCC steering committee and the organizing committees of the successive issues of the conference have mirrored the East–West uni?cation ch- acter of the conference series. The EDCC conference is becoming a unique meeting point for researchers and practitioners from all over the world in the ?eld of Dependable Systems. It is organized bythe SEE Working Group ”Dependable Computing” in France, the GI/ITG/GMA Technical Committee on Dependabilityand Fault Tolerance in Germany, and the AICA Working Group ”Dependability of Computer Systems” in Italy. Furthermore, committees of several global professional organizations, such as IEEE and IFIP, support the conference.


CORBA Kernel Oracle QoS System architecture complex system dependable computing dependable systems distributed systems fault-tolerant computing reactive systems safety-critical systems systems availability systems validation

Editors and affiliations

  • Andrea Bondavalli
    • 1
  • Pascale Thevenod-Fosse
    • 2
  1. 1.Dipartimento di Sistemi e InformaticaUniversitá di FirenzeFirenzeItaly
  2. 2.LAAS-CNRSToulouse Cedex 4France

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2002
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-00012-9
  • Online ISBN 978-3-540-36080-3
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site