ارزیابی قابلیت اطمینان سیستم چندحالتی برمبنای آنالیز درخت خطا

در این مقاله، آنالیز قابلیت اطمینان سیستم منسجم چند حالتی تشخیص شرایط اضطراری یک فضاپیما براساس آنالیز درخت خطا مورد بررسی قرار گرفته است. این سیستم دارای پیچیدگی بالا و ترم‌های اشتراکی بسیاری است که تحلیل چنین سیستمی چه به روش حداقل مجموعه- برش و چه با استفاده از روش bdd بسیار زمان‌بر و دارای تحلیل بسیار مشکلی به لحاظ ترم‌های اشتراکی بوده و همچنین نتایج بدست آمده از دقت مناسب برخوردار نخواهند بود. برای غلبه بر این مشکل، در این مقاله یک روش ترکیبی برای تحلیل درخت خطای استاتیکی توسعه داده شده است. در این روش، حداقل مجموعه- برش با روش bdd ادغام شده و احتمال رخداد رویداد اصلی مورد محاسبه قرار می‌گیرد. برای بیان کامل این روش، از مثال سیستم تشخیص شرایط اضطراری (eds) یک فضاپیما استفاده می‌گردد. در اینجا، آنالیز سیستم از یک دیدگاه کلی‌تر صورت می‌گیرد. به این معنی که فرض می‌شود کل سیستم شامل دو زیرسیستم: زیرسیستم مربوط به فرستنده‌های سیگنال و زیرسیستم نشاندهنده‌های داخل کابین می‌باشد. دو درخت خطای متفاوت برای هر یک از حالت‌ها ساخته شده و در نهایت، نتایجی از گام‌های آنالیز برای سیستم چند حالتی متشکل از اجزا چند حالتی به‌کمک آنالیز درخت خطا ارایه شده و مقدار قابلیت اطمینان سیستم محاسبه شده است.