Paper Info
Title
Faults Analysis In Distributed Systems - Quantitative Estimation Of Reliability And Resource Requirements
Abstract
We live in a time where we become ever more dependent on distributed computing. Predictable quantitative properties of reliability and resource requirements of these systems are of outmost importance. But today quantitative properties of these systems can only be established after the systems are implemented and released for test, at which point problems can be costly and time consuming to solve. We present a new method, a process algebra and simulation tool for estimating quantitative properties of reliability and resource requirements of a distributed system with complex behaviour hereunder complex fault-tolerance behaviour. The simulation tool allows tailored fault injection e.g. random failure and attacks. The method is based upon pi-calculus (Milner, 1999) to which it adds a stochastic fail-able process group construct. Performance is quantitatively estimated using reaction rates (Priami, 1995). We show how to model and estimate quantitative properties of a CPU scavenging grid with fault-tolerance. To emphasize the expressiveness of our language called G pi we provide design patterns for encoding higher-order functions, object-oriented classes, process translocation, conditional loops and conditional control flow. The design patterns are used to implement linked lists, higher-order list functions and binary algebra. The focus of the paper is on practical application.
Year
Venue
Keywords
2008
ICSOFT 2008: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON SOFTWARE AND DATA TECHNOLOGIES, VOL SE/GSDCA/MUSE
fault tolerance, dependable systems, distributed systems, process algebra, pi-calculus
Field
DocType
Citations 
Systems engineering,Computer science,Reliability engineering
Conference
0
PageRank 
References 
Authors
0.34
1
3
Name
Order
Citations
PageRank
Christian Dauer Thorenfeldt Sellberg100.34
Michael r. Hansen254343.29
paul f fischer3494.56