Dependable Network Computing -

. .

Résumé :
Dependable Network Computing provides insights into various problems facing millions of global users resulting from the `internet revolution'. It covers real-time problems involving software, servers, and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconfiguration techniques. Also included is material on routing protocols, QoS, and dead- and live-lock free related issues. All chapters are written by leading specialists in their respective fields. Dependable Network Computing provides useful information for scientists, researchers, and application developers building networks based on commercially off-the-shelf components.

Sommaire:
Section 1 Dependable Software and Large Storage Systems: Key Components for Dependable Network Computing.- Dependability of Software-Based Critical Systems.- DAn Analysis of Error Behavior in a Large Storage System.- Section 2 Dependable Broadcast and Protocols in Computer Networks.- 3. Totally Ordered Broadcast in the Face of Network Partitions.- 4. On the Possibility of Group Membership Protocols.- 5. Reliable Clocks for Unreliable Process Groups.- 6. Implementing Protocols with Synchronous Objects.- Section 3 Analysis of Computer Networks.- 7. Automated Formal Analysis of Networks.- 8. A BDD Approach to Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.- Section 4 Fault-Tolerant Routing and Reconfiguration in Computer Networks.- 9. Fault-Tolerant Routing in the Internet Without Flooding.- 10. Dynamic Reconfiguration in High Speed Local Area.- 11. Minimal and Adaptive Fault-Tolerant Routing in ServerNet 2D Torus Network.- Section 5 Fault-Tolerant Interconnection Networks.- 12. Tolerating Faults in Counting Networks.- 13. Fault-Tolerant Multicasting in 2-D Meshes Using Extended Safety Levels.- Section 6 Dependable Distributed and Mobile Computing.- 14. Dependable Distributed and Mobile Computing #x2014; Utilizing Time to Enhance Recovery from Failures.- 15. Design and Implementation of Fault-Tolerant Parallel Software in a Distributed Environment Using a Functional Language.- 16. Overhead of Coordinated Checkpointing Protocols for Message Passing Parallel Systems.- 17. A Multi-Level Layered System Approach to on On-Line Testing.- Section 7 Dependable Real-Time Distributed Systems.- 18. Task Schedule Algorithms for Fault Tolerance in Real-Time Embedded Systems.- 19. The Rapids Simulator: A Testbed for Evaluating Scheduling, Allocation and Fault-Recovery Algorithms in Distributed Real-Time Systems.- 20. Fault-Tolerant Dynamic Scheduling of Object-Based Tasks in Multiprocessor Real-Time Systems.