[HTML][HTML] Modelling and simulation of asynchronous real-time systems using Timed Rebeca
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 …
be used to model distributed and asynchronous systems with timing constraints. Timed …
Ten years of analyzing actors: Rebeca experience
M Sirjani, MM Jaghoori - … Biological Systems: Essays Dedicated to Carolyn …, 2011 - Springer
In this paper, we provide a survey of the different analysis techniques that are provided for
the modeling language Rebeca. Rebeca is designed as an imperative actor-based …
the modeling language Rebeca. Rebeca is designed as an imperative actor-based …
On time actors
M Sirjani, E Khamespanah - Theory and Practice of Formal Methods …, 2016 - Springer
Actor model is a concurrent object-based computational model in which actors are the units
of concurrency and communicate via asynchronous message passing. Timed Rebeca is an …
of concurrency and communicate via asynchronous message passing. Timed Rebeca is an …
[HTML][HTML] An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models
NP-hard time complexity of model checking algorithms for TCTL properties in dense time is
one of the obstacles against using model checking for the analysis of real-time systems …
one of the obstacles against using model checking for the analysis of real-time systems …
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking
Programmers often use informal worst-case analysis and debugging to ensure that
schedulers satisfy real-time requirements. Not only can this process be tedious and error …
schedulers satisfy real-time requirements. Not only can this process be tedious and error …
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
E Khamespanah, Z Sabahi Kaviani… - Proceedings of the 2nd …, 2012 - dl.acm.org
" Timed-Rebeca" is an actor-based modeling language for modeling real-time reactive
systems. Its high-level constructs make it more suitable for using it by software practitioners …
systems. Its high-level constructs make it more suitable for using it by software practitioners …
Schedulability analysis of distributed real-time sensor network applications using actor-based model checking
Programmers often use informal worst-case analysis and debugging to ensure schedules
that satisfy real-time requirements. Not only can this process be tedious and error-prone, it is …
that satisfy real-time requirements. Not only can this process be tedious and error-prone, it is …
Formal semantics and analysis of timed rebeca in real-time maude
The actor model is one of the main models for distributed computation. Timed Rebeca is a
timed extension of the actor-based modeling language Rebeca. Although Rebeca is …
timed extension of the actor-based modeling language Rebeca. Although Rebeca is …
Lightweight time modeling in Timed Creol
J Bjørk, EB Johnsen, O Owe, R Schlatte - arXiv preprint arXiv:1009.4262, 2010 - arxiv.org
Creol is an object-oriented modeling language in which inherently concurrent objects
exchange asynchronous method calls. The operational semantics of Creol is written in an …
exchange asynchronous method calls. The operational semantics of Creol is written in an …
Credo methodology: Modeling and analyzing a peer-to-peer system in credo
Credo offers tools and techniques to model and analyze highly reconfigurable distributed
systems. In this paper, we present an integrated methodology to use the Credo tool suite. In …
systems. In this paper, we present an integrated methodology to use the Credo tool suite. In …