Solutions for reliable cyber-physical systems for the industry
In the Model-based Systems Engineering research division, our activities focus on adaptable, resilient and reliable cyber-physical systems that are designed to function reliably even during an outage. Among other things, we conduct research into how fundamental methods such as formal model testing or automatic design space exploration can be refined and applied on an industrial scale. To do that, we concentrate on the development of practical solutions, from gathering the requirements, to system verification, synthesis and integration.
An additional focal point is the integration of quality assurance into the early phases of development and the increased utilization of constructive quality assurance methods, combined with the corresponding tool support. This enables manufacturers to increase productivity and the quality of their products.