محمد صادقی - دانشگاه آزاد اسلامی دزفول

بعضی ازسیستم های کامپیوتری مانند سیستم های صنایع هسته ای نظامی شیمیایی هواپیمایی و پزشکی ازحساسیت بالایی برخوردار هستند بروز اشکال دراین سیستم ها موجب زیانهای جانی و مالی هنگفتی میشود لذا تعیین میزان اتکاپذیری Dependability این سیستم ها ازفاکتورهای اصلی درزمان طراحی و تولید است اتکاپذیری شامل ویژگیهایی ازجمله قابلیت اطمینان Dependability ایمنی Safety دسترس پذیری Availability و تعمیرپذیری Maintainability است ایمنی احتمال این است که سیستم درهرلحظه اززمان یادرست کارکند حتی اگرعیبی درسخت افزاریانرم افزار رخ دهد یا به گونه ای ایمن به کارخود خاتمه دهد که کسی یاچیزی اسیب نبیندمثل فروداضطراری هواپیما ازمدلهای رایج و جامع برای ارزیابی اتکاپذیری میتوان به مدل مارکوف اشاره کرد که مبتنی برریاضیات است و برای مدلسازی روابط پیچیده بین اجزا به کارمیرود باتوجه به اهمیت پارامتر ایمنی درارزیابی اتکاپذیری و قابلیت مدل مارکوف دراین خصوص دراین مقاله ایمنی چند نوع سیستم با استفاده ازمدل مارکوف محاسبه میشود

اتکاپذیری، ایمنی، تحمل پذیراشکال، صوریFormal ، مدل مارکوف