|
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
|
|
|
ISI
|
|
|
|
001137051500069
|
|
|
Full text (Publisher's DOI)
|
|
|
|
|
|
|
Full text (open access)
|
|
|
|
|
|
|
Full text (publisher's version - intranet only)
|
|
|
|
|
|