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.
Author(s): Pascal Traverse, Isabelle Lacaze, Jean Souyris (auth.), Mario Dal Cin, Mohamed Kaâniche, András Pataricza (eds.)
Series: Lecture Notes in Computer Science 3463 : Programming and Software Engineering
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2005
Language: English
Pages: 480
Tags: Software Engineering; Special Purpose and Application-Based Systems; System Performance and Evaluation; Computer Hardware
Front Matter....Pages -
A Process Toward Total Dependability – Airbus Fly-by-Wire Paradigm....Pages 1-1
Building and Using Quorums Despite any Number of Process of Crashes....Pages 2-19
Failure Detection with Booting in Partially Synchronous Systems....Pages 20-37
Total Order Communications: A Practical Analysis....Pages 38-54
Gracefully Degrading Fair Exchange with Security Modules....Pages 55-71
Adding Fault-Tolerance Using Pre-synthesized Components....Pages 72-90
Efficiency of Dynamic Arbitration in TDMA Protocols....Pages 91-102
An Architectural Framework for Detecting Process Hangs/Crashes....Pages 103-121
Energy Efficient Configuration for QoS in Reliable Parallel Servers....Pages 122-139
Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems....Pages 140-153
Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA....Pages 154-166
Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF....Pages 167-178
An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System....Pages 179-198
The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision....Pages 199-209
Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)....Pages 210-224
Dependability Challenges and Education Perspectives....Pages 225-225
Availability in Industry and Science – A Business Perspective -....Pages 226-229
Fast Run-Time Reconfiguration for SEU Injection....Pages 230-245
Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency....Pages 246-262
A Data Mining Approach to Identify Key Factors in Dependability Experiments....Pages 263-280
PathCrawler: Automatic Generation of Path Tests by Combining Static and Dynamic Analysis....Pages 281-292
A New Methodology and Tool Set to Execute Software Test on Real-Time Safety-Critical Systems....Pages 293-304
A Grey-Box Approach to the Functional Testing of Complex Automatic Train Protection Systems....Pages 305-317
Deterministic Test Vector Compression / Decompression Using an Embedded Processor....Pages 318-331
Efficient Single-Pattern Fault Simulation on Structurally Synthesized BDDs....Pages 332-344
Structure-Based Resilience Metrics for Service-Oriented Networks....Pages 345-362
Efficient Protection of Many-to-One Communications....Pages 363-378
Impact of Faults in Combinational Logic of Commercial Microcontrollers....Pages 379-390
Implementation of a Testing and Diagnostic Concept for an NPP Reactor Protection System....Pages 391-402
COMPAS – Compressed Test Pattern Sequencer for Scan Based Circuits....Pages 403-414
Fault Links: Exploring the Relationship Between Module and Fault Types....Pages 415-434
Model-Based Identification of Fault-Prone Components....Pages 435-452
Regression Test Selection for Testable Classes....Pages 453-470
Back Matter....Pages -
