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

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

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

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

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

کلمات کلیدی
سیستم های بی درنگ توزیع شده - سیستم های چندنرخی - هماهنگ - چک کردن مدل - منطق بازنویسی
پیش نمایش مقاله
پیش نمایش مقاله الگوهای رسمی برای سیستم های بی درنگ توزیع شده چندنرخی

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

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.

خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.