Communication Oriented Modeling of Evolving Systems of Systems

Sean Kristian Remond Harbo, Mathias Knosgaard Kristensen, Emil Palmelund Voldby, Simon Vinberg Andersen, Felix Cho Petersen, Michele Albano

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

3 Citations (Scopus)

Abstract

Systems of Systems (SoSs) are composed of systems characterized by operational and managerial independence, but that can perform tasks together that they could not do by themselves. Given their potential complexity, modeling and testing such systems can be a daunting task, which is repeated when any system is evolved into a new one, especially when SoSs pertain to different owners. We propose a framework for modeling SoSs using only observable communication properties and dataflow. In this paper, we propose a framework that supports SoS design and discuss how it can support the creation of complex use cases pertaining to multiple owners. We implemented a proof-of-concept for the framework that focuses on REST-based communication and combines design using the model-based engineering tool Papyrus, and verification of communication properties using the Uppaal model checker. We showcase our approach by designing a Bluetooth-driven tracker system, which uses smart devices' Bluetooth-IDs to analyze patterns in the stores that people visit.

Original languageEnglish
Title of host publication2021 16th International System of Systems Engineering Conference, SoSE 2021
Number of pages7
PublisherIEEE
Publication date14 Jun 2021
Pages88-94
Article number9497495
ISBN (Print)978-1-6654-4455-2
ISBN (Electronic)978-1-6654-4454-5
DOIs
Publication statusPublished - 14 Jun 2021
Event16th International System of Systems Engineering Conference, SoSE 2021 - Virtual, Vasteras, Sweden
Duration: 14 Jun 202118 Jun 2021

Conference

Conference16th International System of Systems Engineering Conference, SoSE 2021
Country/TerritorySweden
CityVirtual, Vasteras
Period14/06/202118/06/2021
Series2021 16th International System of Systems Engineering Conference, SoSE 2021

Bibliographical note

Funding Information:
The research presented in this paper was supported in part by the DiCyPS (Center for Data-Intensive Cyber-Physical Systems) project of the Innovation Fund Denmark.

Publisher Copyright:
© 2021 IEEE.

Keywords

  • Modeling framework
  • OpenAPI-Generator
  • Papyrus
  • SoS design
  • SoS evolution
  • Uppaal

Fingerprint

Dive into the research topics of 'Communication Oriented Modeling of Evolving Systems of Systems'. Together they form a unique fingerprint.

Cite this