Current Projects
Design & Integration of AI-Based Software Components (AI-DIA), 2024–2025
Funded by German Federal Ministry for Education and Research (BMBF) in the Software Campus
AutoDevSafeOps, 2022–2025
Funded by German Federal Ministry for Education and Research (BMBF)
Taking Artificial Intelligence to Vocational Training (KI B3), 2020–2024
Funded by German Federal Ministry for Education and Research (BMBF) in the InnoVET program.
Ongoing Projects at the University of Stuttgart
Learning Test Cases from Operational Data, 2023–2026
Project in the Graduate School of Excellence „Advanced Manufacturing Engineering“ funded by Mercedes-Benz AG
Explanations for Failures from Software Testing, 2023–2026
Project in the graduate school „Intelligent Methods for Test and Reliability“ funded by Advantest
Visual Analytics for MLOPS, 2021–2025
Project in the AI Software Academy (AISA), State of Baden-Württemberg
Framework for the Design & Integration of AI Components, 2021–2025
Project in the AI Software Academy (AISA), State of Baden-Württemberg
Automated Generation of System-Level Test Programs for Characterization of Parametric Device Properties, 2021–2024
Project in the graduate school „Intelligent Methods for Test and Reliability“ funded by Advantest
Integrated AI in Teaching at the University of Stuttgart, 2021–2024
German Federal Ministry for Education and Research (BMBF)
Standardized Test Methods for Highly-Configurable Software-Defined Mobility Systems with Updates During Operation (TESSOF), 2023–2024
Project in the Innovation Campus Future Mobility, State of Baden-Württemberg
Completed Projects
Integrated approach for software Development for upgradable vehicles, 2022–2023
Innovation Campus Future Mobility, State of Baden-Württemberg
Microservices: Rejuvenation by Refactoring, 2022–2023
Software Campus, German Ministry for Education and Research (BMBF)
Efficient Testing of AI-Based Control Engineering, 2021–2023
Project in the AI Software Academy (AISA), State of Baden-Württemberg
Software Test Optimisation for Complex High-Volume Software, 2020–2023
Project in the graduate school „Intelligent Methods for Test and Reliability“ funded by Advantest Europe GmbH
Bosch Software Qualification, 2019–2023
Training program on computer science and software engineering for Robert Bosch GmbH
iDevOps – Microservices, 2021–2022
Collaboration with Siemens AG
Cybersecurity Static Analysis with Immediate Feedback (CRITICALMATE), 2019–2022
German Federal Ministry for Education and Research (BMBF)
Outcome-Driven Roadmaps, 2019–2021
Project in the doctoral program „Services Computing“ funded by the state of Baden-Württemberg
From Monolith to Microservices, 2018–2021
Project in the doctoral program „Services Computing“ funded by the state of Baden-Württemberg
Model Checking a Fail-Operational System, 2018–2020
In collaboration with BMW AG
Evolvability Analysis for Service-Based Systems, 2016–2019
Project in the doctoral programme „Services Computing“ funded by the state of Baden-Württemberg
Cruise Chauffeur, 2017–2018
In collaboration with Continental Teves AG & Co. oHG
System-Theoretic Analysis of Dependable Systems in the Automotive Domain
Funded in the MIT International Science and Technology Initiatives (MISTI) Global Seed Fund
In collaboration with: Prof. Dr. Nancy Leveson, Dr. John Thomas (MIT)
The software-based functions in cars are increasing and becoming more complex at a breathtaking speed. We already have electronic/software components controlling safety-critical functions such as the anti-lock braking system. Yet, so far, these components individually were comparably small and classical embedded systems. With the two major new developments in the automotive domain to let cars communicate via wireless networks („connected car“) and to let them drive fully automatically („autonomous driving“), the software will reach a new dimension of complexity. Traditional methods to analyse safety in automobiles assume electromechanical systems and do not apply to software nor do they scale up to the complexity starting to emerge in these systems. Furthermore, new degrees of requirements on security and privacy will be needed for those future cars. The recent Tesla accidents involving what they call their “autopilot” is just the beginning.
This project aims at building on the promising results with a system-theoretic approach to safety analysis and developing and evaluating an integrated analysis approach to safety, security and privacy for this new generation of automotive systems. System theory is especially suitable for identifying problems in the interaction of different components instead of individual component faults. Furthermore, system theory allows us to take the whole socio-technical system into account including humans. Similarly, security and privacy relies on a suitable interaction of system components and humans.
Concealing Patterns - Privacy in Stream Processing (PATRON)
Funded by the Baden-Württemberg Stiftung
This research project focuses on the development of approaches for the concealing of information from datastreams of sensors of various devices from the internet of things (IoT). The goal is to find a balance between the protection of data and the quality of service (QoS). It is relevant as can be seen by a simple example. Activity trackers sense for example your heart rate which, if tracked over time and analyzed, can reveal very sensitive information about you.
Hazard analysis in highly automated driving
Collaboration with Continental Teves AG & Co. oHG
Application of STPA to the Daimler Environment
Collaboration with Daimler AG
Experimentelle Verbesserung des Lernens von Software Engineering (EVELIN), 2014–2016
Subcontractor of HS Neu-ULM, founded by the BMBF
Software Quality: Modelling and Control (QUAMOCO), 2009–2011
Funded by the German Ministry for Education and Research (BMBF) in the IKT 2020 program
Software Quality at SME (SQK), 2010–2011
Funded by the Bavarian Ministry of Economic Affairs (BstmWIVT) and fortiss GmbH
Simion Detection (SIMDEC), 2010
Google Research Award
Software Audit Eurocopter, 2009
Collaboration with Eurocopter Germany
Models for System Integration Testing (MOSIT), 2008
Collaboration with T-Systems
Requirements-Oriented, Model-Based Testing (AMT), 2007–2008
Collaboartion with Siemens AG
MAN-TUM Maintenance, 2006–2011
Collaboration with MAN Nutzfahrzeuge
FLOW – Productivity in R&D (PRODFLOW), 2007–2010
Collaboration with Siemens AG
Product Quality for Software-Intensive Products (PQSP), 2007
Collaboration with Siemens AG