بررسی قابلیت اطمینان در نرم افزارهای تله گذاری شده از روش تحلیلی و شبیه سازی

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