Sebastian Stüber, M.Sc.

Software Engineering
Department of Computer Science 3
RWTH Aachen University
Ahornstraße 55
D-52074 Aachen

+49 (241) 80-21352
stueber@se-rwth.de

Raum 4221, Erweiterungsbau 1


Field of Work

  • Formal Verification of Distributed Systems
  • Semantic Difference of Models
  • Compositional Analysis of Systems
  • Model Driven Development
  • Software Architectures

Projects

  • SemanticDiff: Semantic differencing is a method used in model-based software development to compare two different models and identify the elements in the first model that are not present in the second model. This approach helps us understand the changes made to the original model to create a newer version. By revealing the semantic differences, we can gain insight into the impact of the syntactic modifications on the overall meaning and functionality of the model. This analysis is crucial because it allows developers to comprehend the effects of their changes and ensure that the updated model aligns with the desired objectives. Ultimately, semantic differencing aids in enhancing the quality and effectiveness of model-based software development processes.
  • FeCoMASS: Compositional analysis is an important aspect of model-driven engineering that aims to provide more flexibility in analyzing complex systems. It involves breaking down a system into smaller components and analyzing them individually to gain a better understanding of the overall system behavior. This approach is crucial because as systems become more heterogeneous and complex, traditional analysis techniques may not be sufficient to accurately assess their performance and behavior. By decomposing the system and analyzing its components separately, we can ensure sound analysis results and also enable the flexible use and reuse of model-based analyses. This means that the analysis techniques can be easily configured and adapted to different scenarios, making it a valuable tool for engineers and researchers working on complex systems. The FeCoMASS project aims to investigate the foundations of compositional analysis to develop more efficient and effective analysis techniques for the systems of tomorrow.
  • Agile Data Development: The “Agile Data Dev” project aims to develop a guideline for implementing an agile development process that integrates both agile and plan-driven methods, with a focus on data-based support. The project aims to achieve several goals: (1) increase effectiveness by addressing requirements in an agile manner, (2) improve efficiency by avoiding unnecessary iterations through improved data transparency, (3) enable data-based decision support through an integrated data and system architecture, and (4) reduce time-to-market while increasing market share. This project is important because it aims to increase the overall profitability of the windmill portfolio in the medium to long term, improve efficiency in developing new plants, and reduce costs of parts, components, and modules used across projects. The project is part of MontiGem, which aims to generate enterprise management systems.
  • MontiBelle: The “MontiBelle” project aims to reduce certification costs for critical systems such as intelligent flight control or traffic management systems. By applying mathematical dataflow theory, knowledge representation, and intelligent reasoning to software engineering, the project uses the theoremprover Isabelle to perform correctness proofs or find counterexamples. To make Isabelle more user-friendly, the project provides a high-level API and a domain-specific modeling language as a front end, along with code generator to Isabelle. This project is important because it has the potential to greatly reduce the costs associated with certifying critical systems, making them more reliable and safer for use in areas such as air and road traffic management.
  • Energy Information System: This project aims to visualize data collected by sensors in buildings, such as temperature measurements. The project team has developed a web interface that presents this data in an easily understandable format, making it more accessible to users. By providing a visual representation of the information, the project facilitates a better understanding of energy usage in buildings. This is crucial because it enables users to monitor and manage energy consumption effectively, leading to more efficient energy usage and potential cost savings.
  • Big Data in Building Automation: The aim of the project is to develop and evaluate methods for applying Big Data analysis methods to building automation data in order to identify potentials for optimizing the energy operation of existing buildings. The innovative focus lies in the application of analysis methods for large and complex data sets (Big Data) to the enormous amount of operating data of building and component automation in modern buildings. Today, these are generally only used for the direct operational management of the buildings and systems. Only a minimal amount of data is used for visual inspections, alarms, or the most basic analysis and reporting. Most data is not stored or evaluated. The approach taken here is to systematically apply powerful Big Data methods, in particular through visualization/mapping and algorithms for data analysis, to historicized and real-time data from building automation systems and individual building technology components such as heat pumps, boilers, ventilation units or pumps, in order to analyze the potential of this data and develop utilization concepts.

Teaching

  • SoSe23: Lecture “Software Language Engineering” Studentproject “GuiDSL to Flutter - Model Driven Development for all Devices”
  • SoSe22: Lecture “Software Language Engineering” Studentproject “Analysis of MontiArc Automata”
  • SoSe22: Seminar “Applying Formal Methods in Software Engineering”
  • SoSe21: Teaching Assistant “Software Architectures”
  • WiSe20/21: Practical Course “Software Engineering for Connected Vehicle Platforms”
  • SoSe20: Teaching Assistant “Software Architectures”
  • WiSe19/20: Seminar “Generated Information Systems”
  • WiSe19/20: Two lectures of “Innovationen im Software Engineering”

