Quantitative Assessments of Distributed Systems – Methodologies and Techniques

Quantitative Assessments of Distributed Systems\n\nMethodologies and Techniques\n\nDario Bruneo (Edited by), D Bruneo (Author), Salvatore Distefano (Edited by)\n\n9781118595213, Wiley\n\nHardback, published 13 April 2015\n\n400 pages\n24.4 x 16.3 x 2.5 cm, 0.689 kg\n\nDistributed systems employed in critical infrastructures must fulfill dependability, timeliness, and performance specifications. Since these systems most often operate in an unpredictable environment, their design and maintenance require quantitative evaluation of deterministic and probabilistic timed models. This need gave birth to an abundant literature devoted to formal modeling languages combined with analytical and simulative solution techniques \nThe aim of the book 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 sustain]