mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Reactive Actors: Isolation for Efficient Analysis of Distributed Systems
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems. Reykjavik University, School of Computer Science, Reykjavik, Iceland.
Reykjavik University, School of Computer Science, Reykjavik, Iceland.
University of Tehran, School of ECE, Tehran, Iran.
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.8958682Scopus 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
Available from: 2020-02-20 Created: 2020-02-20 Last updated: 2020-02-20Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Sirjani, Marjan

Search in DiVA

By author/editor
Sirjani, Marjan
By organisation
Embedded Systems
Health Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 2 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf