This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2011 Eleventh International Conference on Application of Concurrency to System Design
Bounded Fairness for Probabilistic Distributed Algorithms
Newcastle Upon Tyne, United Kingdom
June 20-June 24
ISBN: 978-0-7695-4387-1
This paper investigates quantitative dependability metrics for distributed algorithms operating in the presence of sporadic or frequently occurring faults. In particular, we investigate necessary revisions of traditional fairness assumptions in order to arrive at useful metrics, without adding hidden assumptions that may obfuscate their validity. We formulate faulty distributed algorithms as Markov decision processes to incorporate both probabilistic faults and non-determinism arising from concurrent execution. We lift the notion of bounded fairness to the setting of Markov decision processes. Bounded fairness is particularly suited for distributed algorithms running on nearly symmetric infrastructure, as it is common for sensor network applications. Finally, we apply this fairness notion in the quantitative model-checking of several case studies.
Index Terms:
Markov decision processes, schedulers, bounded fairness
Citation:
Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker, "Bounded Fairness for Probabilistic Distributed Algorithms," acsd, pp.89-97, 2011 Eleventh International Conference on Application of Concurrency to System Design, 2011
Usage of this product signifies your acceptance of the Terms of Use.