Reactive Actors: Isolation for Efficient Analysis of Distributed Systems
2019 (English)In: Proceedings - 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019, Institute of Electrical and Electronics Engineers Inc. , 2019Conference paper, Published paper (Refereed)
Abstract [en]
In this paper we explain how the isolation or decoupling of actors can help in developing efficient analysis techniques. The Reactive Object Language, Rebeca, and its timed extension are introduced as actor-based languages for modeling and analyzing distributed systems. We show how floating-time transition system can be used for model checking of timed actor models when we are interested in event-based properties, and how it helps in state space reduction. We explain how the model of computation of actors helps in devising an efficient state distribution policy in distributed model checking. We show how we use Rebeca to verify the routing algorithms of mobile adhoc networks. The paper is written in a way to make the ideas behind each technique clear such that it can be reused in similar domains.
Place, publisher, year, edition, pages
Institute of Electrical and Electronics Engineers Inc. , 2019.
Keywords [en]
Actors, distributed systems, model checking, real-time systems, Distributed computer systems, Interactive computer systems, Mobile ad hoc networks, Modeling languages, Distributed model checking, Efficient analysis, Model of computation, State distributions, State-space reduction, Time transition, Real time systems
National Category
Health Sciences
Identifiers
URN: urn:nbn:se:mdh:diva-47116DOI: 10.1109/DS-RT47707.2019.8958682ISI: 000532498300024Scopus ID: 2-s2.0-85079056870ISBN: 9781728129235 (print)OAI: oai:DiVA.org:mdh-47116DiVA, id: diva2:1395039
Conference
23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, DS-RT 2019, 8 October 2019 through 9 October 2019
2020-02-202020-02-202020-10-13Bibliographically approved