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.
Erscheinungsdatum: 13.04.2005

lgrsnf/Cs_Computer science/CsLn_Lecture notes/D/Dependable Computing - EDCC-5, 5 conf.(LNCS3463, Springer, 2005)(ISBN 3540257233)(487s).pdf

nexusstc/Dependable Computing - EDCC 5/9fc341f30c2ff05cd54c85aa33f4c530.pdf

scihub/10.1007/b107276.pdf

zlib/Computers/Computer Science/Pascal Traverse, Isabelle Lacaze, Jean Souyris (auth.), 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_774019.pdf

Lecture Notes in Computer Science 3463 Dependable Computing-EDCC-5

Mario Dal Cin; Mohamed Kaâniche; András Pataricza; European Dependable Computing Conference

European Dependable Computing Conference (5th 2005 Budapest, Hungary)

Mario Dal Cin ; Mohamed Kaaniche ; Andras Pataricza,Springer

Mario Dal Cin; Mohamed Kaaniche; András Pataricza

Springer Berlin Heidelberg : Imprint: Springer

Springer Spektrum. in Springer-Verlag GmbH

Steinkopff. in Springer-Verlag GmbH

Springer London, Limited

Lecture notes in computer science ;, 3463, Berlin, New York, Germany, 2005

LNCS sublibrary, 3463, 1st ed. 2005, Berlin, Heidelberg, 2005

Springer Nature, Berlin, Heidelberg, 2005

1 edition, April 1, 2005

Germany, Germany

Kolxo3 -- 2011

sm39792702

{"container_title":"Lecture Notes in Computer Science","edition":"1","isbns":["3540257233","3540320199","9783540257233","9783540320197"],"issns":["0302-9743","1611-3349"],"last_page":480,"publisher":"Springer","series":"Lecture Notes in Computer Science 3463 Programming and Software Engineering"}

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 -

This Book Constitutes The Refereed Proceedings Of The 5th European Dependable Computing Conference, Edcc 2005, Held In Budapest, Hungary In April 2005. The 21 Revised Full Papers, 5 Revised Practical Experience Reports, And 4 Prototype Description Papers Presented Together With The Abstract Of A Keynote And 2 Fast-track Papers Were Carefully Reviewed And Selected From 90 Submissions. The Papers Are Organized In Topical Sections On Distributed Algorithms, Fault-tolerant Design And Procotols, Practical Experience Reports And Tools, Assessment And Analysis, Measurement, Hardware Verification, Dependable Networking, And Reliability Engineering And Testing.

2011-02-14