Towards an operational semantics for digital twins models based on SysML v2 and intelligent assistants for formal verification and validation

The first objective of this thesis is to propose a SysMLV2 method for modeling digital twins. Digital twins models built thanks to the methodology will conform to the standard and support verification and validation through simulation and formal verification. To make this possible, the operational semantics of SysML v2 will be defined.