anticache

New Research Training Group CONVEY

27.11.2018

DFG supports cyber-physical systems program


The Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) is establishing 15 new Research Training Groups (RTGs) to further support early career researchers. RTGs offer doctoral researchers the opportunity to complete their theses in a structured research and qualification program at a high academic level. The RTG „CONVEY – Continuous Verification of Cyber-Physical Systems” will be concerned with cyber-physical systems (CPSs). These are systems controlled by software that interact with the physical world, for example autonomous vehicles, robot surgery or intelligent networks. The biggest problem for these systems is that the environment changes frequently and unpredictably. For CPSs to operate safely and reliably, processes are therefore needed that guarantee correct system behaviour even in changeable settings. These processes are the subject of the RTG's in-depth research. (TUM Department of Informatics, Spokesperson: Prof. Dr. Helmut Seidl)