بررسی روش های نرم افزاری وارسی روند کنترلی در سیستم های نهفته بحرانی-ایمن
Publish place: Second Iranian Conference on Avionics System
Publish Year: 1393
Type: Conference paper
Language: Persian
View: 1,386
This Paper With 8 Page And PDF Format Ready To Download
- Certificate
- I'm the author of the paper
Export:
Document National Code:
ICADI02_016
Index date: 1 May 2015
بررسی روش های نرم افزاری وارسی روند کنترلی در سیستم های نهفته بحرانی-ایمن abstract
امروزه استفاده از پردازنده‌های همه‌منظوره‌ی تجاری در کاربردهای بحرانی-ایمن از جمله کاربردهای فضایی، هواپیمایی و نظامی بسیار مورد توجه قرار گرفته است. با توجه به این که رخداد خرابی در سیستم‌های بحرانی-ایمن منجر به فجایع جانی، مالی و زیست‌محیطی می‌شود، جهت جلوگیری از خرابی، لازم است که اشکال‌های رخ داده در این سیستم‌ها هر چه سریع‌تر کشف شوند. با توجه به این که احتمال رخداد اشکال‌های گذرا 10 تا 30 برابر بیشتر از احتمال رخداد اشکال‌های دائمی و ادواری است و تا حدود 77 درصد اشکال‌های گذرا باعث رخداد خطاهای روند کنترلی در پردازنده‌ها می‌شوند، روش‌های وارسی روندکنترلی جهت بالا بردن قابلیت اطمینان پردازنده‌ها از اهمیت ویژه‌ای برخوردار هستند. در بین انواع روش‌های وارسی روند کنترلی، به علت هزینه‌بر بودن و انعطاف‌پذیر نبودن روش‌های سخت‌افزاری، روش‌های نرم‌افزاری بیشتر مورد توجه هستند. در این مقاله، به معرفی و بررسی خطاهای روند کنترلی، انواع آن، روش‌های نرم‌افزاری وارسی روند کنترلی جهت استفاده در سیستم‌های بحرانی-ایمن و چالش‌های موجود در این روش‌ها پرداخته شده است.
بررسی روش های نرم افزاری وارسی روند کنترلی در سیستم های نهفته بحرانی-ایمن Keywords:
بررسی روش های نرم افزاری وارسی روند کنترلی در سیستم های نهفته بحرانی-ایمن authors
جواد یوسفی
آزمایشگاه سیستم های نهفته توزیع شده اتکاپذیرDDEmSدانشکده مهندسی کامپیوتر، دانشگاه فردوسی مشهد، مشهد، ایران
یاسر صداقت
آزمایشگاه سیستم های نهفته توزیع شده اتکاپذیرDDEmSدانشکده مهندسی کامپیوتر، دانشگاه فردوسی مشهد، مشهد، ایران
مراجع و منابع این Paper:
لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :