Design of Dependable Computing Systems

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

This book analyzes the causes of failures in computing systems, their consequences, as weIl as the existing solutions to manage them. The domain is tackled in a progressive and educational manner with two objectives: 1. The mastering of the basics of dependability domain at system level, that is to say independently ofthe technology used (hardware or software) and of the domain of application. 2. The understanding of the fundamental techniques available to prevent, to remove, to tolerate, and to forecast faults in hardware and software technologies. The first objective leads to the presentation of the general problem, the fault models and degradation mechanisms wh ich are at the origin of the failures, and finally the methods and techniques which permit the faults to be prevented, removed or tolerated. This study concerns logical systems in general, independently of the hardware and software technologies put in place. This knowledge is indispensable for two reasons: • A large part of a product' s development is independent of the technological means (expression of requirements, specification and most of the design stage). Very often, the development team does not possess this basic knowledge; hence, the dependability requirements are considered uniquely during the technological implementation. Such an approach is expensive and inefficient. Indeed, the removal of a preliminary design fault can be very difficult (if possible) if this fault is detected during the product's final testing.