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