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

doi:10.1109/SOSE52739.2021.9497495

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 proceeding › Article in proceeding › Research › peer-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 language	English
Title of host publication	2021 16th International System of Systems Engineering Conference, SoSE 2021
Number of pages	7
Publisher	IEEE (Institute of Electrical and Electronics Engineers)
Publication date	14 Jun 2021
Pages	88-94
Article number	9497495
ISBN (Print)	978-1-6654-4455-2
ISBN (Electronic)	978-1-6654-4454-5
DOIs	https://doi.org/10.1109/SOSE52739.2021.9497495
Publication status	Published - 14 Jun 2021
Event	16th International System of Systems Engineering Conference, SoSE 2021 - Virtual, Vasteras, Sweden Duration: 14 Jun 2021 → 18 Jun 2021

Conference

Conference	16th International System of Systems Engineering Conference, SoSE 2021
Country/Territory	Sweden
City	Virtual, Vasteras
Period	14/06/2021 → 18/06/2021

Series	2021 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

Access to Document

10.1109/SOSE52739.2021.9497495

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Harbo, S. K. R., Kristensen, M. K., Voldby, E. P., Andersen, S. V., Petersen, F. C., & Albano, M. (2021). Communication Oriented Modeling of Evolving Systems of Systems. In 2021 16th International System of Systems Engineering Conference, SoSE 2021 (pp. 88-94). Article 9497495 IEEE (Institute of Electrical and Electronics Engineers). https://doi.org/10.1109/SOSE52739.2021.9497495

Harbo, Sean Kristian Remond ; Kristensen, Mathias Knosgaard ; Voldby, Emil Palmelund et al. / Communication Oriented Modeling of Evolving Systems of Systems. 2021 16th International System of Systems Engineering Conference, SoSE 2021. IEEE (Institute of Electrical and Electronics Engineers), 2021. pp. 88-94 (2021 16th International System of Systems Engineering Conference, SoSE 2021).

@inproceedings{758f6b98011843ecad407da0e52a7f29,

title = "Communication Oriented Modeling of Evolving Systems of Systems",

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.",

keywords = "Modeling framework, OpenAPI-Generator, Papyrus, SoS design, SoS evolution, Uppaal",

author = "Harbo, {Sean Kristian Remond} and Kristensen, {Mathias Knosgaard} and Voldby, {Emil Palmelund} and Andersen, {Simon Vinberg} and Petersen, {Felix Cho} and Michele Albano",

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: {\textcopyright} 2021 IEEE.; 16th International System of Systems Engineering Conference, SoSE 2021 ; Conference date: 14-06-2021 Through 18-06-2021",

year = "2021",

month = jun,

day = "14",

doi = "10.1109/SOSE52739.2021.9497495",

language = "English",

isbn = "978-1-6654-4455-2",

series = "2021 16th International System of Systems Engineering Conference, SoSE 2021",

pages = "88--94",

booktitle = "2021 16th International System of Systems Engineering Conference, SoSE 2021",

publisher = "IEEE (Institute of Electrical and Electronics Engineers)",

address = "United States",

}

Harbo, SKR, Kristensen, MK, Voldby, EP, Andersen, SV, Petersen, FC & Albano, M 2021, Communication Oriented Modeling of Evolving Systems of Systems. in 2021 16th International System of Systems Engineering Conference, SoSE 2021., 9497495, IEEE (Institute of Electrical and Electronics Engineers), 2021 16th International System of Systems Engineering Conference, SoSE 2021, pp. 88-94, 16th International System of Systems Engineering Conference, SoSE 2021, Virtual, Vasteras, Sweden, 14/06/2021. https://doi.org/10.1109/SOSE52739.2021.9497495

Communication Oriented Modeling of Evolving Systems of Systems. / Harbo, Sean Kristian Remond; Kristensen, Mathias Knosgaard; Voldby, Emil Palmelund et al.
2021 16th International System of Systems Engineering Conference, SoSE 2021. IEEE (Institute of Electrical and Electronics Engineers), 2021. p. 88-94 9497495 (2021 16th International System of Systems Engineering Conference, SoSE 2021).

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review

TY - GEN

T1 - Communication Oriented Modeling of Evolving Systems of Systems

AU - Harbo, Sean Kristian Remond

AU - Kristensen, Mathias Knosgaard

AU - Voldby, Emil Palmelund

AU - Andersen, Simon Vinberg

AU - Petersen, Felix Cho

AU - Albano, Michele

N1 - 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.

PY - 2021/6/14

Y1 - 2021/6/14

N2 - 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.

AB - 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.

KW - Modeling framework

KW - OpenAPI-Generator

KW - Papyrus

KW - SoS design

KW - SoS evolution

KW - Uppaal

UR - http://www.scopus.com/inward/record.url?scp=85112463802&partnerID=8YFLogxK

U2 - 10.1109/SOSE52739.2021.9497495

DO - 10.1109/SOSE52739.2021.9497495

M3 - Article in proceeding

AN - SCOPUS:85112463802

SN - 978-1-6654-4455-2

T3 - 2021 16th International System of Systems Engineering Conference, SoSE 2021

SP - 88

EP - 94

BT - 2021 16th International System of Systems Engineering Conference, SoSE 2021

PB - IEEE (Institute of Electrical and Electronics Engineers)

T2 - 16th International System of Systems Engineering Conference, SoSE 2021

Y2 - 14 June 2021 through 18 June 2021

ER -

Harbo SKR, Kristensen MK, Voldby EP, Andersen SV, Petersen FC, Albano M. Communication Oriented Modeling of Evolving Systems of Systems. In 2021 16th International System of Systems Engineering Conference, SoSE 2021. IEEE (Institute of Electrical and Electronics Engineers). 2021. p. 88-94. 9497495. (2021 16th International System of Systems Engineering Conference, SoSE 2021). doi: 10.1109/SOSE52739.2021.9497495

Communication Oriented Modeling of Evolving Systems of Systems

Abstract

Conference

Bibliographical note

Keywords

Access to Document

AUB Link

Other files and links

Fingerprint

Cite this