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
An Actor-based Design Platform for System of Systems
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Mälardalen University, School of Innovation, Design and Engineering, Embedded Systems.
Reykjavik University, Iceland.
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-4756-7285
Show others and affiliations
2019 (English)In: COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 2019Conference paper, Published paper (Refereed)
Abstract [en]

In this paper we present AdaptiveFlow as a platform for designing system of systems. A model-based development approach is proposed and tools are provided for formal verification and performance evaluation. The actor-based language, Timed Rebeca, is used for modelling, and the model checking tool Afra is used for checking the safety properties and also for performance evaluation. We investigate the efficiency of our approach and the applicability of the developed platform by conducting experiments on a case study based on the Electric Site Research Project of Volvo Construction Equipment. In this project, a fleet of autonomous haulers is utilised to transport materials in a quarry site. We used three adaptive policies as plugins to our platform and examined these policies in different scenarios.

Place, publisher, year, edition, pages
2019.
Keywords [en]
System-of-systems, Actor model, Track-basedflow management, Model checking, Performance evaluation
National Category
Engineering and Technology Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-45141DOI: 10.1109/COMPSAC.2019.00089ISBN: 978-1-7281-2607-4 (print)OAI: oai:DiVA.org:mdh-45141DiVA, id: diva2:1348804
Conference
COMPSAC 2019: Data Driven Intelligence for a Smarter World COMPSAC 2019, 15 Jul 2019, Milwaukee, Wisconsin, United States
Projects
ITS-EASY Post Graduate School for Embedded Software and SystemsAvailable from: 2019-09-05 Created: 2019-09-05 Last updated: 2019-09-05Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Sirjani, MarjanForcina, GiorgioBaumgart, StephanSedaghatbaf, Ali

Search in DiVA

By author/editor
Sirjani, MarjanForcina, GiorgioBaumgart, StephanSedaghatbaf, Ali
By organisation
Embedded SystemsSchool of Innovation, Design and Engineering
Engineering and TechnologyComputer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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