Research Training Group SCARE
Contact
Director
Prof. Dr. Ernst-Rüdiger Olderog
Coordinator
Ira Wempe
Research Training Group SCARE
Research Training Group SCARE
Research Training Group (RTG)
SCARE - System Correctness under Adverse Conditions
funded by the German Research Foundation (DFG GRK 1765).
Summary of SCARE
The Research Training Group (RTG) SCARE addresses computerized systems that are placed in an environment with which they cooperate. System correctness means that the cooperation between environment and system satisfies desired behavioural properties. SCARE 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. The RTG will consider three aspects of adverse conditions, both individually and in their combination:
- limited knowledge,
- unpredictable behaviour,
- changing system environment and system structure.
The main aim of SCARE is research into notions of system correctness that guarantee robustness of the system behaviour under such adverse conditions.
On 11 November 2016, the DFG extended SCARE for a second phase of 4,5 years duration starting from 1 April 2017. This comprises 15 new doctoral positions of three years each. For more details, see SCARE-2.