Details

Autor(en) / Beteiligte

• Vanommeslaeghe, Yon
• Van Acker, Bert
• Cornelis, Milan
• De Meulenaere, Paul

Titel

Towards Continuous Verification and Validation of Multi-Domain System Designs

Ist Teil von

• 2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), 2023, p.495-499

Ort / Verlag

IEEE

Erscheinungsjahr

2023

Link zum Volltext

Quelle

IEEE Xplore

Beschreibungen/Notizen

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