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. Springer 2005 Lecture Notes in Computer Science ISBN 3-540-25723-3
Keynote I
- Pascal Traverse, Isabelle Lacaze, Jean Souyris: A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm. 1
Distributed Algorithms
- 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
Fault Tolerant Design and Protocols
- 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
Practical Experience Reports and Tools I
- 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
Assessment and Analysis
- 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
Panel
- Henrique Madeira: Dependability Challenges and Education Perspectives. 225-225
Keynote II
- Manfred Reitenspieß: Availability in Industry and Science - A Business Perspective -. 226-229
Measurement
- 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
Practical Experience Reports and Tools II
- 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
Hardware Verification
- 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
Dependable Networking
- 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
Practical Experience Reports and Tools III
- 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
Reliability Engineering and Testing
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team