SUPR
Computational Experiments for Automatic Program Repair, Projet SELFHEALING, Prof Monperrus
Dnr:

NAISS 2024/23-121

Type:

NAISS Small Storage

Principal Investigator:

Martin Monperrus

Affiliation:

Kungliga Tekniska högskolan

Start Date:

2024-03-21

End Date:

2024-11-01

Primary Classification:

10205: Software Engineering

Allocation

Abstract

The vision of project WASP SELF-HEALING is a world where software-intensive systems are reliable despite the openness and unpredictability of the environment. Today, the best-of-breed of software engineering techniques cannot achieve both at the same time. We know how to build ultra-reliable software in stable and closed environments such as a nuclear power plant. We know how to build software that runs in ultra-open environments, such as Android mobile applications that run on millions on different ultra-heterogeneous devices. But we do not know how to achieve both in conjunction and this is a problem: most systems today, from peer-to-peer systems à la Bitcoin to autonomous transportation systems must be reliable yet evolve in a fundamentally open and unpredictable world. The goal of project WASP SELF-HEALING is to devise a conceptual, theoretical and algorithmic framework for enabling the construction of software that is reliable in open and unpredictable environments.