ارایه راهکاری جدید به منظور بدست آوردن دسترس پذیری ماندگار سیستم های توصیف شده درخت عیب دینامیکی با استفاده از مدل مارکوف سلسفه مراتبی آنها

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