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