دانلود مقاله ISI انگلیسی شماره 43096
ترجمه فارسی عنوان مقاله

الگوهای رسمی برای سیستم های بی درنگ توزیع شده چندنرخی

عنوان انگلیسی
Formal patterns for multirate distributed real-time systems
کد مقاله سال انتشار تعداد صفحات مقاله انگلیسی ترجمه فارسی
43096 2014 42 صفحه PDF سفارش دهید
دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله تقریباً شامل 30619 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 39 روز بعد از پرداخت 367,428 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 20 روز بعد از پرداخت 734,856 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

Publisher : Elsevier - Science Direct (الزویر - ساینس دایرکت)

Journal : Science of Computer Programming, Volume 91, Part A, 1 October 2014, Pages 3–44

ترجمه کلمات کلیدی
سیستم های بی درنگ توزیع شده - سیستم های چندنرخی - هماهنگ - چک کردن مدل - منطق بازنویسی
کلمات کلیدی انگلیسی
Distributed real-time systems; Multirate systems; Synchronizers; Model checking; Rewriting logic
پیش نمایش مقاله
پیش نمایش مقاله الگوهای رسمی برای سیستم های بی درنگ توزیع شده چندنرخی

چکیده انگلیسی

Distributed real-time systems (DRTSs), such as avionics and automotive systems, are very hard to design and verify. Besides the difficulties of asynchrony, clock skews, and network delays, an additional source of complexity comes from the multirate nature of many such systems, which must implement several levels of hierarchical control at different rates. In previous work we showed how the design and implementation of a single-rate DRTS which should behave in a virtually synchronous way can be drastically simplified by the PALS model transformation that generates the DRTS from a much simpler synchronous model. In this work we present several simple model transformations and a multirate extension of the PALS pattern which can be combined to reduce the design and verification of a virtually synchronous multirate DRTS to the much simpler task of specifying and verifying a single synchronous system. We illustrate the ideas with a multirate hierarchical control system where a central controller orchestrates control systems in the ailerons and tail of an airplane to perform turning maneuvers.

دانلود فوری مقاله + سفارش ترجمه

نسخه انگلیسی مقاله همین الان قابل دانلود است.

هزینه ترجمه مقاله بر اساس تعداد کلمات مقاله انگلیسی محاسبه می شود.

این مقاله شامل 30619 کلمه می باشد.

هزینه ترجمه مقاله توسط مترجمان با تجربه، طبق جدول زیر محاسبه می شود:

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 39 روز بعد از پرداخت 367,428 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 20 روز بعد از پرداخت 734,856 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.