Dependability Metrics: Advanced Lectures

با گسترش روزافزون سیستم های محاسباتی، ضروری است که بتوانیم به خدماتی که آنها ارائه می دهند تکیه کنیم. توجیه اتکا به سیستم های کامپیوتری به تکنیک های علمی برای استخراج شواهد از سیستم های داده شده یا پیش بینی چنین شواهدی نیاز دارد. این کتاب آموزشی مروری بر وضعیت فعلی هنر در اندازه‌گیری جنبه‌های مختلف قابلیت اطمینان سیستم‌ها می‌دهد: قابلیت اطمینان، امنیت و عملکرد. در Schloss Dagstuhl، آلمان، در اکتبر/نوامبر 2005 برگزار شد. 25 فصل، بر اساس نتیجه سمینار تحقیقاتی، در پنج بخش در مبانی، معیارهای قابلیت اطمینان، معیارهای امنیتی، معیارهای عملکرد، و معیارهای همپوشانی سازماندهی شده‌اند. بخش پایانی نشان می دهد که تنها در نظر گرفتن ترکیبی از ویژگی های مهم قابلیت اطمینان به هدف طراحی منجر می شود: توسعه سیستم هایی که واقعاً می توانیم به آنها اعتماد کنیم.

With the growing ubiquity of computing systems, it is essential that we can rely on the services they deliver. Justifying reliance in computer systems requires scientific techniques to derive evidence from given systems or predict such evidence. This tutorial book gives an overview of the current state of the art in measuring the different aspects of dependability of systems: reliability, security and performance.

The main impulse for this dependability metrics project resulted from a research seminar, held at Schloss Dagstuhl, Germany, in October/November 2005. The 25 chapters, based on the outcome of the research seminar, are organized in five parts on foundations, reliability metrics, security metrics, performance metrics, and overlapping metrics. The final part shows that only a combined consideration of important dependability attributes will lead to the design objective: the development of systems we can really trust.