دانلود مقاله ISI انگلیسی شماره 57071
ترجمه فارسی عنوان مقاله

قابلیت اطمینان پردازش داده ها و جبران گسل در پردازنده های محاسباتی غیر قابل اعتماد

عنوان انگلیسی
Reliability of data processing and fault compensation in unreliable arithmetic processors
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی
57071 2016 11 صفحه PDF
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Microprocessors and Microsystems, Volume 40, February 2016, Pages 102–112

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

چکیده انگلیسی

In logical circuits, like arithmetic operations in a processor system, arbitrary faults become a more tremendous aspect in future. Modern manufacturing processes lead to less reliability and higher vulnerability of software execution to soft-errors. The correctness of certain results is important especially for safety–critical applications whose reliability depends on the fault-free execution of each single instruction and the dependencies between them. The more complex a software is the more unreliable the outcome is. But, there is a contrary effect. If the probability for multiple faults increases, there is also the chance that two faults compensate each other and the result is correct again. This paper presents the basic ideas for such a reliability evaluation of a software's data flow with arbitrary soft-errors and the effect of fault compensation. Further, this evaluation provides a possibility to compare different implementations of a data flow with respect to the reliability. This is shown by the comparison of two different error codes as alternatives for coded data processing.