بررسی روش های نرم افزاری وارسی روند کنترلی در سیستم های نهفته بحرانی-ایمن
Publish place: Second Iranian Conference on Avionics System
Publish Year: 1393
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,257
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ICADI02_016
تاریخ نمایه سازی: 11 اردیبهشت 1394
Abstract:
امروزه استفاده از پردازنده‌های همه‌منظوره‌ی تجاری در کاربردهای بحرانی-ایمن از جمله کاربردهای فضایی، هواپیمایی و نظامی بسیار مورد توجه قرار گرفته است. با توجه به این که رخداد خرابی در سیستم‌های بحرانی-ایمن منجر به فجایع جانی، مالی و زیست‌محیطی می‌شود، جهت جلوگیری از خرابی، لازم است که اشکال‌های رخ داده در این سیستم‌ها هر چه سریع‌تر کشف شوند. با توجه به این که احتمال رخداد اشکال‌های گذرا 10 تا 30 برابر بیشتر از احتمال رخداد اشکال‌های دائمی و ادواری است و تا حدود 77 درصد اشکال‌های گذرا باعث رخداد خطاهای روند کنترلی در پردازنده‌ها می‌شوند، روش‌های وارسی روندکنترلی جهت بالا بردن قابلیت اطمینان پردازنده‌ها از اهمیت ویژه‌ای برخوردار هستند. در بین انواع روش‌های وارسی روند کنترلی، به علت هزینه‌بر بودن و انعطاف‌پذیر نبودن روش‌های سخت‌افزاری، روش‌های نرم‌افزاری بیشتر مورد توجه هستند. در این مقاله، به معرفی و بررسی خطاهای روند کنترلی، انواع آن، روش‌های نرم‌افزاری وارسی روند کنترلی جهت استفاده در سیستم‌های بحرانی-ایمن و چالش‌های موجود در این روش‌ها پرداخته شده است.
Keywords:
Authors
جواد یوسفی
آزمایشگاه سیستم های نهفته توزیع شده اتکاپذیرDDEmSدانشکده مهندسی کامپیوتر، دانشگاه فردوسی مشهد، مشهد، ایران
یاسر صداقت
آزمایشگاه سیستم های نهفته توزیع شده اتکاپذیرDDEmSدانشکده مهندسی کامپیوتر، دانشگاه فردوسی مشهد، مشهد، ایران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :