Contact

Director

Prof. Dr. Ernst-Rüdiger Olderog

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

Coordinator

Ira Wempe

Department of Computing Science
FK II
University of Oldenburg
D-26111 Oldenburg, Germany

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.

(Changed: 20 Jun 2024)  | 
Zum Seitananfang scrollen Scroll to the top of the page