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
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.