ارائه پیشنهادی جهت بررسی نرم افزار های ایمنی -بحرانی
- سال انتشار: 1394
- محل انتشار: سومین همایش ملی کامپیوتر
- کد COI اختصاصی: NCCOS03_167
- زبان مقاله: فارسی
- تعداد مشاهده: 1179
نویسندگان
دانشجوی کارشناسی ارشد دانشگاه علم وصنعت ایران
استادیار دانشگاه علم و صنعت ایران
چکیده
امروزه سیستم های نرم افزاری ایمنی ـ بحرانی Safety-Critical بخشی جدایی ناپذیر اززندگی بشرگردیده اند به همان اندازه که نقش این نرم افزارها درکارهای روزمره بیشتر می گردد وجود خطا درآنها نیز هزینه های جانی و مالی سنگین تری دارد استفاده ازتمامی روشهای مرسوم درآزمون نرم افزار اگرچه باعث پیدا کردن خطاهای موجود می گردد اما هیچ گاه تضمینی برعدم وجود خطا نمی دهد درحالیکه نرم افزارهای ایمنی ـ بحرانی نیازمند روشی هستند که این تضمین را ارایه نماید و به همین دلیل استفاده ازروشهای فرمال مانند بررسی مدل برای آنها توصیه میگردد دراین مقاله سعی گردیده است ابتدا خصوصیات نرم افزارهای ایمنی ـ بحرانی بیان گردد تا براین اساس بهترین روش وارسی این گونه سیستم ها معرفی شود درادامه نیز روش بررسی مدل Model Checking به عنوان هیافت منتخب برای این دسته ازنرم افزارها معرفی گردیده و درانتها نرم افزار SPIN و زبان مدلسازی Promela به عنوان یکی ازابزارهای بررسی مدل معرفی میگردندکلیدواژه ها
آزمون نرم افزار ، نرم افزارهای ایمنی ـ بحرانی Safety-Critical ، بررسی مدل Model Checking ، نرم افزار spin ، زبان مدلسازی Promelaمقالات مرتبط جدید
- سودآوری مشتریان در خردهفروشی قطعات یدکی ماشین آلات راهسازی با رویکرد یادگیری ماشین
- ارائه روشی کارآمد جهت شناسایی کودکان نیازمند به پیوند مغز استخوان با استفاده از ترکیب طبقه بند ماشین بردار پشتیبان و الگوریتم بهینه سازی فاخته
- استخراج بهینه پارامترهای تاثیر گذار الگوریتم بهینه سازی بوفالوی آفریقایی با هدف استخراج ویژگی های مهم به منظور افزایش کارایی طبقه بندی داده ها
- ارائه روشی کارآمد برای بهبود عملکرد الگوریتم بهینه سازی کلاغ سیاه به منظور افزایش صحت خوشه بندی داده ها
- استفاده از الگوریتم باور بیزین در لایه کاملا متصل شبکه عصبی کانولوشن با هدف افزایش دقت تشخیص تصاویر
اطلاعات بیشتر در مورد COI
COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.
کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.