جواد یوسفی - آزمایشگاه سیستم های نهفته توزیع شده اتکاپذیرDDEmSدانشکده مهندسی کامپیوتر، دانشگاه فردوسی مشهد، مشهد، ایران
یاسر صداقت - آزمایشگاه سیستم های نهفته توزیع شده اتکاپذیرDDEmSدانشکده مهندسی کامپیوتر، دانشگاه فردوسی مشهد، مشهد، ایران

امروزه استفاده از پردازنده‌های همه‌منظوره‌ی تجاری در کاربردهای بحرانی-ایمن از جمله کاربردهای فضایی، هواپیمایی و نظامی بسیار مورد توجه قرار گرفته است. با توجه به این که رخداد خرابی در سیستم‌های بحرانی-ایمن منجر به فجایع جانی، مالی و زیست‌محیطی می‌شود، جهت جلوگیری از خرابی، لازم است که اشکال‌های رخ داده در این سیستم‌ها هر چه سریع‌تر کشف شوند. با توجه به این که احتمال رخداد اشکال‌های گذرا 10 تا 30 برابر بیشتر از احتمال رخداد اشکال‌های دائمی و ادواری است و تا حدود 77 درصد اشکال‌های گذرا باعث رخداد خطاهای روند کنترلی در پردازنده‌ها می‌شوند، روش‌های وارسی روندکنترلی جهت بالا بردن قابلیت اطمینان پردازنده‌ها از اهمیت ویژه‌ای برخوردار هستند. در بین انواع روش‌های وارسی روند کنترلی، به علت هزینه‌بر بودن و انعطاف‌پذیر نبودن روش‌های سخت‌افزاری، روش‌های نرم‌افزاری بیشتر مورد توجه هستند. در این مقاله، به معرفی و بررسی خطاهای روند کنترلی، انواع آن، روش‌های نرم‌افزاری وارسی روند کنترلی جهت استفاده در سیستم‌های بحرانی-ایمن و چالش‌های موجود در این روش‌ها پرداخته شده است.

سیستم های بحرانی-ایمن، تحمل پذیری اشکال، اشکال های گذرا، وارسی روند کنترلی