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

ترجمه مقاله بهینه سازی ضرورت جایگزینی سیستم جاسازی شده زمان محدود - نشریه IEEE
قیمت خرید این محصول
۱۸,۰۰۰ تومان
دانلود رایگان نمونه دانلود مقاله انگلیسی
عنوان فارسی
بهینه سازی ضرورت جایگزینی سیستم های جاسازی شده زمان محدود
عنوان انگلیسی
Optimization of Assertion Placement in Time-Constrained Embedded Systems
صفحات مقاله فارسی
23
صفحات مقاله انگلیسی
5
سال انتشار
2011
نشریه
آی تریپل ای - IEEE
فرمت مقاله انگلیسی
PDF
فرمت ترجمه مقاله
ورد تایپ شده
رفرنس
ندارد
کد محصول
5671
وضعیت ترجمه عناوین تصاویر و جداول
ترجمه شده است
وضعیت ترجمه متون داخل تصاویر و جداول
ترجمه نشده است
وضعیت فرمولها و محاسبات در فایل ترجمه
به صورت عکس، درج شده است
رشته های مرتبط با این مقاله
مهندسی کامپیوتر
گرایش های مرتبط با این مقاله
مهندسی الگوریتم ها و محاسبات، مهندسی نرم افزار و برنامه نویسی کامپیوتر
مجله
سمپوزیوم تست اروپا - 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) یک سری ضرورت ها را بر حسب تنزل رتبه عملکرد و تنگی ضرورت انتخاب می کند. نتایج استثنا بازدهی تکنیک های پیشنهاد شده را نشان داده اند.

بدون دیدگاه