تلفن: ۰۴۱۴۲۲۷۳۷۸۱
تلفن: ۰۹۲۱۶۴۲۶۳۸۴

ترجمه مقاله بهینه سازی ضرورت جایگزینی سیستم جاسازی شده زمان محدود – نشریه IEEE

عنوان فارسی: بهینه سازی ضرورت جایگزینی سیستم های جاسازی شده زمان محدود
عنوان انگلیسی: Optimization of Assertion Placement in Time-Constrained Embedded Systems
تعداد صفحات مقاله انگلیسی : 5 تعداد صفحات ترجمه فارسی : 23
سال انتشار : 2011 نشریه : آی تریپل ای - IEEE
فرمت مقاله انگلیسی : PDF فرمت ترجمه مقاله : ورد تایپ شده
کد محصول : 5671 رفرنس : ندارد
محتوای فایل : zip حجم فایل : 840.76Kb
رشته های مرتبط با این مقاله: مهندسی کامپیوتر
گرایش های مرتبط با این مقاله: مهندسی الگوریتم ها و محاسبات، مهندسی نرم افزار و برنامه نویسی کامپیوتر
مجله: سمپوزیوم تست اروپا - European Test Symposium
دانشگاه: گروه علوم کامپیوتر، دانشگاه ورونا
وضعیت ترجمه عناوین تصاویر و جداول: ترجمه شده است
وضعیت ترجمه متون داخل تصاویر و جداول: ترجمه نشده است
وضعیت فرمولها و محاسبات در فایل ترجمه: به صورت عکس، درج شده است
ترجمه این مقاله با کیفیت عالی آماده خرید اینترنتی میباشد. بلافاصله پس از خرید، دکمه دانلود ظاهر خواهد شد. ترجمه به ایمیل شما نیز ارسال خواهد گردید.
فهرست مطالب

چکیده

I. مقدمه

II. مدل کاربردی

III. تشخیص خطا با ضرورت

IV. پارامترهای ضرورت های اجرایی

فرمول سازی مشکل

جایگزینی ضرورت

A.تحلیل های کد و پروفایل سازی

B. زیرساخت بهینه سازی

C.معیار متری تکامل

v. نتایج آزمایشی

نمونه متن انگلیسی

Abstract

We present an approach for optimization of assertion placement in time-constrained HW/SW modules for detection of errors due to transient and intermittent faults. During the design phases, these assertions have to be inserted into the executable code and, hence, will always be executed with the corresponding code branches. As the result, they can significantly increase execution time of a module, in particular, contributing to a much longer execution of the worst case, and cause deadline misses. Assertions have different characteristics such as tightness (or "local error coverage") and execution latency. Taking into account these properties can increase efficiency of assertion checks in time-constrained embedded HW/SW modules. We have developed a design optimization framework, which (1) identifies candidate locations for assertions, (2) associates a candidate assertion to each location, and (3) selects a set of assertions in terms of performance degradation and assertion tightness. Experimental results have shown the efficiency of the proposed techniques.

نمونه متن ترجمه

چکیده

ما روشی را برای بهینه سازی ضرورت جایگزینی در مدل های HW/SW زمان-محدود برای جستجوی خطاهای اشتباه های مقطع و زودگذر معرفی می کنیم. در طول مراحل طراحی، این ضرورت ها باید به کدهای قابل اجرا تبدیل شوند و، ازاینرو، همیشه با شاخه های کدی متناظر اجرا خواهند شد. در نتیجه، آنها به طور قابل توجهی می توانند زمان اجراء یک واحد را، به طور خاصی، برای کمک به اجراء طولانی تر بدترین نمونه افزایش دهند، و باعث از دست رفتن فرصت های معین شوند. ضرورت ها ویژگی های مختلفی مانند تنگی ("پوشش خطای محلی") و تأخیر اجراء دارند. توجه به این ویژگی ها می تواند بازدهی کنترل های ضرورت را در جاسازی واحدهای HW/SW زمان محدود افزایش دهد. ما چارچوب طرح بهینه سازی را توسعه داده ایم، که (1) موقعیت های کاندید برای ضرورت ها را شناسایی می کند (2) ضرورت منتخب را به هر موقعیتی پیوست می کند (3) یک سری ضرورت ها را بر حسب تنزل رتبه عملکرد و تنگی ضرورت انتخاب می کند. نتایج استثنا بازدهی تکنیک های پیشنهاد شده را نشان داده اند.