Table of Contents

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.