Research and development that creates knowledge

By engaging in research and development projects, we expand our knowledge, contribute to the scientific discourse and gain new insights and inspirations that advance our mission – To create solutions for the unique challenges of developing embedded Software. Our work has been repeatedly honoured by the foundation Stifterverband für die Deutsche Wissenschaft. The acquired knowledge and scientific results directly benefit our customers by optimizing the quality of our products and services.

 

Current research projects

EmbeddedSafeSec

EmbeddedSafeSec lays the foundations for future-proof safety and security co-engineering. The project aims to develop a framework and an integrated methodology for ensuring safety and security in the development of critical embedded systems.

KI-LOK

The project is trying to develop new test methods for the development of AI-based systems. It aims to develop test procedures and methods for the safeguarding and certification of AI-based technologies for safety-critical applications in railroad technology.

PoC4Vet

The project aims to develop a fast, mobile and reliable method for the detection of pathogens and to make it available as a PoC (Point of Care) application. This should provide physicians with important information for diagnosis and therapy. The project aims to identify Leptospira bacteria. In a first step the existence of the pathogen is confirmed by detecting specific antibodies. The pathogen is then tested for possible resistance to antibiotics.

DeepTest

In the research project DeepTest a new testing stragtegy for embedded systems based on the concept of machine learning shall be designed, implemented and evaluated. This testing strategy uses methods of machine learning to generate testinput data and to identify patterns in system behavior in order to determine the expected behavior of the testobject and to evaluate the test.

Completed research projects

  • Reactive tests with ContinoProva
    Extension of the test framework ContinoProva with the possibility to integrate environment models and different diagram types like e.g. Model of the Unified Modeling Language (UML) and Stateflow models from MATLAB / Simulink
  • Visual damages
    Computer-aided visual methods for detecting material damage at photovoltaic systems
  • RobuTest
    Automatic evaluation from robustness tests of embedded software in medical technology systems
  • SPES 2020
    Software Platform Embedded Systems 2020                    (http://spes2020.informatik.tu-muenchen.de/spes-home.html)
  • MOBIMUNN
    Development of a low-cost detection system for the identification of microorganisms and allergens
  • SolarInspec
    On-the-fly quality assurance of photovoltaic modules through automated identification of malfunctioning modules by thermal imaging as well as scheduling of maintenance operations.
  • Universal HiL
    Development of a universally usable HiL environment
  • TEMEA
    Test specification technology and methodology for embedded real-time systems in the automobile
  • ContinoProva
    Framework for automatically testing embedded systems (www.continoprova.de, Innovation catalog of BMWi)
  • Development of a model debugger for the modeling tool Simulink/Stateflow
    Research and development of methods for the automatic verification of temporal signal dependencies and features
  • IMMOS
    Integrated methodology for model-based controller development
  • ATESvar
    Development and technical implementation of a concept for an automatic test design of multi-variant systems based on UML models that are combined with feature models