https://www.mdu.se/

mdu.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
Using Afra in Different Domains by Tool Orchestration
University of Tehran, Iran.
Mälardalen University.
Mälardalen University, School of Innovation, Design and Engineering, Innovation and Product Realisation.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
2021 (English)In: Composing Model-Based Analysis Tools / [ed] Robert Heinrich; Francisco Durán; Carolyn Talcott; Steffen Zschaler, Springer, Cham , 2021, 1, p. 283-299Chapter in book (Other academic)
Abstract [en]

The formal modelling and verification of distributed systems represents a complex process in which multiple tools are involved. Rebeca is a language which is developed to make modelling and verification of distributed systems with asynchronous message passing easier. This chapter shows how different tool orchestration methods are used for developing different verification engines for Rebeca models. As the first step, the way of enabling performance evaluation for Rebeca models is shown. To this end, state spaces which are generated for Rebeca models are transformed to the input of a third party tool and the result of the verification is given to the modeller. The second one is developing a search-based optimisation for wireless sensors and actuators applications. Running the model checker in a loop with different input parameters helps in finding the optimum values for parameters with respect to a given optimisation goal. The third one is for safety verification and performance evaluation of collaborative autonomous machines of Volvo car. The verification is done through developing and evaluating models by the model checking tool and Volvo car simulator (VCE Simulator).

Place, publisher, year, edition, pages
Springer, Cham , 2021, 1. p. 283-299
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-61194DOI: 10.1007/978-3-030-81915-6_13ISBN: 978-3-030-81914-9 (print)ISBN: 978-3-030-81917-0 (print)ISBN: 978-3-030-81915-6 (electronic)OAI: oai:DiVA.org:mdh-61194DiVA, id: diva2:1717953
Projects
MDU Volvo Group Arena (VGA)Available from: 2022-12-11 Created: 2022-12-11 Last updated: 2022-12-12Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records

Fattouh, AnasSirjani, Marjan

Search in DiVA

By author/editor
Fattouh, AnasSirjani, Marjan
By organisation
Mälardalen UniversityInnovation and Product RealisationEmbedded Systems
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 102 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