mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
Statistical model checking of Timed Rebeca models
Reykjavik University, Iceland.
Reykjavik University, Iceland.
Reykjavik University, Iceland.
Reykjavik University, Iceland.
Show others and affiliations
2016 (English)In: Computer languages, systems & structures, ISSN 1477-8424, E-ISSN 1873-6866, Vol. 45, 53-79 p.Article in journal (Refereed) Published
Abstract [en]

The actor-based language, Timed Rebeca, was introduced to model distributed and asynchronous systems with timing constraints and message passing communication. A toolset was developed for automated translation of Timed Rebeca models to Erlang. The translated code can be executed using a timed extension of McErlang for model checking and simulation. In this work, we added a new toolset that provides statisticalmodel checking of Timed Rebeca models. Using statistical model checking, we are now able to verify larger models against safety properties compared to McErlang model checking. We examine the typical case studies of elevators and ticket service to show the efficiency of statisticalmodel checking and applicability of our toolset.

Place, publisher, year, edition, pages
2016. Vol. 45, 53-79 p.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-34106DOI: 10.1016/j.cl.2016.01.004ScopusID: 2-s2.0-84961214168OAI: oai:DiVA.org:mdh-34106DiVA: diva2:1056031
Available from: 2016-12-13 Created: 2016-12-13 Last updated: 2016-12-13Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Sirjani, Marjan
In the same journal
Computer languages, systems & structures
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 7 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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