Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca

Luca Aceto
(Reykjavik University, Iceland)
Matteo Cimini
(Reykjavik University, Iceland)
Anna Ingolfsdottir
(Reykjavik University, Iceland)
Arni Hermann Reynisson
(Reykjavik University, Iceland)
Steinar Hugi Sigurdarson
(Reykjavik University, Iceland)
Marjan Sirjani
(Reykjavik University, Iceland)

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

In Mohammad Reza Mousavi and Antonio Ravara: Proceedings 10th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2011), Aachen, Germany, 10th September, 2011, Electronic Proceedings in Theoretical Computer Science 58, pp. 1–19.
Published: 29th July 2011.

ArXived at: https://dx.doi.org/10.4204/EPTCS.58.1 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org