Publications

  1. [RSSV24]
    B. Rumpe, M. Stachon, S. Stüber, V. Voufo:
    Semantic Difference Analysis with Invariant Tracing for Class Diagrams Extended by OCL.
    In: Workshop on Model Driven Engineering, Verification and Validation, MODELS Companion ’24: International Conference on Model Driven Engineering Languages and Systems (MoDeVVa), pp. 1066–1075, Association for Computing Machinery (ACM), Oct. 2024.
  2. [WHT+24]
    S. Weber, J. Henß, B. Taghavi, T. Weber, S. Stüber, A. Marin, B. Rumpe, R. Heinrich:
    Semantics Enhancing Model Transformation for Automated Constraint Validation of Palladio Software Architecture to MontiArc Models.
    In: Software Architecture. ECSA 2024 Tracks and Workshops, A. Ampatzoglou, J. Pérez, B. Buhnova, V. Lenarduzzi, C. C. Venters, U. Zdun, K. Drira, L. Rebelo, D. Di Pompeo, M. Tucci, E. Y. Nakagawa, E. Navarro (Eds.), Volume 14937, pp. 30-38, LNCS, Springer Nature Switzerland, Cham, Sep. 2024.
  3. [KRS+24]
    M. Konersmann, B. Rumpe, M. Stachon, S. Stüber, V. Voufo:
    Towards a Semantically Useful Definition of Conformance with a Reference Model.
    In: Journal of Object Technology (JOT), Volume 23(3), pp. 1-14, AITO - Association Internationale pour les Technologies Objets, Jul. 2024.
  4. [BGK+24]
    C. Buschhaus, A. Gerasimov, J. C. Kirchhof, J. Michael, L. Netz, B. Rumpe, S. Stüber:
    Lessons Learned from Applying Model-Driven Engineering in 5 Domains: The Success Story of the MontiGem Generator Framework.
    In: Science of Computer Programming, Volume 232, pp. 103033, Jan. 2024.
  5. [KRW+23]
    S. Koch, F. Reiche, S. Weber, M. Konersmann, S. Stüber, L. Wollenhaupt, B. Taghavi, B. Rumpe, R. Heinrich:
    A Collection of Scenarios for the Decomposition and Composition of Model-based Analyses.
    Karlsruher Institut für Technologie (KIT), Technical Report, Volume 2023(2), Karlsruhe Reports in Informatics, Aug. 2023.
  6. [LRSS23]
    A. Lindt, B. Rumpe, M. Stachon, S. Stüber:
    CDMerge: Semantically Sound Merging of Class Diagrams for Software Component Integration.
    In: Journal of Object Technology (JOT), Volume 22(2), pp. 2:1-14, AITO - Association Internationale pour les Technologies Objets, Jul. 2023.
  7. [MNN+22]
    J. Michael, I. Nachmann, L. Netz, B. Rumpe, S. Stüber:
    Generating Digital Twin Cockpits for Parameter Management in the Engineering of Wind Turbines.
    In: Modellierung 2022, pp. 33-48, Gesellschaft für Informatik, Jun. 2022.
  8. [NRSS22]
    I. Nachmann, B. Rumpe, M. Stachon, S. Stüber:
    Open-World Loose Semantics of Class Diagrams as Basis for Semantic Differences.
    In: Modellierung 2022, pp. 111-127, Gesellschaft für Informatik, Jun. 2022.
  9. [LHA+20]
    L. Lauss, M. Heissler, T. Auer, J. Mehnert, D. Reiß, S. Stüber:
    Forschungsprojekt Big Data für EnBop.
    In: ENERGIEWENDEBAUEN - Forschungserkenntnisse von der Komponente bis zum Quartier, pp. 143-150, ISBN 978-3-948234-88-1, Fraunhofer IRB Verlag, Stuttgart, Jul. 2020.
  10. [ALH+20]
    T. Auer, L. Lauss, K. M. Heissler, J. Maderspacher, D. Reiß, J. Mehnert, B. Rumpe, S. Stüber, M. Hannen, S. Plesser, C. Pinkernell, A. Kröker, R. Gentemann:
    Big Data in der Gebäudeautomation Schlussbericht.
    Bundesministerium für Wirtschaft und Energie, Technical Report, Munich, Jun. 2020.
  11. [BKR+20]
    J. C. Bürger, H. Kausch, D. Raco, J. O. Ringert, B. Rumpe, S. Stüber, M. Wiartalla:
    Towards an Isabelle Theory for distributed, interactive systems - the untimed case.
    Aachener Informatik Berichte, Software Engineering, Band 45, Shaker Verlag, Mar. 2020.
  12. [KPRS19]
    E. Kusmenko, S. Pavlitskaya, B. Rumpe, S. Stüber:
    On the Engineering of AI-Powered Systems.
    In: ASE19. Software Engineering Intelligence Workshop (SEI19), L. O’Conner (Eds.), pp. 126-133, IEEE, Nov. 2019.
  13. [KRRS19]
    S. Kriebel, D. Raco, B. Rumpe, S. Stüber:
    Model-Based Engineering for Avionics: Will Specification and Formal Verification e.g. Based on Broy’s Streams Become Feasible?.
    In: Proceedings of the Workshops of the Software Engineering Conference. Workshop on Avionics Systems and Software Engineering (AvioSE’19), S. Krusche, K. Schneider, M. Kuhrmann, R. Heinrich, R. Jung, M. Konersmann, E. Schmieders, S. Helke, I. Schaefer, A. Vogelsang, B. Annighöfer, A. Schweiger, M. Reich, A. van Hoorn (Eds.), Volume 2308, pp. 87-94, CEUR Workshop Proceedings, CEUR Workshop Proceedings, Feb. 2019.