Conference article

Traceability in the Model-based Design of Cyber-Physical Systems

Christian König
TWT GmbH Science & Innovation, Stuttgart, Germany

Alachew Mengist
Department of Computer and Information Science, Linköping University, Sweden

Carl Gamble
School of Computing, Newcastle University, Newcastle upon Tyne, United Kingdom

Jos Höll
TWT GmbH Science & Innovation, Stuttgart, Germany

Kenneth Lausdahl
Department of Engineering - Aarhus University, Finlandsgade 22, Aarhus N, Denmark

Tom Bokhove
Controllab Products, Enschede, The Netherlands

Etienne Brosse
Softeam Research & Development Division, Paris, France

Oliver Möller
Verified Systems International Bremen, Germany

Adrian Pop
Department of Computer and Information Science, Linköping University, Sweden

Download articlehttps://doi.org/10.3384/ecp20169168

Published in: Proceedings of the American Modelica Conference 2020, Boulder, Colorado, USA, March 23-25, 2020

Linköping Electronic Conference Proceedings 169:18, s. 168-178

Show more +

Published: 2020-11-03

ISBN: 978-91-7929-900-2

ISSN: 1650-3686 (print), 1650-3740 (online)

Abstract

Design, development, and analysis of complex Cyber Physical Systems (CPSs) using models involves a collaboration of expertise from different engineering domains. Heterogeneous artefacts are generated, often using different lifecycle modeling languages and simulation tools. Capturing the traceability information among these artefacts can be used to support several activities such as requirements tracing, impact analysis of change requests, verification, validation, and documentation. However, creating trace links among these heterogeneous artefacts is challenging as different tools in the development lifecycle are usually disparate and there is no precise semantic in the terminology used between requirement engineers, verification engineers, and system modelers. In this paper, we present a linked data-based approach to capture traceability information and create trace links that relate heterogeneous artefacts in the model-based design process of CPSs through a standardized interface and format using OSLC. This enables artefacts from different tools to be connected and queried through a standardized interface and format. A practical prototype system for supporting traceability is designed through integration with the INTO-CPS toolchain of CPS design. The traceability data is stored in Neo4j graph database which can be queried for generating various reports such as impact analysis, variant handling, etc.

Keywords

Traceability, Trace links, Linked data, Tool integration, OSLC, Open Service for Lifecycle Collaboration, Model Based Design, Cyber-Physical-Systems

References

No references available

Citations in Crossref