ترجمه مقاله نقش ضروری ارتباطات 6G با چشم انداز صنعت 4.0
- مبلغ: ۸۶,۰۰۰ تومان
ترجمه مقاله پایداری توسعه شهری، تعدیل ساختار صنعتی و کارایی کاربری زمین
- مبلغ: ۹۱,۰۰۰ تومان
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% در مقایسه با روش های دیگر افزایش دهد بدون اینکه هزینه مازاد عمکلرد یا حافظه ایجاد کند. در این مقاله در کنار ارزیابی های آزمایشی، ارزیابی های تحلیلی نیز انجام می شوند که بر اساس اصول احتمال اند. لذا توانایی تشخیص هر روش به کار رفته لذا محاسبه می شود. این محاسبات نتایج آزمایشی را تایید نموده و نشان می دهند که بررسی جریان کنترل نرم افزار محور می تواند خطاهای بیشتری از دیگر روش های پیشنهادی در ادبیات تشخیص دهد. با توجه به محدودیت های حافظه در برخی کاربردها و روند نسبت به شرایط اجرای سریع برنامه ها، متریک تازه فراهم می کنیم که پارامتر تناسب نام دارد که این موارد را در خود شامل می سازد. این سنجش بهتری از موارد از قبل بررسی شده بوده چون پوشش خطا، هزینه مازاد حافظه و زمان اجرا هر روش را به طور همزمان و نیز قابلیت تشخیص را در نظر می گیرد.