دانشگاه کاشان محاسبات نرم 2322-3707 1 1 2021 05 23 An Instruction Level Software Redundancy Based Method to Intra-Inter Block Control Flow Checking ارائه یک روش مبتنی بر افزونگی نرم­ افزاری سطح دستورالعمل جهت تشخیص خطاهای روند اجرای برنامه درون و بین بلوکی 56 69 111357 FA آتنا عبدی سید امیر اصغری حسین پدرام حسن طاهری Journal Article 2021 05 23 Electronic devices in space applications may be Radiation Tolerant or Commercial off-the Shelf (COTS). Due to cost and unavailability in many applications, the latter is usually used. In applications such as spatial ones, the COTS equipment lacks reliability against threats like heavy ion radiation therefore, some alternatives should be considered to make the equipment resistant against the probable threats. In this paper to checking an Intra-Inter block control flow, a software redundancy method in instruction level is delivered. In comparison with other methods, the proposed method has less memory overhead, better performance and more fault coverage. تجهیزات الکترونیکی در کاربردهای فضایی، می­ توانند مقاوم یا غیرمقاوم در برابر تشعشعات باشند که به دلیل هزینه و عدم دسترسی در بسیاری از کاربردها، گزینه مناسب، استفاده تجهیزات تجاری رایج (غیرمقاوم) است. استفاده از تجهیزات تجاری رایج در کاربردهایی همچون کاربردهای فضایی به خودی خود، قابلیت تحمل­ پذیری را در برابر تهدیداتی همچون تابش یون­های سنگین ندارند؛ لذا باید تمهیداتی را در نظر گرفت که بتوان این تجهیزات را در برابر تهدیدات احتمالی مقاوم کرد. در این مقاله، یک روش مبتنی بر افزونگی نرم­ افزاری سطح دستورالعمل جهت تشخیص خطاهای روند اجرای برنامه درون و بین بلوکی ارائه شده است که در مقایسه با روش­های پیشنهادشده تاکنون دارای سربارهای حافظه کمتر، کارآیی بهتر و پوشش اشکال بیشتری است. https://scj.kashanu.ac.ir/article_111357_601fc31319c87e254666ff7c62d90a6c.pdf