The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS

Tiziana Margaria, Hafiz Ahmad Awais Chaudhary, Ivan Guevara, Stephen Ryan, Alexander Schieweck

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

With the heterogeneity of the industry 4.0 world, and more generally of the Cyberphysical Systems realm, the quest towards a platform approach to solve the interoperability problem is front and centre to any system and system-of-systems project. Traditional approaches cover individual aspects, like data exchange formats and published interfaces. They may adhere to some standard, however they hardly cover the production of the integration layer, which is implemented as bespoke glue code that is hard to produce and even harder to maintain. Therefore, the traditional integration approach often leads to poor code quality, further increasing the time and cost and reducing the agility, and a high reliance on the individual development skills. We are instead tackling the interoperability challenge by building a model driven/low-code Digital Thread platform that 1) systematizes the integration methodology, 2) provides methods and techniques for the individual integrations based on a layered Domain Specific Languages (DSL) approach, 3) through the DSLs it covers the integration space domain by domain, technology by technology, and is thus highly generalizable and reusable, 4) showcases a first collection of examples from the domains of robotics, IoT, data analytics, AI/ML and web applications, 5) brings cohesiveness to the aforementioned heterogeneous platform, and 6) is easier to understand and maintain, even by not specialized programmers. We showcase the power, versatility and the potential of the Digital Thread platform on four interoperability case studies: the generic extension to REST services, to robotics through the UR family of robots, to the integration of various external databases (for data integration) and to the provision of data analytics capabilities in R.

Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation - 10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021, Proceedings
EditorsTiziana Margaria, Tiziana Margaria, Bernhard Steffen
PublisherSpringer Science and Business Media Deutschland GmbH
Pages393-413
Number of pages21
ISBN (Print)9783030891589
DOIs
Publication statusPublished - 2021
Event10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021 - Rhodes, Greece
Duration: 17 Oct 202129 Oct 2021

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume13036 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference10th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2021
Country/TerritoryGreece
CityRhodes
Period17/10/2129/10/21

Keywords

  • Digital Thread (DT)
  • Interoperability
  • Low Code Development (LCD)
  • Model Driven Development (MDD)
  • Software platforms

Fingerprint

Dive into the research topics of 'The Interoperability Challenge: Building a Model-Driven Digital Thread Platform for CPS'. Together they form a unique fingerprint.

Cite this