Dependable Computing - EDCC 2005 可靠的计算

2005-4  

北京燕山出版社  

Dal Cin, Mario; Kaniche, Mohamed; Pataricza, Andrs  

472  

　　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.

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

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