It was with great pleasure that, on behalf of the entire organizing committee, I welcomed participants to EDCC-4, the Fourth European Dependable Computing Conference, held for the ?rst time in France. The fourth issue of EDCC carried on the traditions established bythe previous conferences in this series: EDCC-1 was held in Berlin (Germany) in October 1994, EDCC-2 in Taormina (Italy) in October 1996, and EDCC-3 in Prague (Czech Republic) in September 1999. EDCC evolved from a merger of tow other conference series at the moment when the Iron Curtain fell. One of these, known as the ”International Conf- ence on Fault-Tolerant Computing Systems”, was organized during the period 1982–1991, bythe German Technical Interest Group ”Fault-Tolerant Computing Systems”. The other series, known as the ”International Conference on Fault- Tolerant Systems and Diagnostics”, was organized during the period 1975–1990 in the former Czechoslovakia, Poland, Bulgaria, and the former GDR. The c- position of the EDCC steering committee and the organizing committees of the successive issues of the conference have mirrored the East–West uni?cation ch- acter of the conference series. The EDCC conference is becoming a unique meeting point for researchers and practitioners from all over the world in the ?eld of Dependable Systems. It is organized bythe SEE Working Group ”Dependable Computing” in France, the GI/ITG/GMA Technical Committee on Dependabilityand Fault Tolerance in Germany, and the AICA Working Group ”Dependability of Computer Systems” in Italy. Furthermore, committees of several global professional organizations, such as IEEE and IFIP, support the conference.
Author(s): Rene Amalberti (auth.), Andrea Bondavalli, Pascale Thevenod-Fosse (eds.)
Series: Lecture Notes in Computer Science 2485
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2002
Language: English
Pages: 290
Tags: Computer Science, general; Computer Hardware; Special Purpose and Application-Based Systems; System Performance and Evaluation; Software Engineering; Operating Systems
Use and Misuse of Safety Models in Design....Pages 1-1
On the Effects of Outages on the QoS of GPRS Networks under Different User Characterizations....Pages 2-18
Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System....Pages 19-31
BPM Based Robust E-business Application Development....Pages 32-43
Solving Agreement Problems with Weak Ordering Oracles....Pages 44-61
An Efficient Solution to the k -Set Agreement Problem....Pages 62-78
Novel Approaches in Dependable Computing....Pages 79-80
An Immune System Paradigm for the Design of Fault Tolerant Systems....Pages 81-83
Security and Survivability of Large Scale Critical Infrastructures....Pages 84-85
An Architectural Approach to Fault Treatment in Critical Infrastructures....Pages 86-87
Biologically Inspired Fault-Tolerant Computer Systems....Pages 88-89
Test Set Embedding Based on Phase Shifters....Pages 90-101
Reset-Driven Fault Tolerance....Pages 102-120
Towards Dependability Modeling of FT-CORBA Architectures....Pages 121-139
Experimental Evaluation of the Unavailability Induced by a Group Membership Protocol....Pages 140-158
UMLinux - A Versatile SWIFI Tool....Pages 159-171
A Methodology for Dependability Evaluation of the Time-Triggered Architecture Using Software Implemented Fault Injection....Pages 172-190
Fast Indulgent Consensus with Zero Degradation....Pages 191-208
Probabilistic Queries in Large-Scale Networks....Pages 209-226
Towards Information Society Dependability Initiative in FP6: Roadmapping Activities in Dependability....Pages 227-233
The Design of a COTS Real-Time Distributed Security Kernel....Pages 234-252
Wrapping Real-time Systems from Temporal Logic Specifications....Pages 253-270
Model-Based Dependability Evaluation Method for TTP/C Based Systems....Pages 271-282
