ترجمه مقاله بهینه سازی ضرورت جایگزینی سیستم جاسازی شده زمان محدود – نشریه 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) یک سری ضرورت ها را بر حسب تنزل رتبه عملکرد و تنگی ضرورت انتخاب می کند. نتایج استثنا بازدهی تکنیک های پیشنهاد شده را نشان داده اند.