An Actor-based Design Platform for System of SystemsShow 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.00089ISI: 000538791700078Scopus ID: 2-s2.0-85072692497ISBN: 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 Systems2019-09-052019-09-052020-09-18Bibliographically approved