Self-driving vehicles and interconnected vehicle fleets are examples for assistive sensor- and actor-based systems, which can be regarded as Cyber-Physical Systems.
The engineering of these increasingly intelligent, interconnected, and autonomously acting systems demands for more elaborated techniques and methods to realize high-quality, robust, and reliable systems. We are combining formal methods, simulations, and real-world experiments to conduct research towards more reliable models and software systems.