فشرده کردن درخت خطا با اعمال قوانین جبر بول

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

کلیدواژه ها:

جبر بول ، درخت خطا ، آنالیز درخت خطا ، دیاگرام BDD ، تکنیک های فشرده سازی