آنالیز قابلیت اطمینان درخت خطای دینامیکی به کمک شبیه سازی مونت کارلو

در سالهای اخیر، نسل جدیدی از ابزارهای مدلسازی برای آنالیز قابلیت اطمینان سیستم ها توسعه یافته اند. مفهوم ”دینامیک “ نیز در زمینه قابلیت اطمینان و تکنیک هایی مانند آنالیز درخت خطای دینامیکی با محور فرآیندهای مارکوف، شبیه سازی مونت کارلو و غیره، مورد استفاده قرار گرفته اند. شبیه سازی مونت کارلوMCS مبتنی بر نمونه گیری تکراری ، به عنوان ابزاری قدرتمند برای ارزیابی قابلیت اطمینان سیستم را ارائه می دهد. برای این منظور، تکنیک نمونه برداری موثری برای نمایش شکست سیستم ، به منظور کاهش تلاش محاسباتی باید مد نظر قرار گیرد.برای ارزیابی قابلیت اطمینان به کمک تکنیک شبیه سازی ، درخت خطای دینامیکی سیستم تعمیرناپذیر (سیستم فرار اضطراری ۲ مجهز به زیرسیستم تشخیص شرایط اضطراری ۳ برای فضاپیمای سرنشین دار به عنوان مطالعه موردی در نظر گرفته شده است . این درخت خطای دینامیکی DFT دارای یک رویداد اصلی تحت عنوان ”فرستادن سیگنال شرایط اضطراری “ می باشد. سیستم مورد نظر، سیستمی با پیچیدگی بالا و دارای ترمهای اشتراکی و رویدادهای وابسته ای بسیاری می باشد که تحلیل چنین سیستمی با استفاده از روش تحلیل درخت خطای استاتیکی و با استفاده از روشهای برمبنای حداقل مجموعه -برش و روشهای BDD بسیار زمانبر و دارای تحلیل بسیار مشکلی خواهد بود. همچنین نتایج بدست آمده از دقت کمتری برخوردار خواهند بود. در این مقاله ، درخت خطای دینامیکی با گیت های SEQ , PAND برای سیستم دینامیکی موردنظر استخراج گردیده و براساس رویکرد شبیه سازی مونت کارلو، مقدار قابلیت اطمینان سیستم براساس بازه اطمینان تخمین و مورد ارزیابی قرار گرفته است . نتایج حاصل از شبیه سازی نشانگر قابلیت اطمینان بالای سیستم بوده و خروجی های اجرای برنامه دارای بازه اطمینان کمتری (انحراف کم نتایج ناشی از هر اجرای برنامه می باشند.

کلیدواژه ها:

قابلیت اطمینان ، درخت خطای دینامیکی ، سیستم فرار اضطراری ، شبیه سازی مونت کارلو ، بازه اطمینان.