طراحی روشی برای افزودن امکان تشخیص خطا در رأی گیرنده های نرم افزاری برای سیستم های نهفته بحرانی-ایمن

سال انتشار: 1393
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 688

فایل این مقاله در 8 صفحه با فرمت PDF قابل دریافت می باشد

استخراج به نرم افزارهای پژوهشی:

لینک ثابت به این مقاله:

شناسه ملی سند علمی:

ICADI02_017

تاریخ نمایه سازی: 11 اردیبهشت 1394

چکیده مقاله:

سیستم های بحرانی ایمن نظیر سیستم کنترل پرواز هواپیما و یا سیستم کنترل قطارهای سریع السیر،سیستم هایی هستند که رخداد خرابی در آنها می تواند منجر به فاجعه جانی، مالی یا زیست محیطی شود. لذا جلوگیری ازرخداد هرگونه خرابی در این سیستم ها یک نیاز اساسی محسوب می گردد. یکی از راه های موجود برای عدم رخداد خرابی در این سیستم ها استفاده از تکنیک های پوشش اشکال می باشد. برای پوشش اشکالات موجود در یک سیستم روش هایچندنسخه ای نظیر NVP و NMR به صورت گسترده ای مورد استفاده قرار می گیرند. در این روش ها، تعداد N ماژول بر روی داده های یکسان عملیات مشابهی را انجام می دهند و هر یک نتیجه ای را تولید می نمایند. سپس نیاز است تا یک واحد رأی گیرنده بتواند از میان نتایج تولید شده یک نتیجه ی صحیح نهایی را استخراج نماید. از آنجایی که ورودی هاییک رأی گیرنده ممکن است اعداد غیردقیقی باشند که رأی گیرنده آنها را به صورت غیرهمزمان دریافت می کند، این نیاز وجود دارد تا رأی گیرنده ای طراحی گردد که بتواند از بین ورودی های صحیح و غلط دریافت شده، بهترین جواب را درکمترین زمان ممکن تولید کند. از آنجا که خرابی واحد رأی گیرنده می تواند منجر به خرابی سیستم شود، بنابراین باید به ایمنی و دسترس پذیری آن نیز توجه ویژه ای داشت. در روش پیشنهادی با استفاده از تکنیک های مختلف سعی بر آن شده است تا امکان تشخیص خطا به رأی گیرنده هایی که این امکان را ندارند افزوده شود که نتیجه آن افزایش ایمنی رأی گیرنده بوده است.

کلیدواژه ها:

پوشش اشکال ، برنامه نویسی چندنسخه ای ، رأی گیرنده ی نرم افزاری ، سیستم های بحرانی ایمن

نویسندگان

محمدرضا رضائی

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

یاسر صداقت

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

مراجع و منابع این مقاله:

لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :
  • J. C. Knight, "Safety critical systems: challenges and directions, " ...
  • International Conference on, 2002, pp. 547-550. I. Koren and C. ...
  • H. Kopetz, Real-time systems: design principles for distributed embedded applications: ...
  • B. W. Johnson, Design and Analysis of Fault- Tolerant Digital ...
  • J.-C. Laprie, "Dependable computing and fault- tolerance, " Digest of ...
  • Transactions On, Reliability, vol. 53, pp. 319- 328.2004 , ...
  • V. De Florio, G. Deconinck, and R. Lauwereins, "The EFTOS ...
  • B. Parhami, "A taxonomy of voting schemes for data fusion ...
  • D. M. Blough and G. F. Sullivan, "A comparison of ...
  • Symposium on, Reliable Distributed Systems, 1988. Proceedings., 1988, pp. 138-143. ...
  • R. B. Broen, "New Voters for Redundant Systems, " Journal ...
  • F. S. Acton, Numerical methods that usually work: MAA, 1990. ...
  • M. Rezaee, Y. Sedaghat, and M. K. Farmad, "A Con ...
  • EUROMICRO Conference, 1999. Procedings. 25th, 1999, pp. 113-120. ...
  • G. Latif-Shabgahi, S. Bennett, and J. M. Bass, "Smoothing voter: ...
  • G. Latif-Shabgahi, M. Tokhi, and M. Taghvaei, "Voting with dynamic ...
  • نمایش کامل مراجع