Publication
Title
Towards continuous verification and validation of multi-domain system designs
Author
Abstract
The design and development of cyber-physical systems (CPS) inherently involves multiple engineering domains. As these systems become more complex, the different domains involved in their design become intertwined. In such situations, insufficient knowledge can lead to costly inconsistency and integration problems. In previous work, we proposed the use of a cross-domain knowledge model (CDKM) to capture these dependencies to support the architectural and detailed design stages of the development process. In this paper, we present early-stage research aiming to extend this approach to also support the verification and validation (V&V) stages, with the goal of enabling continuous V & V. To this end, we propose a megamodeling approach to provide traceability between different models, using the CDKM to provide a system-level overview of the CPS under development.
Language
English
Source (book)
2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 1-6 October, 2023, Västerås, Sweden
Publication
IEEE , 2023
ISBN
979-83-503-2498-3
DOI
10.1109/MODELS-C59198.2023.00086
Volume/pages
p. 495-499
Full text (Publisher's DOI)
Full text (publisher's version - intranet only)
UAntwerpen
Faculty/Department
Research group
Publication type
Subject
Affiliation
Publications with a UAntwerp address
External links
Record
Identifier
Creation 08.01.2024
Last edited 11.01.2024
To cite this reference