|
| This Article | ||
| ||
| Share | ||
| Bibliographic References | ||
| Add to: | ||
| | ||
| 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
| ASCII Text | x | ||
| Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker, "Bounded Fairness for Probabilistic Distributed Algorithms," 2010 10th International Conference on Application of Concurrency to System Design, pp. 89-97, 2011 Eleventh International Conference on Application of Concurrency to System Design, 2011. | |||
| BibTex | x | ||
| @article{ 10.1109/ACSD.2011.21, author = {Pepijn Crouzen and Ernst Moritz Hahn and Holger Hermanns and Abhishek Dhama and Oliver Theel and Ralf Wimmer and Bettina Braitling and Bernd Becker}, title = {Bounded Fairness for Probabilistic Distributed Algorithms}, journal ={2010 10th International Conference on Application of Concurrency to System Design}, volume = {0}, year = {2011}, issn = {1550-4808}, pages = {89-97}, doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2011.21}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, } | |||
| RefWorks Procite/RefMan/Endnote | x | ||
| TY - CONF JO - 2010 10th International Conference on Application of Concurrency to System Design TI - Bounded Fairness for Probabilistic Distributed Algorithms SN - 1550-4808 SP89 EP97 A1 - Pepijn Crouzen, A1 - Ernst Moritz Hahn, A1 - Holger Hermanns, A1 - Abhishek Dhama, A1 - Oliver Theel, A1 - Ralf Wimmer, A1 - Bettina Braitling, A1 - Bernd Becker, PY - 2011 KW - Markov decision processes KW - schedulers KW - bounded fairness VL - 0 JA - 2010 10th International Conference on Application of Concurrency to System Design ER - | |||
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ACSD.2011.21
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.
