Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Model-based design of dependability in distributed systems
 

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-

  

Source: Arora, Anish - Department of Computer Science and Engineering, Ohio State University

 

Collections: Computer Technologies and Information Sciences