Dependable Computing - EDCC 2005 可靠的计算

书籍目录

Keynote Ⅰ  A Process Toward Total Dependability - Airbus Fly-by-Wire Paradigm  Session 1A: Distributed Algorithms    Building and Using Quorums Despite Any Number of Process of Crashes    Failure Detection with Booting in Partially Synchronous Systems    Total Order Communications: A Practical Analysis    Gracefully Degrading Fair Exchange with Security Modules  Session 1B: Fault Tolerant Design and Protocols    Adding Fault-Tolerance Using Pre-synthesized Components    Efficiency of Dynamic Arbitration in TDMA Protocols    An Architectural Framework for Detecting Process Hangs/Crashes    Energy Efficient Configuration for QoS in Reliable Parallel Servers   Session 2A: Practical Experience Reports and Tools I    Novel Generic Middleware Building Blocks for Dependable Modular Avionics Systems    Integrating Fault Tolerance and Load Balancing in Distributed Systems Based on CORBA    Performance Evaluation of Consistent Recovery Protocols Using MPICH-GF  Session 2B: Assessment and Analysis    An Approach to Experimentally Obtain Service Dependability Characteristics of the Jgroup/ARM System    The Effectiveness of Choice of Programming Language as a Diversity Seeking Decision    Formal Safety Analysis of a Radio-Based Railroad Crossing Using Deductive Cause-Consequence Analysis (DCCA)  Panel    Dependability Challenges and Education PerspectivesKeynote Ⅱ  Availability in Industry and Science - A Business Perspective  Session 3A: Measurement    Fast Run-Time Reconfiguration for SEU InIection    Assembly-Level Pre-injection Analysis for Improving Fault Injection Efficiency　Session 3B: Practical Experience Peports and Tools Ⅱ  Session 4A: Hardware Verification   Session 4B: Fast Abstracts Ⅰ  Session 5A: Dependable Networking   Session 5B: Fast Abstracts Ⅱ  Session 6A: Practical Experience Reports and Tools Ⅲ  Session 6B: Reliability Engineering and Testing Author Index

作者简介

　　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.

 Dependable Computing - EDCC 2005 可靠的计算下载