http://dl.gi.de/handle/20.500.12116/38770 2026-07-21T13:30:23Z http://dl.gi.de/handle/20.500.12116/38804 Implementation of the SpesML Workbench in MagicDraw Regnat, Nikolaus; Gupta, Rohit; Jansen, Nico; Rumpe, Bernhard Michael, Judith; Pfeiffer; Jérôme; Wortmann, Andreas Model-Based Systems Engineering (MBSE) is a formalized methodology that focuses on creating models at the centre of system design, rather than traditional document-based approaches. While general purpose modelling languages such as the Systems Modelling Language (SysML) and their corresponding methodological approaches such as the Software Platform Embedded Systems (SPES) framework are available, the combination of a modelling language, method, and tooling is still lacking. Typically, industrial language engineers simply provide guidelines for users on how to use a particular modelling language as there is no methodical support for using the same with a well-defined method and a well-suited graphical modelling tool. This puts all the burden on the user, often resulting in a failure of the whole approach. To solve this challenge, we introduce a coherent and systematic approach for the efficient development of a SysML workbench that combines SysML and the SPES methodology using a modelling tool, MagicDraw. In this paper, we showcase the construction of a comprehensive methodical workbench by integrating key aspects of the modelling language, the SPES methodology and MagicDraw. Ultimately, the resulting SysML workbench for SPES serves as a reference point for future MBSE implementations, relieves users from the many burdens of traditional approaches, and helps mastering the complexity of creating collaborative model-based systems with efficient methods and tools. 2022-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/38805 Challenges in Multi-View Model Consistency Management for Systems Engineering Bergemann, Sebastian Michael, Judith; Pfeiffer; Jérôme; Wortmann, Andreas A way to handle the complexity of cyber-physical systems is model-based systems engineering (MBSE) with multiple viewpoints. These viewpoints satisfy different concerns, but they likely have information dependencies and overlaps among each other. Inconsistencies can be introduced whenever there are changes in only some of the views without consistent synchronization in other dependent views. In this paper, we motivate why consistency management is important in multi-view MBSE and define requirements for it. By analyzing the State of the Art, we identify limitations in (multi-view) consistency management approaches, especially for inconsistency detection. Besides general performance issues, we notice primarily that most approaches are limited to or at least tested on only very specific views and tools with homogeneous models and few specific predefined consistency rules. Furthermore, in most approaches we cannot find solutions regarding subsequent updates of consistency rules by the user, allowance of tolerating inconsistency, and handling confidentiality. These literature gaps pose open research challenges for making multi-view consistency management more applicable in the industry. 2022-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/38803 Development of a SysML Profile for Network Configurations in Safety-critical Systems Hemmert, Andreas; Schweiger, Andreas Michael, Judith; Pfeiffer; Jérôme; Wortmann, Andreas The contribution describes an approach for defining avionics network architectures in an existing system model. To this end, a SysML profile is developed containing stereotypes to specify such a network. The corresponding model captures the network’s configuration. Such a configuration defines a network of a safety-critical complex system. As a result, systems engineers can use the profile in the systems development process with digital continuity. An example demonstrates the application of the profile in the model development. 2022-01-01T00:00:00Z http://dl.gi.de/handle/20.500.12116/38802 Embedding Textual Languages in MagicDraw Drux, Florian; Jansen, Nico; Rumpe, Bernhard; Schmalzing, David Michael, Judith; Pfeiffer; Jérôme; Wortmann, Andreas Stakeholders in model-based systems engineering projects often rely on heterogeneous modeling languages and tools. Efficient and seamless model-based engineering requires analyzing consistency, maintaining tracing information, and propagating changes of models of these languages even in different technological spaces. However, research on software language integration and inter-model consistency often only considers modeling languages and tools within the same technological space. We present a method for language composition across the technological spaces of the graphical modeling framework MagicDraw and the language workbench MontiCore. We realized language integration between these technological spaces by applying concepts of language aggregation to exchange essential model information and performing analysis on this information in an automated toolchain. The presented concepts can guide software language engineers and modeling tool developers on how to combine concepts of language composition to bridge technological spaces. 2022-01-01T00:00:00Z