سیویلیکا را در شبکه های اجتماعی دنبال نمایید.

روشی برای بهبود تشخیص نرم افزاری خطاهای کنترلی مبتنی بر خطا های گذرا در پردازنده ها حین اجرای برنامه ها

Publish Year: 1397
Type: Journal paper
Language: Persian
View: 71

This Paper With 13 Page And PDF Format Ready To Download

Export:

Link to this Paper:

Document National Code:

JR_JSCIT-7-1_001

Index date: 16 October 2024

روشی برای بهبود تشخیص نرم افزاری خطاهای کنترلی مبتنی بر خطا های گذرا در پردازنده ها حین اجرای برنامه ها abstract

سیستم های پردازشی در کاربردهایی مانند ماهواره ها، فضاپیماها و رآکتورهای هسته ای به علت وجود انواع اشعه، بسیار مستعد تولید خروجی های نادرست هستند. در این کاربردها استفاده از تجهیزات الکترونیکی مقاوم هزینه زیادی را تحمیل می کند. یک راه برای کاهش هزینه، استفاده از نرم افزارهای مقاوم یا بهبودیافته بر روی تجهیزات رایج مانند پردازنده های عام است. در این مقاله، روشی جدید برای بهبود اجرای انواع کدها بر روی پردازنده ها به منظور تشخیص خطاهای گذرا که در بستر سخت افزاری رخ می دهد، ارائه می گردد. این روش جزء روش هایی است که با شناسایی خطاهای کنترلی یا همان تغییر در روند اجرای کد برنامه، خطاهای گذرا را تشخیص می دهند. روش پیشنهادی مبتنی بر تخصیص امضاها و استفاده از متغیرهای محاسبه شونده حین اجرا بوده و با افزودن دو امضا و حداکثر سه دستورالعمل کنترلی به هر بلوک پایه بسیاری از خطاهای کنترلی را تشخیص می دهد. نتایج شبیه سازی و پیاده سازی روش پیشنهادی به همراه روش های پیشین نشان می دهد که روش پیشنهادی با توجه به سه پارامتر میزان پوشش خطا، سربار کارایی و سربار حافظه، بهتر از روش های قبلی شناسایی خطاهای کنترلی را انجام می دهد.

روشی برای بهبود تشخیص نرم افزاری خطاهای کنترلی مبتنی بر خطا های گذرا در پردازنده ها حین اجرای برنامه ها Keywords:

خطاهای گذرا , تشخیص خطا , تحمل پذیری اشکال سخت افزاری با پیاده سازی نرم افزاری (SIHFT) , وارسی جریان کنترلی (CFC) , وارسی جریان داده ای (DFC)

روشی برای بهبود تشخیص نرم افزاری خطاهای کنترلی مبتنی بر خطا های گذرا در پردازنده ها حین اجرای برنامه ها authors

Seyedeh Afifeh Alavi

گروه کامپیوتر، دانشکده مهندسی برق و کامپیوتر، دانشگاه صنعتی نوشیروانی بابل، بابل، ایران.

Mojtaba Valinataj

گروه کامپیوتر، دانشکده مهندسی برق و کامپیوتر، دانشگاه صنعتی نوشیروانی بابل، بابل، ایران.

Mojtaba Mansoori

گروه کامپیوتر، دانشکده مهندسی برق و کامپیوتر، دانشگاه صنعتی نوشیروانی بابل، بابل، ایران.

مراجع و منابع این Paper:

لیست زیر مراجع و منابع استفاده شده در این Paper را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود Paper لینک شده اند :
P. Shirvani, N. Saxena, and E. McCluskey, “Software-implemented EDAC protection ...
A. Shrivastava, A. Rhisheekesan, R. Jeyapaul, and C.-J. Wu, “Quantitative ...
D. Zhu and H. Aydin, “Reliability Effects of Process and ...
طاهره برومند نژاد، محمد عبداللهی ازگمی، شاهرخ جلیلیان، ”بررسی فنون ...
J.R. Azambuja, F. Kastensmidt, and J. Becker, “Hybrid Fault Tolerance ...
M. Duricek and T. Krajcovic, “Hybrid Control-Flow Checking with On-Line ...
S.A. Asghari, A. Abdi, H. Taheri, S. Pourmozaffari, and H. ...
N. Oh, P.P. Shirvani, and E.J. McCluskey, “Control-Flow Checking by ...
A. Li and B. Hong, “Software implemented transient fault detection ...
Z. Alkhalifa, V.S.S. Nair, N. Krishnamurthy, and J.A. Abraham, “Design ...
S.A. Asghari, H. Taheri, H. Pedram, and O. Kaynak, “Software-Based ...
A. Li and B. Hong, “On-line control flow error detection ...
Boroomandnezhad, T., Azgomi, M. A., “An efficient control-flow checking technique ...
Jianli, L., Qingping, T., Jianjun, X., “A Software-Implemented Configurable Control ...
Asghari, S.A., Abdi, A., Taheri, H., Pedram, H., Pourmozaffari, S., ...
L. Terras, Y. Teglia, M. Agoyan, R. Leveugle, “Taking into ...
L. Liu, L. Ci, W. Liu, C. Bin, “Control-Flow Checking ...
Z., Zhu, J. Callenes-Sloan, “Towards Low Overhead Control Flow Checking ...
J. Vankeirsbilck, N. Penneman, H. Hallez, J. Boydens, “Random Additive ...
S. Das, W. Zhang, Y. Liu, “A Fine-Grained Control Flow ...
نمایش کامل مراجع