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 and testing modern 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.

• 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
• 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.
• KI-LOK
  Research and development of a tool-based methodology for the validation of AI-supported components in railroad technology (https://ki-lok.itpower.de/)
• Poc4LC
  Development of a cost-effective, portable point-of-care chromatography system as a reliable and flexible alternative to expensive, stationary HPLC instruments for complex substance analysis.

• 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.
• OTS4CI
  Development and optimization of AI systems with reinforcement learning (RL) for the appropriate prioritization of executable tests.
• medCS.5
  Development of security and design recommendations to safeguard medical 5G networks against threats and protect patient data in hospital settings. (www.medcs5.de)