Skip to main content
SpringerLink
Log in
Book cover

Dependable Computing - EDCC 2005

5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings

  • Conference proceedings
  • © 2005

Overview

Editors:
  1. Mario Cin

    1. Institute for Computer Sciences III, University of Erlangen-Nürnberg, Erlangen, Germany

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Mohamed Kaâniche

    1. UPS, INSA, INP, ISAE; LAAS-CNRS, Université de Toulouse, Toulouse, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. András Pataricza

    1. Department of Measurement and Information Systems, Budapest University of Technology and Economics,  

    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 3463)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: EDCC 2005.

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 (33 papers)

  1. Front Matter

    Download chapter PDF

  2. Keynote I

    1. A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm

      • Pascal Traverse, Isabelle Lacaze, Jean Souyris
      Pages 1-1

  3. Session 1A: Distributed Algorithms

    1. Building and Using Quorums Despite any Number of Process of Crashes

      • Roy Friedman, Achour Mostefaoui, Michel Raynal
      Pages 2-19

    2. Failure Detection with Booting in Partially Synchronous Systems

      • Josef Widder, Gérard Le Lann, Ulrich Schmid
      Pages 20-37

    3. Total Order Communications: A Practical Analysis

      • Roberto Baldoni, Stefano Cimmino, Carlo Marchetti
      Pages 38-54

    4. Gracefully Degrading Fair Exchange with Security Modules

      • Gildas Avoine, Felix Gärtner, Rachid Guerraoui, Marko Vukolić
      Pages 55-71

  4. Session 1B: Fault Tolerant Design and Protocols

    1. Adding Fault-Tolerance Using Pre-synthesized Components

      • Sandeep S. Kulkarni, Ali Ebnenasir
      Pages 72-90

    2. Efficiency of Dynamic Arbitration in TDMA Protocols

      • Jens Chr. Lisner
      Pages 91-102

    3. An Architectural Framework for Detecting Process Hangs/Crashes

      • Nithin Nakka, Giacinto Paolo Saggese, Zbigniew Kalbarczyk, Ravishankar K. Iyer
      Pages 103-121

    4. Energy Efficient Configuration for QoS in Reliable Parallel Servers

      • Dakai Zhu, Rami Melhem, Daniel Mossé
      Pages 122-139

  5. Session 2A: Practical Experience Reports and Tools I

    1. Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems

      • Christophe Honvault, Marc Le Roy, Pascal Gula, Jean Charles Fabre, Gérard Le Lann, Eric Bornschlegl
      Pages 140-153

    2. Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA

      • A. V. Singh, L. E. Moser, P. M. Melliar-Smith
      Pages 154-166

    3. Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF

      • Namyoon Woo, Hyungsoo Jung, Dongin Shin, Hyuck Han, Heon Y. Yeom, Taesoon Park
      Pages 167-178

  6. Session 2B: Assessment and Analysis

    1. An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System

      • Bjarne E. Helvik, Hein Meling, Alberto Montresor
      Pages 179-198

    2. The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision

      • Meine J. P. van der Meulen, Miguel Revilla
      Pages 199-209

    3. Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)

      • Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn
      Pages 210-224

  7. Panel

    1. Dependability Challenges and Education Perspectives

      • Henrique Madeira
      Pages 225-225

  8. Keynote II

    1. Availability in Industry and Science – A Business Perspective -

      • Manfred Reitenspieß
      Pages 226-229

  9. Session 3A: Measurement

    1. Fast Run-Time Reconfiguration for SEU Injection

      • David de Andrés, José Albaladejo, Lenin Lemus, Pedro Gil
      Pages 230-245

    2. Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency

      • Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson
      Pages 246-262
Back to top

Other volumes

  1. Dependable Computing - EDCC 5

Keywords

About this book

It is always a special honor to chair the European Dependable Computing C- ference (EDCC). EDCC has become one of the well-established conferences in the ?eld of dependability in the European research area. Budapest was selected as the host of this conference due to its traditions in organizing international scienti?c events and its traditional role of serving as a meeting point between East and West. EDCC-5 was the ?fth in the series of these high-quality scienti?c conf- ences. In addition to the overall signi?cance of such a pan-European event, this year’s conference was a special one due to historic reasons. The roots of EDCC date back to the moment when the Iron Curtain fell. Originally, two groups of scientists from di?erent European countries in Western and Eastern Europe – who were active in research and education related to dependability created a – joint forum in order to merge their communities as early as in 1989. This trend has continued up to today. This year’s conference was the ?rst one where the overwhelming majority of the research groups belong to the family of European nations united in the European Union. During the past 16 years we observed that the same roots in all the professional, cultural and scienti?c senses led to a seamless integration of these research communities previously separated ar- ?cially for a long time. EDCC has become one of the main European platforms to exchange new - searchideasinthe?eldofdependability.

Editors and Affiliations

  • Institute for Computer Sciences III, University of Erlangen-Nürnberg, Erlangen, Germany

    Mario Cin

  • UPS, INSA, INP, ISAE; LAAS-CNRS, Université de Toulouse, Toulouse, France

    Mohamed Kaâniche

  • Department of Measurement and Information Systems, Budapest University of Technology and Economics,  

    András Pataricza

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation