#	Pagina
attuale pagina	/open-h2020/projects/215252/index.html

Opendata, web and dolomites

RCADE

Reversible causally-consistent debugging of concurrent programs

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

RCADE project word cloud

Explore the words cloud of the RCADE project. It provides you a very rough idea of what is the project "RCADE" about.

debugging undergraduate solutions modern industry concurrency debugger agreed consistent forwards position corrected network created code qualification gained programs reversible billion module he concurrent faulty prototype undo replay recording causally enforce industrial distributed transferred senior academic reversibility shared memory shortcomings usd extend basis techniques close reverse computing debuggers class day successful errors run again rcade correct models correcting software training 312 services independence universally notion suited obtain create it fellowship message time market error outcomes scientific academia world tools passing formal execute commercial styles turned writing companies undodb experimental fellow costly lecturer consuming erlang engine

Project "RCADE" data sheet

The following table provides information about the project.

Coordinator	UNIVERSITY OF LEICESTER Organization address address: UNIVERSITY ROAD city: LEICESTER postcode: LE1 7RH website: www.le.ac.uk 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	https://sites.google.com/view/claudio-mezzina
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

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	UNIVERSITY OF LEICESTER UNIVERSITY OF LEICESTER Organization address address: UNIVERSITY ROAD city: LEICESTER postcode: LE1 7RH website: www.le.ac.uk contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (LEICESTER)	coordinator	183˙454.00

Map

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 (fabio@fabiodisconzi.com) 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.