فنونی برای بهینه سازی روشهای نرم افزاری کشف خطای گذرا  در سیستم های توکار

روشهای متفاوت سخت افزاری و نرم افزاری برای کشف خطای گذرا درسیستم های کامپیوتری توکار وجود دارد SIHFT روشی است که از نوعی تحمل پذیری خطای نرم افزاری برای کشف خطا در سیستم های ایمنی-بحرانی استفاده می کند . فنون این روش دو دسته اند که با اشکالهای حافظه و پردازنده مقابله می کنند. به دلیل احتمال بالای تأثیر خطا بر جریان اجرایی برنامه ، روشهای مبتنی بر جریان کنترل ازاهمیت ویژه ای برخوردار است . نوآوری این مقاله در ارائه فنون وپارامترهایی است که با اعمال بر روشه ای مبتنی بر جریان کنترل،کارآیی روش را افزایش می دهد و می توان با کم و زیاد کردن نقاط بررسی به این شیوه توازنی بین کارآیی و تأخیر کشف خطا برقرار نمود.

Keywords:

اشکال نرم , جریان کنترل , تحمل پذیری خطا , روش هسته (Kernel method)