The German Research Foundation (DFG) has extended the Research Training Group SCARE for a second phase, which we call SCARE-2. This phase lasts from April 1, 2017 until September 30, 2021.

The research of SCARE-2 develops the theme of system correctness further to address the needs stemming from the area of self-adaptive and cooperative systems. In particular, SCARE-2 analyses the following correctness issues:

• logical and functional design of cooperative autonomous systems for highly automated driving,
• synthesizing winning strategies for distributed agents in a partially observable cooperative game,
• secure communication layers for reliable delivery of messages within the highly volatile topologies of automotive communication networks,
• abstract modelling of the logical and physical link structure underlying cooperative car manoeuvres, including the adverse condition of corruption of these structures,
• object recognition involving inherently inexact object classification algorithms,
• automatic re-verification during operation of autonomous systems, without human assistance,
• resilience against loss of connectivity, loss or ageing of components, and loss of information.

To attack these issues and be able to address recent trends and critical technologies in the design of safety-critical systems, the team of supervisors has been expanded by two new colleagues, O. Kramer and S. Fröschle, who contribute their expertise in machine learning and in the interplay of safety and security, respectively. Altogether, the team of supervisors in SCARE-2 comprises:

• Prof. Dr. Werner Damm
• Prof. Dr. Martin Fränzle (deputy director)
• PD Dr. Sibylle Fröschle
• Prof. Dr. Annegret Habel
• Prof. Dr. Oliver Kramer
• Prof. Dr.-Ing. Wolfgang Nebel
• Prof. Dr. Ernst-Rüdiger Olderog (director)
• Prof. Dr.-Ing Oliver Theel (deputy director)