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