| | |
Summary: Model-based design of dependability
in distributed systems
Anish Arora, Rajesh Jagannathan, Yi-Min Wang
Abstract|
Distributed systems are notoriously subject to com-
plex faults, some of which are unanticipated. Towards
dealing with the problem of unanticipated faults, we de-
scribe in this paper a model-based approach to design of
dependability. The model-based approach o ers a po-
tentially low-cost alternative to handling rare faults in
a case-by-case manner, while allowing common faults to
be handled individually. We illustrate the model-based
approach with two case-studies: one concerning a home-
network lookup service and the other an X10 powerline
network.
Index Terms|model, formal methods, dependabil-
ity, unanticipated faults, concurrency, distribution, net-
working
I. Introduction
Distributed systems are notoriously subject to com-
|
