Research

This website presents selected research topics and related publications. The full list of publications is available from my publications website. Presentations of keynotes and inivited talks are available from my presentations website as well.

Automotive Software Engineering

Developing software for automotive systems has become increasingly complex. Sophisticated driver assistance, collaboration, and Car2X-communication systems as well as advanced active and passive safety-systems result in complex, software-intensive automotive systems. As these feature-driven subsystems may be arbitrarily combined by the customer, a huge amount of distinct variants needs to be managed, developed, and tested. Thus, we are carrying out numerous projects in automotive software engineering, here we concentrate on the modeling of functional and logical architectures for collaborative systems, on managing variability, and on model-driven testing.

Selected Publications

Digital Twins

Research and industry leverage digital twins to monitor and control (cyber-physical) systems in various domains, including automotive, avionics, biology, construction, manufacturing, medicine, and many more. They promise a tremendous potential to reduce cost and time and improve our understanding of the represented systems. The various digital twins serve different purposes, including analysis, control, and behavior prediction, and they are used at different times relative to the represented system, e.g., before it exists to explore its design space or during its runtime to optimize its behavior. Despite a plethora of definitions, there is little consensus about what a digital twin is.

This also is reflected in many of the available definitions being

  • ambiguous, by deferring to another undefined term, such as a “virtual representation”, a “computable virtual abstraction” , or a “a virtual projection of the industrial facility into the cloud”
  • narrow, by focusing on specific use cases, domains, or technologies, such as a “digital model of the real network environment” or a “virtual representation based on AR technology”
  • utopian, due to all-encompassing aspirations, such as an “integrated virtual model of a real-world system containing all of its physical information”, a “complete digital representation”.

For us, a digital twin is a software system that leverages models and data from and about an original (cyber-physical) system, to represent, predict, and prescribe its behavior for a specific purpose.

This entails that a digital twin

  • is neither bound to specific technology or application domain
  • does not need to be complete (which is impossible most of the time)
  • does not need to be a model but may use models
  • may change the behavior of the original system

From this, interesting questions arise. Some of which I have discussed in my talk Ceci n’est pas un jumeau numérique in the Engineering Digital Twins Community.

Selected publications below highlight how we leverage this notion of digital twins to facilitate their engineering and operations

Selected Publications

Industry 4.0

Industry 4.0, the fourth industrial revolution, raises new challenges for future manufacturing which are driven by four disruptions: (1) data volumes, computational power, and connectivity; (2) the emergence of analytics and business-intelligence capabilities; (3) new forms of human-machine interaction; (4) and improvements in transferring digital instructions to the physical world, such as advanced robotics and 3D printing. One of the most promising concepts of Industry 4.0 are digital twins, integrated digital data, models, and services that foster a better understanding of the production systems of Industry 4.0 and a more sustainable handling of resources. We, therefore, conduct research on modeling languages in Industry 4.0, on the efficient management of manufacturing data, and on the systematic conception, engineering, and deployment of self-adaptive digital twins.

Selected Publications

  • [BDJ+22] P. Brauner, M. Dalibor, M. Jarke, I. Kunze, I. Koren, G. Lakemeyer, M. Liebenberg, J. Michael, J. Pennekamp, C. Quix, B. Rumpe, W. van der Aalst, K. Wehrle, A. Wortmann, and M. Ziefle. A Computer Science Perspective on Digital Transformation in Production, ACM Trans. Internet Things, 3, pages 1-32, February, 2022.
  • [BBD+21b] F. Becker, P. Bibow, M. Dalibor, A. Gannouni, V. Hahn, C. Hopmann, M. Jarke, I. Koren, M. Kröger, J. Lipp, J. Maibaum, J. Michael, B. Rumpe, P. Sapel, N. Schäfer, G. J. Schmitz, G. Schuh, and A. Wortmann. A Conceptual Model for Digital Shadows in Industry and its Application, In: Aditya Ghose, Jennifer Horkoff, Vitor E. Silva Souza, Jeffrey Parsons, Joerg Evermann, editors, Conceptual Modeling, ER 2021, pages 271-281, October, 2021, Springer.
  • [BBD+21a] T. Bolender, G. Bürvenich, M. Dalibor, B. Rumpe, and A. Wortmann. Self-Adaptive Manufacturing with Digital Twins, In: 2021 International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), pages 156-166, May, 2021, IEEE Computer Society.
  • [BDH+20] P. Bibow, M. Dalibor, C. Hopmann, B. Mainz, B. Rumpe, D. Schmalzing, M. Schmitz, A. Wortmann. Model-Driven Development of a Digital Twin for Injection Molding. In. S. Dustdar, E. Yu, C. Salinesi, D. Rieu, V. Pant, editors, International Conference on Advanced Information Systems Engineering (CAiSE’20), pp. 85-100, Grenoble, Springer International Publishing, June 2020.
  • [WBCW20] A. Wortmann, O. Barais, B. Combemale, M. Wimmer. Modeling Languages in Industry 4.0: an Extended Systematic Mapping Study. In. J. Gray and V. Kulkarni, editors, Software and Systems Modeling, 19(1), pp. 67-94, Springer, Jan. 2020.

Robotics

Deploying robotics applications requires expertise from multiple domains, including general software engineering and the application domain itself. Consequently, successful robotics applications are developed by teams of software experts, robotics experts, and application domain experts. The conceptual gap between application domain challenges and implementation domain solutions gives rise to accidental complexities from solving problem domain challenges with programming domain details. This complicates development and may lead to failure. Domain and robotics experts are rarely software engineering experts. Their involvement in the software engineering of reusable robotics applications requires that they become software experts or that implementation details can be abstracted. To enable the efficient engineering of robotics systems in heterogeneous teams with experts from manifold domains, we conduct research on the model-driven development of service robotics software and robotic manufacturing.

Selected Publications

Software Language Engineering

Identifying or engineering appropriate languages for the various activities in software and systems development is one of the most important issues in Software Engineering. Programming and modeling languages are still subject to improvement. In various domains, it is appropriate to employ Domain-Specific Languages (DSLs) to enable non-software developers to specify properties, configuring their systems, etc. in terms of established domain concepts and corresponding language elements. With increasing digitalization, we expect a growth in DSLs and increasing efforts in their efficient engineering, integration, and composition. But designing DSLs is challenging, because, on one hand, they need to be precise enough for being processed by a computer and, on the other hand, comprehensible by humans. The monolithic design of a language can already benefit from methods for language engineering in the small including design guidelines and tooling. Therefore, we conduct research on the systematic engineering [BPR+20] of (domain-specific) modeling languages and reusable modeling language libraries [BEH+20] leveraging concepts from component-based software engineering [Wor19] and software product lines for a variety of different domains [BW21].

Selected Publications