Книга "Quantitative Assessments of Distributed Systems" посвящена проблемам оценки качества распределенных систем, используемых в критических инфраструктурах. Такие системы должны соответствовать требованиям надежности, временных ограничений и производительности, но при этом работать в непредсказуемой среде. Для проектирования и поддержки таких систем необходимо проводить количественную оценку детерминированных и вероятностных моделей времени. Книга представляет обзор техник и методологий, связанных с оценкой производительности, надежности/доступности, энергоэффективности, масштабируемости и устойчивости распределенных систем. В книге рассматриваются методы проверки и верификации того, соответствует ли распределенная система требованиям, а также как правильно оценивать нефункциональные аспекты или оптимизировать ее поведение. Книга охватывает широкий спектр вопросов, моделей и техник, связанных с проверкой, оценкой и оптимизацией распределенных систем. Основная цель книги - помочь преодолеть разрыв между теорией моделирования и практикой в распределенных системах на конкретных примерах.
Электронная Книга «Quantitative Assessments of Distributed Systems» написана автором Группа авторов в году.
Минимальный возраст читателя: 0
Язык: Английский
ISBN: 9781119131144
Описание книги от Группа авторов
Distributed 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 The 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 sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements, as well as how to properly evaluate non-functional aspects, or how to optimize the overall behavior of the system, are all discussed in the book. The scope has been selected to provide a thorough coverage on issues, models. and techniques relating to validation, evaluation and optimization of distributed systems. The key objective of this book is to help to bridge the gaps between modeling theory and the practice in distributed systems through specific examples.
