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

مدلسازی و شبیه سازی سیستم های بی درنگ موتورهای آسنکرون با استفاده از ربکای زمان بندی

کد مقاله سال انتشار مقاله انگلیسی ترجمه فارسی تعداد کلمات
43109 2014 28 صفحه PDF سفارش دهید محاسبه نشده
خرید مقاله
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
عنوان انگلیسی
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
منبع

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

Journal : Science of Computer Programming, Volume 89, Part A, 1 September 2014, Pages 41–68

کلمات کلیدی
سیستم همزمان - محدودیتهای زمانبندی - سیستم های توزیع شده - مدل سازی عمل کننده - تحلیل
پیش نمایش مقاله
پیش نمایش مقاله مدلسازی و شبیه سازی سیستم های بی درنگ موتورهای آسنکرون با استفاده از ربکای زمان بندی

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

In this paper we propose Timed Rebeca as an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. Timed Rebeca restricts the modeller to a pure asynchronous actor-based paradigm, where the structure of the model represents the service oriented architecture, while the computational model matches the network infrastructure. The modeller can specify both computational and network delay, and assign deadlines for serving a request. We provide the formal semantics of the language using Structural Operational Semantics, and show its expressiveness by means of examples. We developed a tool for automated translation from Timed Rebeca to the Erlang language, which provides a first implementation of Timed Rebeca. We can use the tool to set the parameters of Timed Rebeca models, which represent the environment and component variables, and use McErlang to run multiple simulations for different settings. The results of the simulations can then be employed to select the most appropriate values for the parameters in the model. Simulation is shown to be an effective analysis support, specially where model checking faces almost immediate state explosion in an asynchronous setting.

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