عنوان : ( بررسی روش‌های نرم‌افزاری وارسی روند کنترلی در سیستم‌های نهفته بحرانی-ایمن )
نویسندگان: جواد یوسفی , یاسر صداقت ,
Full Textچکیده
امروزه استفاده از پردازنده‌های همه‌منظوره‌ی تجاری در کاربردهای بحرانی-ایمن از جمله کاربردهای فضایی، هواپیمایی و نظامی بسیار مورد توجه قرار گرفته است. با توجه به این که رخداد خرابی در سیستم‌های بحرانی-ایمن منجر به فجایع جانی، مالی و زیست‌محیطی می‌شود، جهت جلوگیری از خرابی، لازم است که اشکال‌های رخ داده در این سیستم‌ها هر چه سریع‌تر کشف شوند. با توجه به این که احتمال رخداد اشکال‌های گذرا 10 تا 30 برابر بیشتر از احتمال رخداد اشکال‌های دائمی و ادواری است و تا حدود 77 درصد اشکال‌های گذرا باعث رخداد خطاهای روند کنترلی در پردازنده‌ها می‌شوند، روش‌های وارسی روندکنترلی جهت بالا بردن قابلیت اطمینان پردازنده‌ها از اهمیت ویژه‌ای برخوردار هستند. در بین انواع روش‌های وارسی روند کنترلی، به علت هزینه‌بر بودن و انعطاف‌پذیر نبودن روش‌های سخت‌افزاری، روش‌های نرم‌افزاری بیشتر مورد توجه هستند. در این مقاله، به معرفی و بررسی خطاهای روند کنترلی، انواع آن، روش‌های نرم‌افزاری وارسی روند کنترلی جهت استفاده در سیستم‌های بحرانی-ایمن و چالش‌های موجود در این روش‌ها پرداخته شده است.
کلمات کلیدی
, سیستم‌های بحرانی-ایمن, تحمل‌پذیری اشکال, اشکال‌های گذرا, وارسی روند کنترلی
@inproceedings{paperid:1047310,
author = {یوسفی, جواد and صداقت, یاسر},
title = {بررسی روش‌های نرم‌افزاری وارسی روند کنترلی در سیستم‌های نهفته بحرانی-ایمن},
booktitle = {دومین کنفرانس ملی اویونیک ایران},
year = {2015},
location = {اصفهان, ايران},
keywords = {سیستم‌های بحرانی-ایمن، تحمل‌پذیری اشکال، اشکال‌های گذرا، وارسی روند کنترلی},
}
%0 Conference Proceedings
%T بررسی روش‌های نرم‌افزاری وارسی روند کنترلی در سیستم‌های نهفته بحرانی-ایمن
%A یوسفی, جواد
%A صداقت, یاسر
%J دومین کنفرانس ملی اویونیک ایران
%D 2015
