Opendata, web and dolomites


Reversible causally-consistent debugging of concurrent programs

Total Cost €


EC-Contrib. €






Project "RCADE" data sheet

The following table provides information about the project.


Organization address
postcode: LE1 7RH

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country United Kingdom [UK]
 Project website
 Total cost 183˙454 €
 EC max contribution 183˙454 € (100%)
 Programme 1. H2020-EU.1.3.2. (Nurturing excellence by means of cross-border and cross-sector mobility)
 Code Call H2020-MSCA-IF-2017
 Funding Scheme MSCA-IF-EF-ST
 Starting year 2018
 Duration (year-month-day) from 2018-09-01   to  2020-08-31


Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    UNIVERSITY OF LEICESTER UK (LEICESTER) coordinator 183˙454.00


 Project objective

Modern computing devices execute complex software to provide every-day services and applications. The development of such software is challenging, time consuming and costly. It involves writing a program code, testing it and debugging it, namely finding an error in the code and correcting it. It is estimated that debugging costs an estimated 312 billion USD a year. The most successful commercial debugging tools are reversible debuggers. They allow the users to undo an execution of a faulty program, to find and correct errors, and then to run the corrected code forwards again. UndoDB by Undo Software is the top reversible debugger currently on the market. However, even the best reversible debuggers are not suited very well to debugging of concurrent programs. Moreover, it is not universally agreed yet how to reverse the code of concurrent or distributed software. This project aims at addressing these shortcomings by exploiting the promising notion of causally-consistent reversibility as the basis for reversible debugging tools. Novel formal models and new techniques for recording, analysis and replay of concurrent programs will be created. An execution engine for the shared-memory and message-passing styles of programs will be developed in a close collaboration with Undo Software and Erlang Solutions, the leading software companies. The scientific outcomes will be turned into an experimental prototype software, called Reversible CAusally-consistent DEbugger (RCADE), which will extend and enhance commercial debugging tools, especially for concurrency.

The Fellow will undertake a world-class programme of research, industrial and academic training and collaboration. He will obtain formal lecturer qualification and deliver an undergraduate module. The knowledge and experience gained on the fellowship will be transferred to academia and industry in Europe. The project will develop his scientific independence, create a new network and enforce a senior academic position.

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "RCADE" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email ( and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "RCADE" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.1.3.2.)

PNAIC (2018)

Positive and Negative Asymmetry in Intergroup Contact: Its Impact on Linguistic Forms of Communication and Physiological Responses

Read More  

InvADeRS (2019)

Investigating the Activity of transposon Derived Regulatory Sequences in the placenta

Read More  

miR-IBD (2019)

Fecal miRNAs, new mediators of host-microbiota interaction in Inflammatory Bowel Disease

Read More