ترجمه مقاله بررسی جریان کنترل نرم افزار محور در برابر خطاهای گذرا در محیط های صنعتی - نشریه IEEE

ترجمه مقاله بررسی جریان کنترل نرم افزار محور در برابر خطاهای گذرا در محیط های صنعتی - نشریه IEEE
قیمت خرید این محصول
۳۵,۰۰۰ تومان
دانلود رایگان نمونه دانلود مقاله انگلیسی
عنوان فارسی
بررسی جریان کنترل نرم افزار محور در برابر خطاهای گذرا در محیط های صنعتی
عنوان انگلیسی
Software-based Control Flow Checking against Transient Faults in Industrial Environments
صفحات مقاله فارسی
21
صفحات مقاله انگلیسی
10
سال انتشار
2014
نشریه
آی تریپل ای - IEEE
فرمت مقاله انگلیسی
PDF
فرمت ترجمه مقاله
ورد تایپ شده
رفرنس
دارد
کد محصول
7701
وضعیت ترجمه عناوین تصاویر و جداول
ترجمه شده است
وضعیت ترجمه متون داخل تصاویر و جداول
ترجمه نشده است
وضعیت فرمولها و محاسبات در فایل ترجمه
به صورت عکس، درج شده است
رشته های مرتبط با این مقاله
مهندسی صنایع
گرایش های مرتبط با این مقاله
برنامه ریزی و تحلیل سیستم ها و بهینه سازی سیستم ها
مجله
تراکنش ها بر روی انفورماتیک صنعتی - Transactions on Industrial Informatics
دانشگاه
گروه مهندسی برق، دانشگاه صنعتی، تهران، ایران
کلمات کلیدی
خارج از قفسه تجاری، بررسی جریان کنترل، پارمتر تناسب، القا خطا، ارزیابی تحلیلی، تشخیص خطا مبتنی بر نرم افزار
۰.۰ (بدون امتیاز)
امتیاز دهید
فهرست مطالب
چکیده
1.مقدمه
2. مرور بر ادبیات
3. روش پیشنهادی
4..نتایج آزمایش
5.نتیجه گیری
نمونه چکیده متن اصلی انگلیسی
Abstract

Mechatronic systems operating in industrial environments are subject to a variety of threats because of harsh conditions. Industrial systems usually use Commercial Off-The Shelf (COTS) equipment which are not robust and safe against hostile conditions and therefore require fault tolerance considerations. This paper presents a novel and efficient method for online detection of control flow errors, called Software-based Control Flow Checking (SCFC). It is implemented purely in software and does not manipulate the hardware architecture of the system. Redundant instructions and signatures are embedded into the program at compile time and are utilized for control flow checking at run time. The signatures of the basic blocks are derived from the program graph. It is shown in the paper that SCFC method can increase single detection capability to 14.7% and the fault coverage to 6.12% averagely in comparison with other methods without any increase in memory and performance overheads. In the paper, besides experimental evaluations, analytical evaluations are also carried out, based on probability principles. The detection ability of each method used is thus computed. These computations verify the experimental results and show that SCFC can detect more errors than other methods suggested in literature. Considering the memory limitations in some (such as space) applications and the trend towards the requirement for faster execution of programs, we suggest a novel metric; called fitness parameter which incorporates these. It is a better measure than the previously proposed ones since it considers the fault coverage, the memory overhead and the execution time (performance overhead) of each method simultaneously, as well as the detection capability.

نمونه چکیده ترجمه متن فارسی
چکیده

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


بدون دیدگاه