Ø. Haugen, S. Klikovits, M. Andersen, J. Beaulieu, F. Bordeleau, J. Denil, J.Mertens: DarTwin made precise by SysML v2 - An Experiment, SAM 2025 - 17th System Analysis and Modelling conference, co-located with MODELS 2025, October 6-7, 2025, Grand Valley State University, Grand Rapids, MI, USA and Virtual. Doi: 10.1109/MODELS-C68889.2025.00051
The new SysML v2 adds mechanisms for the built-in specification of domain-specific concepts and language extensions. This feature promises to facilitate the creation of Domain-Specific Languages (DSLs) and interfacing with existing system descriptions and technical designs. In this paper, we review these features and evaluate SysML v2’s capabilities using concrete use cases. We develop DarTwin DSL, a DSL that formalises the existing DarTwin notation for Digital Twin (DT) evolution, through SysML v2, thereby supposedly enabling the wide application of DarTwin’s evolution templates using any SysML v2 tool. We demonstrate DarTwin DSL, but also point out limitations in the currently available tooling of SysML v2 in terms of graphical notation capabilities. This work contributes to the growing field of Model-Driven Engineering (MDE) for DTs and combines it with the release of SysML v2, thus integrating a systematic approach with DT evolution management in systems engineering.