ترکیب و تحلیل الگومحور برای سیستم‌های توزیع‌شده زمان واقعی همگام‌شده مجازی
Pattern-based Composition and Analysis of Virtually Synchronized
Real-Time Distributed Systems
Abdullah Al-Nayeem, Lui Sha
Darren D. Cofer, Steven P. Miller
کلمات کلیدی
الگوهای طراحی، همگام‌سازی مجازی، کاهش پیچیدگی
سال انتشار مقاله: 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
DOI 10.1109/ICCPS.2012.15
چکیده
به طور کلی طراحی و بازبینی پروتکل‌های توزیع‌شده در یک سیستم چند نرخی ناهمگام، زمانی که محاسبات توزیع‌شده به دیدهای ورودی سازگار، کنش‌های سازگار و تغییر حالت‌های همگام‌شده نیاز دارد، به شدت دشوار است. در این مقاله؛ ما این مشکل را مورد بحث قرار داده و یک الگوی معماری رسمی، و کاهش‌دهنده پیچیدگی، به نام سیستم "PALS چند نرخی" را، برای پشتیبانی از همگام‌سازی مجازی در محاسبات توزیع‌شده چند نرخی، معرفی می‌نماییم. این الگو از یک مؤلفه پشتیبانی می‌کند تا به صورت مجازی با سایر مؤلفه‌ها در نمونه‌های مختلف این الگو همگام شود. ما کاربردی از یک سیستم کنترل سلسله مراتبی را ارائه می‌نماییم تا نشان دهیم که ترکیب این نمونه‌ها برای دست‌یابی به خصوصیات سطح سیستم مانند سازگاری توزیع‌شده و هماهنگی توزیع‌شده، قابل استفاده است. ما تضمین همگامی منطقی این الگو که تا زمانی که فرضیات الگو برآورده می‌شود، برقرار است را اثبات می‌کنیم. همچنین درباره تحلیل درستی لازم برای ارزیابی این فرضیات، بحث کرده و پشتیبانی ابزاری برای انجام این تحلیل به صورت خودکار روی مدل‌های AADL فراهم می‌کنیم.
Abstract
Designing and verifying distributed protocols in a multi-rate asynchronous system is, in general, extremely difficult when the distributed computations require consistent input views, consistent actions and synchronized state transitions. In this paper, we address this problem and introduce a formal, complexity-reducing architectural pattern, called Multi-rate PALS system, to support virtual synchronization in multi-rate distributed computations. The pattern supports a component to be virtually synchronized with other components in different instantiations of this pattern. We present an application of a hierarchical control system to show that the composition of these instantiations can be used to achieve desired systemlevel properties, such as distributed consistency and distributed coordination. We verify the logical synchronization guarantee of this pattern, which holds as long as the pattern assumptions are satisfied. We also discuss the correctness analysis necessary to validate these assumptions and provide a tool support to perform this analysis automatically on the AADL models.
Keywords: Design patterns; virtual synchronization; complexity reduction
نمونه داکیومنت را می توانید در تصویر زیر مشاهده نمایید:
آنچه تحویل داده می شود:
- فایل ورد Microsoft Word .docx ترجمه به فارسی
- فایل PDF مقاله اصلی به زبان انگلیسی
تعداد صفحات فایل ورد مقاله ترجمه شده (فارسی): 20 صفحه
تعداد صفحات مقاله اصلی زبان انگلیسی: 10صفحه
مناسب برای دانشجویان کارشناسی و ارشد کامپیوتر (مهندسی نرم افزار و معماری کامپیوتر، هوش مصنوعی) و دانشجویان IT بالاخص دانشجویان نرم افزار و هوش مصنوعی
می توان به عنوان پروژه دروس کارشناسی ارشد یا کارشناسی این پروژه را تحویل داد، دروسی مانند سیستم خبره، داده کاوی، مهندسی نرم افزار پیشرفته، مباحث پیشرفته در مهندسی نرم افزار، یادگیری ماشین،Machine Learning ، Data Mining، تئوری بازی ها، پردازش ابری، محاسبات توزیع شده، سیستم عامل پیشرفته، محاسبات موازی، پردازش توزیع شده، پردازش موازی
پس از خرید از درگاه امن بانکی، لینک دانلود در اختیار شما قرار میگیرد و همچنین به آدرس ایمیل شما فرستاده می شود.
تماس با ما برای راهنمایی، درخواست مقالات و پایان نامه ها و یا ترجمه و یا انجام پروژه های برنامه نویسی و حل تمرینات با آدرس ایمیل:
ebarkat.shop@yahoo.com
یا شناسه تلگرام (آی دی تلگرام ما): @ebarkat
توجه: اگر کارت بانکی شما رمز دوم ندارد و یا در خرید الکترونیکی به مشکل برخورد کردید و یا به هر دلیلی تمایل به پرداخت الکترونیکی ندارید با ما تماس بگیرید تا راههای دیگری برای پرداخت به شما پیشنهاد کنیم.
از پایین همین صفحه (بخش پرداخت و دانلود) می توانید این پروژه را خریداری و دانلود نمایید.
دانلود ترجمه فارسی مقاله 2012 ترکیب و تحلیل الگومحور برای سیستم‌های توزیع‌شده زمان واقعی همگام‌شده مجازی
