Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

To appear in EPTCS. Modelling and Simulation of Asynchronous Real-Time

Summary: To appear in EPTCS.
Modelling and Simulation of Asynchronous Real-Time
Systems using Timed Rebeca
Luca Aceto1 Matteo Cimini1 Anna Ingolfsdottir1
Arni Hermann Reynisson1 Steinar Hugi Sigurdarson1
Marjan Sirjani1,2
1Reykjavik University, Iceland 2University of Tehran, Iran
In this paper we propose an extension of the Rebeca language that can be used to model
distributed and asynchronous systems with timing constraints. We provide the formal
semantics of the language using Structural Operational Semantics, and show its expressive-
ness 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. 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. Simulation is shown
to be an effective analysis support, specially where model checking faces almost immediate
state explosion in an asynchronous setting.
1 Introduction


Source: Aceto, Luca - School of Computer Science, Reykjavík University


Collections: Mathematics; Computer Technologies and Information Sciences