درخت‌های خطا ۲۰۱۳
Fault Trees 2013

درخت عیب (Fault Tree Analysis) یک تکنیک مهم در تعیین ایمنی و قابلیت اطمینان سیستم‌های پیچیده است. درخت‌های عیب به عنوان ابزاری اساسی در مطالعات ایمنی سیستم و همچنین در مطالعات قابلیت اطمینان و دسترسی مورد استفاده قرار می‌گیرند.

روش‌های اساسی – ساخت، تجزیه و تحلیل منطقی، ارزیابی احتمال و مطالعه‌ی تأثیر – در این کتاب شرح داده شده‌اند. توسعه‌های زیر در مورد درخت‌های عیب، یعنی درخت‌های عیب غیر منسجم، درخت‌های عیب با تاخیر و درخت‌های عیب با عملکرد چندگانه، نیز توضیح داده شده‌اند. الگوریتم‌های سنتی برای تجزیه و تحلیل درخت عیب، و همچنین الگوریتم‌های جدیدتر مبتنی بر نمودارهای تصمیم باینری (BDD) ارائه شده‌اند.

Fault tree analysis is an important technique in determining the safety and dependability of complex systems. Fault trees are used as a major tool in the study of system safety as well as in reliability and availability studies.
The basic methods – construction, logical analysis, probability evaluation and influence study – are described in this book. The following extensions of fault trees, non-coherent fault trees, fault trees with delay and multi-performance fault trees, are also explained. Traditional algorithms for fault tree analysis are presented, as well as more recent algorithms based on binary decision diagrams (BDD).