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

 

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.

 

OTS4CI

The goal of the OTS4CI project is to map the complex process of test selection and prioritisation, which is normally performed manually by experienced testers, using suitable AI methods. In the course of this project, AI-based systems will be developed using reinforcement learning, which will prioritise tests based on relevant information from development, such as bug fixes and test history.

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.
  • EmbeddedSafeSec
    Development of process models and an integrated methodology to ensure safety and security in the development of critical embedded systems.
  • 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
  • PoC4Vet
    Development of a mobile device used in veterinary medicine for the detection of Leptospira bacteria.
  • DeepTest
    Design, implementation and evaluation of test procedures for embedded systems using machine learning methods for test input generation and test evaluation.