Reversible Gray Debugging of Concurrent Systems

ReGraDe-CS is a Marie Skłodowska-Curie Actions (MSCA) funded fellowship.

  • Grant agreement ID: 101106046
  • DOI: 10.3030/101106046
  • Duration: 1 December 2023 - 30 November 2025
  • EU contribution: € 172 750,08


Project Description

Causal-consistent reversible debugging of partially observable concurrent systems

Funded by the Marie Skłodowska-Curie Actions programme, the ReGraDe-CS project aims to address the challenge of reversible grey debugging in concurrent systems, where only part of the source code is accessible. The reversible causal-consistent debugging and replay (RCCDR) approach allows a faulty execution in the production environment to be logged and replayed in a reversible debugger. This enables researchers to explore the logged execution backwards and forwards, tracing the issue back to its cause. However, RCCDR requires full access to the source code of the target programme. To overcome this limitation, the project will seek to adapt RCCDR for use with partially accessible systems. The concept will be investigated both abstractly and concretely. Project outcomes could expand RCCDR applicability, benefiting small- and medium-sized IT enterprises and software developers.