This book describes the design and validation of the Delta-4 distributed fault-tolerant architecture. The architecture features a dependable communication system using standard local area network technology, a distributed object-oriented application support environment, use of multicast or group communication protocols, and built-in support for user-transparent fault-tolerance.