ConVeY - Continuous Verification of CYber-Physical Systems
DFG: Research Training Group 2428
Networks, computers, sensors, and actuators are increasingly integrated into cyber-physical systems, and an increasing number of these systems operate in safety-critical domains. Examples are autonomous vehicles, robotic surgery, traffic control, human-robot collaboration, and smart grids.
The physical environment of the systems changes at runtime in ways that cannot be completely foreseen. The requirements on the systems may also change over time. To deal with these circumstances, the Research Training Group "ConVeY" conducts research that enables to continuously check the behavior of systems during their design and deployment with regards to correctness.
ConVeY is a joint initiative between LMU Munich and TU Munich. It offers its doctoral candidates a comprehensive qualification program.