Quantitative Assessments of Distributed Systems: Methodologies and Techniques

سیستم های توزیع شده به کار گرفته شده در زیرساخت های حیاتی باید قابلیت اطمینان، به موقع بودن و مشخصات عملکرد را برآورده کنند. از آنجایی که این سیستم‌ها اغلب در یک محیط غیرقابل پیش‌بینی عمل می‌کنند، طراحی و نگهداری آنها نیازمند ارزیابی کمی مدل‌های زمان‌بندی شده قطعی و احتمالی است. این نیاز، ادبیات فراوانی را به وجود آورد که به زبان‌های مدل‌سازی رسمی همراه با تکنیک‌های حل تحلیلی و شبیه‌سازی اختصاص داده شده بود.

هدف کتاب ارائه مروری بر تکنیک‌ها و روش‌شناسی‌هایی است که با چنین مسائل خاصی در زمینه‌های مختلف سروکار دارند. سیستم های توزیع شده و جنبه هایی مانند ارزیابی عملکرد، قابلیت اطمینان/در دسترس بودن، بهره وری انرژی، مقیاس پذیری و پایداری را پوشش می دهد. به طور خاص، تکنیک‌هایی برای بررسی و تأیید اینکه آیا و چگونه یک سیستم توزیع‌شده الزامات را برآورده می‌کند، و همچنین نحوه ارزیابی صحیح جنبه‌های غیرعملکردی، یا نحوه بهینه‌سازی رفتار کلی سیستم، همگی در کتاب مورد بحث قرار گرفته‌اند. دامنه انتخاب شده است تا پوشش کاملی در مورد مسائل، مدل ها ارائه کند. و تکنیک های مربوط به اعتبار سنجی، ارزیابی و بهینه سازی سیستم های توزیع شده. هدف اصلی این کتاب کمک به پر کردن شکاف بین نظریه مدل‌سازی و عمل در سیستم‌های توزیع‌شده از طریق مثال‌های خاص است.

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.