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

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

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 19 روز بعد از پرداخت 184,440 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 10 روز بعد از پرداخت 368,880 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.
منبع

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

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

ترجمه کلمات کلیدی
سیستم همزمان - محدودیتهای زمانبندی - سیستم های توزیع شده - مدل سازی عمل کننده - تحلیل
کلمات کلیدی انگلیسی
Concurrent system; Timing constraints; Distributed systems; Actor modelling; Analysis
پیش نمایش مقاله
پیش نمایش مقاله مدلسازی و شبیه سازی سیستم های بی درنگ موتورهای آسنکرون با استفاده از ربکای زمان بندی

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

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.

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

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

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

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

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

شرح تعرفه ترجمه زمان تحویل جمع هزینه
ترجمه تخصصی - سرعت عادی هر کلمه 12 تومان 19 روز بعد از پرداخت 184,440 تومان
ترجمه تخصصی - سرعت فوری هر کلمه 24 تومان 10 روز بعد از پرداخت 368,880 تومان
پس از پرداخت، فوراً می توانید مقاله را دانلود فرمایید.