Shortly after Ed Seidewitz introduced SysML version 2 in his keynote at the 2nd MBSE Summit in Traunkirchen, the beta specifications were approved by the Object Management Group (OMG) on 10 July and explained in a press release. The specifications enable next-generation system modelling with improved precision, expressiveness, consistency, usability, interoperability and extensibility. The SysML v2 Submission Team, co-led by Sandy Friedenthal and Ed Seidewitz, included representatives from more than 80 organisations. 

SysML v2 provides complementary textual and graphical representations of the underlying model, enabling a better understanding of systems. A standard API and a set of services for navigating, querying and updating the model enable interoperability with other tools and software applications throughout the system development lifecycle. The OMG expects final adoption of the three specifications in 2024. The OMG specifications address middleware, modelling and vertical domain frameworks. 

The SysML v2 beta includes: 

  • The Kernel Modeling Language (KerML) version 1.0 beta specification.
  • The specification of the Systems Modeling Language (SysML) version 2.0 beta and
  • The Systems Modeling Application Programming Interface (API) and Services specification version 1.0 beta 

“SysML v2 enables the modelling of increasingly complex systems as part of the evolving practice of model-based systems engineering,” Friedenthal said. 

SysML v2 extends KerML to include concepts for modelling systems with deeply nested hierarchies of structure, behaviour, requirements and overarching relationships. It also allows developers to specify analysis and verification cases. “KerML defines a new meta-model that forms the basis for SysML v2,” says Seidewitz. “Its formal semantics, specified as first-order logic, with 4D semantics of temporal and spatial extension, provides a new level of expressiveness and precision.”

Ed Seidewitz
Ed Seidewitz during his presentation of SysML v2 at the MBSE Summit 2023 in Traunkirchen.