Skip to main content
SpringerLink
Log in

Dependable Computing EDCC-4

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

  • Conference proceedings
  • © 2002

Overview

Editors:
  1. Andrea Bondavalli

    1. Dipartimento di Sistemi e Informatica, Universitá di Firenze, Firenze, Italy

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Pascale Thevenod-Fosse

    1. LAAS-CNRS, Toulouse Cedex 4, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

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

Included in the following conference series:

Conference proceedings info: EDCC 2002.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (23 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Keynote Talk

    1. Use and Misuse of Safety Models in Design

      • Rene Amalberti
      Pages 1-1

  3. Modeling and Evaluation

    1. On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations

      • Stefano Porcarelli, Félicita Di Giandomenico
      Pages 2-18

    2. Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System

      • Pierre Bieber, Charles Castel, Christel Seguin
      Pages 19-31

    3. BPM Based Robust E-business Application Development

      • 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. Solving Agreement Problems with Weak Ordering Oracles

      • Fernando Pedone, André Schiper, Péter Urbán, David Cavin
      Pages 44-61

    2. An Efficient Solution to the k-Set Agreement Problem

      • Emmanuelle Anceaume, Michel Hurfin, Philippe Raipin Parvedy
      Pages 62-78

  6. Error Detection and Fault Tolerance

    1. Test Set Embedding Based on Phase Shifters

      • Maciej Bellos, Dimitri Kagaris, Dimitris Nikolos
      Pages 90-101

    2. Reset-Driven Fault Tolerance

      • João Carlos Cunha, Antńio Correia, Jorge Henriques, Mário Zenha Rela, João Gabriel Silva
      Pages 102-120

    3. Towards Dependability Modeling of FT-CORBA Architectures

      • István Majzik, Gábor Huszerl
      Pages 121-139

  7. Experimental Validation

    1. Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol

      • Kaustubh R. Joshi, Michel Cukier, William H. Sanders
      Pages 140-158

    2. UMLinux - A Versatile SWIFI Tool

      • Volkmar Sieh, Kerstin Buchacker
      Pages 159-171

    3. A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection

      • Astrit Ademaj
      Pages 172-190

  8. Distributed Algorithms

    1. Fast Indulgent Consensus with Zero Degradation

      • Partha Dutta, Rachid Guerraoui
      Pages 191-208

    2. Probabilistic Queries in Large-Scale Networks

      • Fernando Pedone, Nelson L. Duarte, Mario Goulart
      Pages 209-226
Back to top

Other volumes

  1. Dependable Computing EDCC-4

Keywords

About this book

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.

Editors and Affiliations

  • Dipartimento di Sistemi e Informatica, Universitá di Firenze, Firenze, Italy

    Andrea Bondavalli

  • LAAS-CNRS, Toulouse Cedex 4, France

    Pascale Thevenod-Fosse

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation