MBSE Summit 2025: Keynote und Breakout Session zu SysMLv2

Beim auch heuer wieder ausgebuchten MBSE Summit in Traunkrichen war SysMLv2 ein breit diskutiertes Thema, das sowohl in der Keynote von Sandy Friedenthal als auch in der Breakout Session von Vince Molnar behandelt wurde. In der Keynote konzentrierte sich Sandy Friedenthal auf die Verbesserung der objektorientierten Systemtechnikmethode (OOSEM) durch SysMLv2. OOSEM nutzt SysML als Modellierungssprache, um eine MBSE-Methode zur Spezifizierung, Architektur, Analyse und Verifizierung von Systemen bereitzustellen. Die Methode wendet einen szenariobasierten Dekompositionsansatz in Verbindung mit dem Prinzip der Trennung von Belangen an, um das Systemmodell zu entwickeln. SysMLv2 ermöglicht regelmäßige und präzise Zerlegungs- und Spezialisierungsmuster, die für die Modellierung von Anforderungen, Struktur, Verhalten, Analyse und Verifizierung gelten. So lassen sich wiederverwendbare Elemente leicht an ihren Kontext anpassen, und es kann das Verhalten besser definiert werden, was bisher sehr schwierig war. Zusätzlich erweitert sich die Ausdruckskraft, z. B. durch Variantenmodellierung, Analysefälle und viele andere Sprachkonstrukte. Diese Sprachverbesserungen führen zu einer effizienteren Modellierung, die sich für die Automatisierung und eine verbesserte Rückverfolgbarkeit im gesamten Systemmodell eignet.

In der Breakout Session unternahm Vince Molnar mit den Teilnehmern eine SWOT-Analyse (Stärken und Schwächen der SysMLv2) der SysMLv2, und sammelte dabei auch die Wünsche und Erwartungen an die neue Sprache ein. Die Ergebnisse der Diskussionen werden im MBSE Summit Report 2025 zusammengefasst.

Mehrtägige Vertiefung in SysMLv2

LieberLieber nutzte die Expertise von Vince Molnar Anfang Juli für einen mehrtägigen Workshop zu den verschiedenen Aspekten der SysMLv2. Es ging dabei nicht nur um die Sprache selbst, sondern auch um den Aufbau des Metamodells, die Funktion des Austauschformats etc.

SysMLv2 basiert auf der neuen Sprache KerML (Kernel Modelling Language), die auch im Zuge der Standardisierung eingeführt wird. KerML umfasst dabei Konzepte zur Modellierung von Systemen mit tief verschachtelten Hierarchien von Struktur, Verhalten, Anforderungen und übergreifenden Beziehungen. Es ermöglicht Entwicklern auch, Analyse- und Verifikationsfälle zu spezifizieren. Damit definiert KerML ein neues Metamodell, das die Grundlage für SysMLv2 bildet. Die darin als Logik erster Ordnung spezifizierte formale Semantik mit einer 4D-Semantik der zeitlichen und räumlichen Ausdehnung bietet ein neues Maß an Ausdrucksfähigkeit und Präzision. Dazu Philipp Kalenda von LieberLieber: „Während des Workshops wurde für uns klar, dass wir uns mit dieser neuen Modellierungssprache eingehender beschäftigen müssen, um sie besser zu verstehen. Dabei hat uns Vince Molnar mit seiner umfassenden Erfahrung wertvolle Unterstützung gegeben. Auf diesem Weg können wir sicherstellen, dass LemonTree künftig SysMLv2 voll unterstützt und entsprechende Modelle vergleichen und zusammenführen kann. Letztlich soll natürlich die Versionskontrolle von Modellen für SysMLv2 genauso effizient sein wie jetzt wie bei SysMLv1 und UML.“

Mit diesem Ziel vor Augen wurden im Workshop verschiedene Tools verwendet, um die technische Basis der SysMLv2 bestmöglich zu analysieren:

• Referenzimplementierung mit Eclipse
• SysMLv2 Notebook von Jupyter
• SysIDE
• Rhapsody SE von IBM

„Der aktuelle Fokus liegt auf der textuellen Notation, die bereits definiert ist. Sobald es Einigung über das grafische Austauschformat gibt und die Darstellung auch Teil der Spezifikation ist, werden wir auch diese unterstützten. Da ich ja auch Mitglied der „Graphical Specification Working Group“ zu SysMLv2 bin, kennen wir immer den aktuellsten Stand der Entwicklungen“, erläutert Kalenda.