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