Modeling and Customization of Fault Tolerant Architecture using Object-Z/XVCL.

Ling Yuan Jin Song Dong Jing Sun

Published in: APSEC (2006)

Keyphrases

fault tolerant
fault tolerance
distributed systems
object model
state machine
load balancing
high availability
management system
moving objects
d objects
data objects
data replication
safety critical
interconnection networks
high assurance