| عنوان فارسی مقاله: |
بررسی جریان کنترل نرم افزار محور در برابر خطاهای گذرا در محیط های صنعتی |
| عنوان انگلیسی مقاله: |
Software-based Control Flow Checking against Transient Faults in Industrial Environments |
چکیده
سیستم های مکاترونیک که در محیط های صنعتی کار می کنند، به دلیل شرایط سخت تهدیدات مختلفی دارند. سیستم های صنعتی معمولا از تجهیزات خارج از قفسه تجاری استفاده می کنند که پایدار نبوده و و در برابر شرایط حاد ایمن نیستند و لذا نیاز به شرایط تحمل خطا دارند. این مقاله روش تازه و موثر برای تشخیص آنلاین خطاهای جریان کنترل به نام بررسی جریان کنترل نرم افزار محور، فراهم می سازد. این روش در نرم افزار پیاده سازی شده و در ساختار سخت افزار سیستم خللی وارد نمی سازد. آموزش ها و امضاها مازاد در برنامه در طی زمان گردآوری نهاده شده و برای بررسی جریان کنترل در زمان اجرا به کار می روند. تایید بلوک های پایه برگرفته از گراف برنامه است. در این مقاله نشان دادیم که روش بررسی جریان کنترل نرم افزار محور می تواند ظرفیت تشخیص مجزا را تا 14.7% افزایش داده و به طور میانگین پوشش خطا را تا 6.12% در مقایسه با روش های دیگر افزایش دهد بدون اینکه هزینه مازاد عمکلرد یا حافظه ایجاد کند. در این مقاله در کنار ارزیابی های آزمایشی، ارزیابی های تحلیلی نیز انجام می شوند که بر اساس اصول احتمال اند. لذا توانایی تشخیص هر روش به کار رفته لذا محاسبه می شود. این محاسبات نتایج آزمایشی را تایید نموده و نشان می دهند که بررسی جریان کنترل نرم افزار محور می تواند خطاهای بیشتری از دیگر روش های پیشنهادی در ادبیات تشخیص دهد. با توجه به محدودیت های حافظه در برخی کاربردها و روند نسبت به شرایط اجرای سریع برنامه ها، متریک تازه فراهم می کنیم که پارامتر تناسب نام دارد که این موارد را در خود شامل می سازد. این سنجش بهتری از موارد از قبل بررسی شده بوده چون پوشش خطا، هزینه مازاد حافظه و زمان اجرا هر روش را به طور همزمان و نیز قابلیت تشخیص را در نظر می گیرد.
