Predictably Dependable Computing Systems

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

Systems engineers are increasingly having to deal with the problem of how to make the process of designing and constructing dependable computing systems much more predictable and cost-effective. The great challenge about dependability is that it is a systems issue, since virtually all aspects of a computing system, and of the means by which it was specified, designed and constructed, can affect the system's overall dependability. This book explores links, and gaps, between topics that are often investigated separately, but whose interactions can be of considerable relevance to issues of overall system dependability.
It contains material on all four of the main topics that are crucial to the successful production of dependable computing systems namely: fault prevention, fault tolerance, fault removal, and fault forecasting. Particular emphasis is placed on the problems of real-time and distributed computing systems. This book provides up to date information about the latest research on these topics from a team made up of many of Europe's leading researchers - it is based on the work of two successive major ESPRIT Basic Research Projects on Predictably Dependable Computing Systems. These projects lasted over six years in total, and each involved approximately forty researchers at any one time.
The book contains a carefully edited selection from among the over two hundred published papers produced by the PDCS projects and provides a good general overview of the work of the two projects, as well as coverage of most of the projects' major research achievements.