محاسبه سیستماتیک ایمنی سیستم ها بااستفاده ازروش مارکوف

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

کلیدواژه ها:

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