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

سال انتشار: 1393
محل انتشار: دومین کنفرانس ملی اویونیک ایران
کد COI اختصاصی: ICADI02_016
زبان مقاله: فارسی
تعداد مشاهده: 1474

نویسندگان

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

چکیده

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

کلیدواژه ها

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

مقالات مرتبط جدید

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.