Delta-4, a generic architecture for dependable distributed computing
Springer-Verlag, 1991 - Computers - 484 pages
This book describes the design philosophy and concepts of a novel distributed fault-tolerant architecture developed by the Delta-4 project, a five-nation, thirteen-partner project investigating the achievement of dependability in open distributed systems, including real-time systems. 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. The book opens with an overview of the architecture and its objectives, then describes the concepts of de- pendability, real-time and distributed fault-tolerance and the design of each of the major architectural components, including the Delta-4 applications support environment and the open and extra performance variants of the architecture. Work is described in the field of security, on intrusion-tolerance and tolerance of software design faults by diversified design. Finally, there is an overview of the validation activities carried out on the architecture. The book gives an insight into state-of-the-art techniques for providing both dependable and real-time service in distributed systems.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Requirements and Objectives
Overview of the Architecture
Comparison with other Approaches
16 other sections not shown
Other editions - View all
Delta-4: A Generic Architecture for Dependable Distributed Computing
Limited preview - 2012
active replication algorithm application architecture assumption atomic multicast behaviour capsule chapter checkpoint client clock cloning communication protocols communication system computational object configuration D-association deadline defined Delta-4 system Deltase dependability distributed system domain manager ensure entities environment event event handler example execution fail-silent fail-uncontrolled failure fault fault injection fault-tolerance FDDI formal verification fragments function global Global-MIB group manager hard real-time hardware Heisenbugs host implementation input interactions latency layer leader M-SAP managed objects management information mechanisms messages multipoint normal operations output parameters performance precedence preemption point procedure processor properties protocol recovery redundancy reliability remote procedure call rep_entities replicas replication domain scheduling semi-active replication sender server service interface service provider SMAP soft real-time software component specification station synchronization system administration targetline techniques thread timeliness Token Ring transmission UNIX variants verification xAMp