GRK 1765:  System Correctness under Adverse Conditions - SCARE

• Subject Area: Computer Science
• Term: from 2012 to 2021
• Project identifier: Deutsche Forschungsgemeinschaft (DFG) - Project number 190214496

The Research Training Group SCARE addresses computerised systems that are placed in an environment with which they cooperate, i.e., sense, control, and equip with unprecedented functionality. System correctness means that the cooperation between environment and system satisfies desired behavioural properties. This relationship depends on certain assumptions about the environment and the components of the system. The research training group systematically investigates the problem of system correctness under adverse, only partially predictable conditions which can influence the behaviour of the system, the system context, and the assumptions made for verifying correctness. SCARE will consider three aspects of adverse conditions, both individually and in their combination: A. Limited knowledge.B. Unpredictable behaviour.C. Changing structure of environment and system.These three aspects of adverse conditions are considered under the following research themes:1. Formal modeling techniques.2. Verification and analysis techniques.3. Constructive techniques.The main aim of the research training school SCARE is research into notions of system correctness that guarantee robustness of the system behaviour under such adverse conditions. In its second phase, SCARE will continue to pursue this general research agenda, but will extend the scope of both verification and construction techniques by two aspects crucial to recent cyber-physical applications: the handling of complex and possibly irregular search spaces for solutions and the possible loss of functional correctness due to security attacks. To this end, we additionally pursue the following: * Embedded Artificial Intelligence, in particular machine learning.* Security analysis within applications.Supervision in the research training school is based on the four elements of "Levelling", "Bonding", "Progress", and "Exchange". These elements support the doctorands in becoming independent researchers able to investigate complex problems driven by their own motivation and to interact autonomously with the international research community.

• DFG Programme: Research Training Groups
• Applicant Institution: Carl von Ossietzky Universität Oldenburg
• Spokesperson: Professor Dr. Ernst-Rüdiger Olderog
• Participating Researchers: Professor Dr. Werner Damm; Professor Dr. Martin Fränzle; Privatdozentin Dr. Sibylle Fröschle; Professorin Dr. Annegret Habel; Professor Dr. Oliver Kramer; Professor Dr.-Ing. Wolfgang Nebel; Professor Dr.-Ing. Oliver Theel