5. EDCC 2005: Budapest, Hungary

Mario Dal Cin, Mohamed Kaâniche, András Pataricza (Eds.): Dependable Computing - EDCC-5, 5th European Dependable Computing Conference, Budapest, Hungary, April 20-22, 2005, Proceedings. Lecture Notes in Computer Science 3463 Springer 2005, ISBN 3-540-25723-3 BibTeX

Keynote I

Pascal Traverse, Isabelle Lacaze, Jean Souyris:
A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm. 1
Electronic Edition (link) BibTeX

Roy Friedman, Achour Mostéfaoui, Michel Raynal:
Building and Using Quorums Despite any Number of Process of Crashes. 2-19
Electronic Edition (link) BibTeX
Josef Widder, Gérard Le Lann, Ulrich Schmid:
Failure Detection with Booting in Partially Synchronous Systems. 20-37
Electronic Edition (link) BibTeX
Roberto Baldoni, Stefano Cimmino, Carlo Marchetti:
Total Order Communications: A Practical Analysis. 38-54
Electronic Edition (link) BibTeX
Gildas Avoine, Felix C. Gärtner, Rachid Guerraoui, Marko Vukolic:
Gracefully Degrading Fair Exchange with Security Modules. 55-71
Electronic Edition (link) BibTeX

Sandeep S. Kulkarni, Ali Ebnenasir:
Adding Fault-Tolerance Using Pre-synthesized Components. 72-90
Electronic Edition (link) BibTeX
Jens Chr. Lisner:
Efficiency of Dynamic Arbitration in TDMA Protocols. 91-102
Electronic Edition (link) BibTeX
Nithin Nakka, Giacinto Paolo Saggese, Zbigniew Kalbarczyk, Ravishankar K. Iyer:
An Architectural Framework for Detecting Process Hangs/Crashes. 103-121
Electronic Edition (link) BibTeX
Dakai Zhu, Rami G. Melhem, Daniel Mossé:
Energy Efficient Configuration for QoS in Reliable Parallel Servers. 122-139
Electronic Edition (link) BibTeX

Christophe Honvault, Marc Le Roy, Pascal Gula, Jean-Charles Fabre, Gérard Le Lann, Eric Bornschlegl:
Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems. 140-153
Electronic Edition (link) BibTeX
A. V. Singh, Louise E. Moser, P. M. Melliar-Smith:
Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA. 154-166
Electronic Edition (link) BibTeX
Namyoon Woo, Hyungsoo Jung, Dongin Shin, Hyuck Han, Heon Young Yeom, Taesoon Park:
Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF. 167-178
Electronic Edition (link) BibTeX

Bjarne E. Helvik, Hein Meling, Alberto Montresor:
An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System. 179-198
Electronic Edition (link) BibTeX
Meine van der Meulen, Miguel A. Revilla:
The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision. 199-209
Electronic Edition (link) BibTeX
Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn:
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA). 210-224
Electronic Edition (link) BibTeX

Henrique Madeira:
Dependability Challenges and Education Perspectives. 225-225
Electronic Edition (link) BibTeX

Manfred Reitenspieß:
Availability in Industry and Science - A Business Perspective -. 226-229
Electronic Edition (link) BibTeX

David de Andrés, José Albaladejo, Lenin Lemus, Pedro J. Gil:
Fast Run-Time Reconfiguration for SEU Injection. 230-245
Electronic Edition (link) BibTeX
Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson:
Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. 246-262
Electronic Edition (link) BibTeX
Gergely Pintér, Henrique Madeira, Marco Vieira, István Majzik, András Pataricza:
A Data Mining Approach to Identify Key Factors in Dependability Experiments. 263-280
Electronic Edition (link) BibTeX

Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger:
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. 281-292
Electronic Edition (link) BibTeX
Caiazza Alessandro, Roberto Di Maio, Fernando Scalabrini, Fabio Poli, Leonardo Impagliazzo, Arturo M. Amendola:
A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems. 293-304
Electronic Edition (link) BibTeX
Giuseppe De Nicola, Pasquale di Tommaso, Rosaria Esposito, Francesco Flammini, Pietro Marmo, Antonio Orazzo:
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems. 305-317
Electronic Edition (link) BibTeX

Maciej Bellos, Dimitris Nikolos:
Deterministic Test Vector Compression / Decompression Using an Embedded Processor. 318-331
Electronic Edition (link) BibTeX
Jaan Raik, Raimund Ubar, Sergei Devadze, Artur Jutman:
Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs. 332-344
Electronic Edition (link) BibTeX

Daniel J. Rosenkrantz, Sanjay Goel, S. S. Ravi, Jagdish Gangolly:
Structure-Based Resilience Metrics for Service-Oriented Networks. 345-362
Electronic Edition (link) BibTeX
Miklós Molnár, Alexandre Guitton, Bernard Cousin, Raymond A. Marie:
Efficient Protection of Many-to-One Communications. 363-378
Electronic Edition (link) BibTeX

Daniel Gil, Joaquin Gracia, Juan Carlos Baraza, Pedro J. Gil:
Impact of Faults in Combinational Logic of Commercial Microcontrollers. 379-390
Electronic Edition (link) BibTeX
Tamás Bartha, István Varga, Alexandros Soumelidis, Géza Szabé:
Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System. 391-402
Electronic Edition (link) BibTeX
Ondrej Novák, Jirí Zahrádka, Zdenek Plíva:
COMPAS - Compressed Test Pattern Sequencer for Scan Based Circuits. 403-414
Electronic Edition (link) BibTeX

Jane Huffman Hayes, Inies C. M. Raphael, Vinod Kumar Surisetty, Anneliese Amschler Andrews:
Fault Links: Exploring the Relationship Between Module and Fault Types. 415-434
Electronic Edition (link) BibTeX
Stefan Wagner, Jan Jürjens:
Model-Based Identification of Fault-Prone Components. 435-452
Electronic Edition (link) BibTeX
Eliane Martins, Vanessa Gindri Vieira:
Regression Test Selection for Testable Classes. 453-470
Electronic Edition (link) BibTeX