Search

Browse Subject Areas

For Authors

Submit a Proposal

Join Our Mailing List

Enter your email address:

Enter your first name:

Enter your last name:

Choose subjects that interest you
Hold down the CTRL key for multiple selection



Quantitative Assessments of Distributed Systems

Methodologies and Techniques
Edited by Dario Bruneo and Salvatore Distefano
Series: Performability Engineering Series
Copyright: 2015   |   Status: Published
ISBN: 9781118595213  |  Hardcover  |  
394 pages | 137 illustrations
Price: $195 USD
Add To Cart

One Line Description
Provides an overview of techniques and methodologies dealing with performance, reliability/availability, energy efficiency, scalability, and sustainability issues in distributed systems.

Audience
Engineers (researchers and practitioners) in information and computer technology (ICT)and computer science. The techniques addressed in the book are used in many fields such as economics, biology, chemistry, mechanics, electronics, etc. so its appeal and usefulness should be widespread.

Description
Distributed systems are at the heart of modern technology with applications ranging from critical networks to infrastructure, from management to social dynamics. Examples of distributed system technologies are the internet and its services and applications such as grid and cloud computing. They must fulfill dependability, timeliness, and performance requirements, and since these systems most often operate in an unpredictable environment, their design and maintenance imply quantitative evaluation of deterministic and probabilistic timed models.
The aim of Quantitative Assessments of Distributed Systems is to provide an overview of techniques and methodologies dealing with such specific issues in the context of distributed systems and covering aspects such as: performance evaluation, reliability/availability, energy efficiency, scalability, and sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements (verification), as well as to properly evaluate nonfunctional aspects as the ones listed above (evaluation), or to optimize the overall behavior of the system (optimization) are discussed in the book.
The chapters have been written by more than 40 leading experts from both academia and industry and the contents of the book have been selected to provide a fairly exhaustive coverage of the issues, models and techniques related to validation, evaluation and optimization of distributed systems. A key objective of the book is to help to bridge the gaps between modeling theory and practice in distributed system contexts through specific examples.

Back to Top
Author / Editor Details
Dario Bruneo received his PhD in Advanced Technologies for Information Engineering at the University of Messina, Italy in 2005. Since then he has been engaged in research on distributed systems. He is currently an associate researcher at the Engineering Faculty of the University of Messina. Dr. Bruneo’s research activity has been focused on the study of distributed systems with particular regards to the management of advanced service provisioning,to the system modeling and performance evaluation. He is the co-author of more than 40 scientific papers in international journals and conference proceedings.

Salvatore Distefano is an assistant professor at the Politecnico di Milano. His research interests include performance evaluation, parallel and distributed computing, software engineering, and reliability techniques. During his research activity, he has contributed in the development of several tools such as WebSPN, ArgoPerformance and GS3. He has been involved in several national and international research projects and is the author or co-author of more than 100 scientific papers.

Back to Top

Table of Contents
PART I VERIFICATION
1 Modeling and Verification of Distributed Systems Using Markov Decision Processes

Marco Beccuti, Giuliana Franceschinis and Jeremy Sproston
2 Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial
Rocco De Nicola, Diego Latella, Michele Loreti and Mieke Massink
3 Stochastic Path Properties of Distributed Systems: The CSLTA Approach
Elvio G. Amparore and Susanna Donatelli
PART II EVALUATION
4 Failure Propagation in Load-Sharing Complex Systems

Vitali Volvovoi and Shahnewaz Siddique
5 Approximating Distributions and Transient Probabilities by Matrix Exponential Distributions and Functions
Andras Horvath, Marco Paolieri and Enrico Vicario
6 Worst-Case Analysis of Tandem Queueing Systems Using Network Calculus
Anne Bouillard and Giovanni Stea
7 Cloud Evaluation: Benchmarking and Monitoring
Massimo Ficco, Massimiliano Rak, Salvatore Venticinque, Luca Tasquier and Giuseppe Aversano
8 Multiformalism and Multisolution Strategies for Systems Performance
Enrico Barbierato, Marco Gribaudo and Mauro Iacono
PART III OPTIMIZATION AND SUSTAINABILITY
9 Quantitative Assessment of Distributed Networks Through Hybrid Stochastic Modeling

Salvatore Cavalieri, Ferdinando Chiacchio, Gabriele Manno and Peter Popov
10 Design of IT Infrastructures of Data Centers: An Approach Based on Business and Technical Metrics
Almir P. Giumaraes, Paulo Maciel and Rivalino Matias, Jr
11 Software Rejuvenation and its Application in Distributed Systems
Javier Alonso and Kishor S. Trivedi
12 Machine Learning Based Dynamic Reconfiguration of Distributed Data Management Systems
Diego Rughetti, Pierangelo Di Sanzo, Francesco Quaglia and Bruno Ciciani
13 Going Green with the Networked Cloud: Methodologies and Assessment
Aris Leivdeas, Chrysa Papagianni and Symeon Papavassilou
Index


Back to Top



Description
Author/Editor Details
Table of Contents
Bookmark this page