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

Keynote I

Pascal Traverse, Isabelle Lacaze, Jean Souyris:
A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm. 1

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

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

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
A. V. Singh, Louise E. Moser, P. M. Melliar-Smith:
Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA. 154-166
Namyoon Woo, Hyungsoo Jung, Dongin Shin, Hyuck Han, Heon Young Yeom, Taesoon Park:
Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF. 167-178

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

Henrique Madeira:
Dependability Challenges and Education Perspectives. 225-225

Manfred Reitenspieß:
Availability in Industry and Science - A Business Perspective -. 226-229

David de Andrés, José Albaladejo, Lenin Lemus, Pedro J. Gil:
Fast Run-Time Reconfiguration for SEU Injection. 230-245
Raul Barbosa, Jonny Vinter, Peter Folkesson, Johan Karlsson:
Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency. 246-262
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

Nicky Williams, Bruno Marre, Patricia Mouy, Muriel Roger:
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis. 281-292
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
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

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

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

Daniel Gil, Joaquin Gracia, Juan Carlos Baraza, Pedro J. Gil:
Impact of Faults in Combinational Logic of Commercial Microcontrollers. 379-390
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
Ondrej Novák, Jirí Zahrádka, Zdenek Plíva:
COMPAS - Compressed Test Pattern Sequencer for Scan Based Circuits. 403-414

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
Stefan Wagner, Jan Jürjens:
Model-Based Identification of Fault-Prone Components. 435-452
Eliane Martins, Vanessa Gindri Vieira:
Regression Test Selection for Testable Classes. 453-470

Last update Fri May 25 05:55:54 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page