MAPress
مقاله ادغام تخریب و بازیابی ظریف از طریق سازگاری مبتنی بر نیاز

مقاله ادغام تخریب و بازیابی ظریف از طریق سازگاری مبتنی بر نیاز

انتخاب پلن

انتخاب پلن برای ادامه خرید الزامی است.

عنوان مقاله به انگلیسی Integrating Graceful Degradation and Recovery through Requirement-driven Adaptation
عنوان مقاله به فارسی ادغام تخریب و بازیابی ظریف از طریق سازگاری مبتنی بر نیاز
نویسندگان Simon Chu, Justin Koe, David Garlan, Eunsuk Kang
زبان مقاله انگلیسی
فرمت مقاله: PDF
چکیده Cyber-physical systems (CPS) are subject to environmental uncertainties such as adverse operating conditions, malicious attacks, and hardware degradation. These uncertainties may lead to failures that put the system in a sub-optimal or unsafe state. Systems that are resilient to such uncertainties rely on two types of operations: (1) graceful degradation, to ensure that the system maintains an acceptable level of safety during unexpected environmental conditions and (2) recovery, to facilitate the resumption of normal system functions. Typically, mechanisms for degradation and recovery are developed independently from each other, and later integrated into a system, requiring the designer to develop an additional, ad-hoc logic for activating and coordinating between the two operations. In this paper, we propose a self-adaptation approach for improving system resiliency through automated triggering and coordination of graceful degradation and recovery.The key idea behind our approach is to treat degradation and recovery as requirement-driven adaptation tasks: Degradation can be thought of as temporarily weakening an original (i.e., ideal) system requirement to be achieved by the system, and recovery as strengthening the weakened requirement when the environment returns within an expected operating boundary. Furthermore, by treating weakening and strengthening as dual operations, we argue that a single requirement-based adaptation method is sufficient to enable coordination between degradation and recovery. Given system requirements specified in signal temporal logic (STL), we propose a run-time adaptation framework that automatically performs degradation and recovery in response to environmental changes. We describe a prototype implementation of our framework and demonstrate the feasibility of the proposed approach using a case study in unmanned underwater vehicles (UUVs).
تعداد صفحات 11
چکیده به فارسی (ترجمه ماشینی) سیستم های سایبری فیزیکی (CPS) در معرض عدم قطعیت های محیطی مانند شرایط عملیاتی نامطلوب ، حملات مخرب و تخریب سخت افزار هستند.این عدم قطعیت ها ممکن است منجر به خرابی هایی شود که سیستم را در حالت زیر بهینه یا ناامن قرار می دهد.سیستم هایی که نسبت به چنین عدم قطعیت ها مقاومت می کنند به دو نوع عملیات متکی هستند: (1) تخریب برازنده ، برای اطمینان از اینکه سیستم در شرایط محیطی غیر منتظره و (2) بازیابی ، سطح ایمنی قابل قبولی را حفظ می کند تا از سرگیری عملکردهای سیستم عادی استفاده کند.به طور معمول ، مکانیسم های تخریب و بازیابی به طور مستقل از یکدیگر توسعه می یابند و بعداً در یک سیستم ادغام می شوند و طراح را ملزم به ایجاد یک منطق اضافی و موقت برای فعال سازی و هماهنگی بین دو عملیات می کند.در این مقاله ، ما یک رویکرد خود سازگاری برای بهبود مقاومت در سیستم از طریق تحریک خودکار و هماهنگی تخریب و بازیابی برازنده پیشنهاد می کنیم. ایده اصلی رویکرد ما این است که درمان تخریب و بازیابی را به عنوان وظایف سازگاری محور: تخریب می توان تصور کردبه عنوان ضعف موقت یک سیستم اصلی (یعنی ایده آل) نیاز به دستیابی به سیستم ، و بهبودی به عنوان تقویت نیاز ضعیف هنگام بازگشت محیط در یک مرز عملیاتی مورد انتظار.علاوه بر این ، با درمان تضعیف و تقویت به عنوان عملیات دوگانه ، ما استدلال می کنیم که یک روش سازگاری مبتنی بر نیاز واحد برای امکان هماهنگی بین تخریب و بازیابی کافی است.با توجه به نیازهای سیستم مشخص شده در منطق زمانی سیگنال (STL) ، ما یک چارچوب سازگاری زمان اجرا را پیشنهاد می کنیم که به طور خودکار تخریب و بازیابی را در پاسخ به تغییرات محیطی انجام می دهد.ما یک نمونه اولیه از چارچوب خود را شرح می دهیم و امکان سنجی رویکرد پیشنهادی را با استفاده از یک مطالعه موردی در وسایل نقلیه زیر آب بدون سرنشین (UUV) نشان می دهیم.
دسته بندی موضوعات Software Engineering,Formal Languages and Automata Theory,Logic in Computer Science,Systems and Control,مهندسی نرم افزار ، زبانهای رسمی و نظریه اتوماتیک ، منطق در علوم کامپیوتر ، سیستم ها و کنترل ،
توضیحات Submitted 17 January, 2024; originally announced January 2024. , Comments: Pre-print for the SEAMS '24 conference
توضیحات به فارسی ارسال شده 17 ژانویه 2024 ؛در ابتدا ژانویه 2024 اعلام شد. ، نظرات: کنفرانس پیش نمایش برای Seams '24

📚 محتوای این محصول آموزشی (پکیج کامل)

علاوه بر مقاله اصلی انگلیسی که دریافت می کنید، برای یادگیری عمیق‌تر و تسلط کامل بر مباحث مجموعه‌ای از کتاب‌های آموزشی نیز ارائه می‌شود.

🎯 این بسته یک دورهٔ آموزشی کامل و چندلایه است؛ شامل ویدیوهای آموزشی، کتاب‌ها، تمرین‌ها و خودآزمایی.

ℹ️ نکات مهم هنگام خرید

  • این محصول به صورت فایل دانلودی کامل ارائه می‌شود.
  • توجه: لینک‌های اختصاصی دوره طی حداکثر 24 ساعت پس از ثبت سفارش ارسال می‌شوند.
  • دقت کنید لینک ها به شماره موبایل شما ارسال می شوند. پس در ارائه شماره موبایل صحیح دقت کنید.
  • برای راهنمایی در مورد نحوه دانلود به شماره 09395106248 پیامک دهید یا تماس بگیرید. (ایده آل ترین گزینه ارسال پیام در یکی از پیام رسان ها به همین شماره است تا سریعا لینک های محصول همان جا برای شما ارسال گردد.)
  • اگر پرداخت انجام شده ولی بعد از 24 ساعت هنوز لینک‌ها را دریافت نکرده‌اید، نام و نام خانوادگی و نام محصول را پیامک کنید تا لینک‌ها دوباره ارسال شوند.

💬 راه‌های ارتباطی پشتیبانی:
واتس‌اپ یا هر پیام رسان داخلی یا پیامک: 09395106248
تلگرام: @ma_limbs

 

نظرات

هنوز نظری ثبت نشده است.

وارد شوید تا نظر ثبت کنید.