ارائه پیشنهادی جهت بررسی نرم افزار های ایمنی -بحرانی

توجه : به همراه فایل word این محصول فایل پاورپوینت (PowerPoint) و اسلاید های آن به صورت هدیه ارائه خواهد شد

 ارائه پیشنهادی جهت بررسی نرم افزار های ایمنی -بحرانی دارای ۱۲ صفحه می باشد و دارای تنظیمات در microsoft word می باشد و آماده پرینت یا چاپ است

فایل ورد ارائه پیشنهادی جهت بررسی نرم افزار های ایمنی -بحرانی  کاملا فرمت بندی و تنظیم شده در استاندارد دانشگاه  و مراکز دولتی می باشد.

توجه : در صورت  مشاهده  بهم ریختگی احتمالی در متون زیر ،دلیل ان کپی کردن این مطالب از داخل فایل ورد می باشد و در فایل اصلی ارائه پیشنهادی جهت بررسی نرم افزار های ایمنی -بحرانی،به هیچ وجه بهم ریختگی وجود ندارد

بخشی از متن ارائه پیشنهادی جهت بررسی نرم افزار های ایمنی -بحرانی :

تعداد صفحات :۱۲

چکیده مقاله:

امروزه سیستم های نرم افزاری ایمنی ـ بحرانی Safety-Critical بخشی جدایی ناپذیر اززندگی بشرگردیده اند به همان اندازه که نقش این نرم افزارها درکارهای روزمره بیشتر می گردد وجود خطا درآنها نیز هزینه های جانی و مالی سنگین تری دارد استفاده ازتمامی روشهای مرسوم درآزمون نرم افزار اگرچه باعث پیدا کردن خطاهای موجود می گردد اما هیچ گاه تضمینی برعدم وجود خطا نمی دهد درحالیکه نرم افزارهای ایمنی ـ بحرانی نیازمند روشی هستند که این تضمین را ارایه نماید و به همین دلیل استفاده ازروشهای فرمال مانند بررسی مدل برای آنها توصیه میگردد دراین مقاله سعی گردیده است ابتدا خصوصیات نرم افزارهای ایمنی ـ بحرانی بیان گردد تا براین اساس بهترین روش وارسی این گونه سیستم ها معرفی شود درادامه نیز روش بررسی مدل Model Checking به عنوان هیافت منتخب برای این دسته ازنرم افزارها معرفی گردیده و درانتها نرم افزار SPIN و زبان مدلسازی Promela به عنوان یکی ازابزارهای بررسی مدل معرفی میگردند