Software Design for Resilient Computer Systems

ویرایش: [2nd ed.] 
نویسندگان: Igor Schagaev,  Eugene  Zouev,  Kaegi Thomas  
سری:  
ISBN (شابک) : 9783030212438 
ناشر: Springer International Publishing 
سال نشر: 2020 
تعداد صفحات: XVIII, 308
[315] 
زبان: English 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 11 Mb 

قیمت کتاب (تومان) : 69,000



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

نویسندگان ابتدا نشان می‌دهند که چگونه نرم‌افزار سیستم با سخت‌افزار تعامل می‌کند تا خطاها را تحمل کند. آنها با توجه ویژه به نقش نرم افزار سیستم در این فرآیند، تئوری تحمل خطا را برای درک راه های مختلف افزایش قابلیت اطمینان یک سیستم تجزیه و تحلیل و توسعه می دهند. آنها بیشتر الگوریتم کلی تحمل خطا (GAFT) را با سه فرآیند اصلی آن توسعه می‌دهند: بررسی سخت‌افزار، آماده‌سازی برای بازیابی، و روش بازیابی. برای هر یک از این سه فرآیند، آنها الزامات و ویژگی ها را به صورت تئوری تجزیه و تحلیل می کنند و سناریوهای پیاده سازی ممکن و پشتیبانی نرم افزار سیستم مورد نیاز را ارائه می دهند. بر اساس نتایج نظری، نویسندگان یک زبان برنامه نویسی مبتنی بر Oberon را با پشتیبانی مستقیم از سه فرآیند GAFT استخراج می کنند. در قسمت آخر این کتاب، آنها یک شبیه‌ساز را معرفی می‌کنند که از آن به عنوان اثبات پیاده‌سازی مفهوم معماری جدید پردازنده تحمل‌پذیر خطا (ERRIC) و سیستم زمان اجرا جدید توسعه‌یافته آن از نظر ویژگی و عملکرد استفاده می‌کند.

</ p> با توجه به ماهیت گسترده محتوا، این کتاب برای مجموعه ای از صنایع و زمینه های تحقیقاتی، از جمله نظامی، هوانوردی، مراقبت های بهداشتی ویژه، کنترل صنعتی و اکتشاف فضا کاربرد دارد.

This book addresses the question of how system software should be designed to account for faults, and which fault tolerance features it should provide for highest reliability. With this second edition of Software Design for Resilient Computer Systems the book is thoroughly updated to contain the newest advice regarding software resilience. With additional chapters on computer system performance and system resilience, as well as online resources, the new edition is ideal for researchers and industry professionals.

The authors first show how the system software interacts with the hardware to tolerate faults. They analyze and further develop the theory of fault tolerance to understand the different ways to increase the reliability of a system, with special attention on the role of system software in this process. They further develop the general algorithm of fault tolerance (GAFT) with its three main processes: hardware checking, preparation for recovery, and the recovery procedure. For each of the three processes, they analyze the requirements and properties theoretically and give possible implementation scenarios and system software support required. Based on the theoretical results, the authors derive an Oberon-based programming language with direct support of the three processes of GAFT. In the last part of this book, they introduce a simulator, using it as a proof of concept implementation of a novel fault tolerant processor architecture (ERRIC) and its newly developed runtime system feature-wise and performance-wise.Due to the wide reaching nature of the content, this book applies to a host of industries and research areas, including military, aviation, intensive health care, industrial control, and space exploration.