Skip to main content

Safety Analysis of Concurrent Systems

Project description

Finding errors in concurrent software

From mobile telephony to aviation, much of the software used today is concurrent. Debugging concurrent software failures remains a big challenge. Errors are not only hard to find, they are also difficult to fix. In this context, the EU-funded SAFE project will develop a comprehensive, rigorous and automated methodology for systematically finding errors in concurrent software. Specifically, the project will establish the technical requirements for transitioning the prototype into a product. It will also complete core features and lay the technical groundwork for commercialisation. Also, the technology will be tailored to serve a wider range of software.

Call for proposal

ERC-2020-PoC
See other projects for this call

Host institution

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Address
Templergraben 55
52062 Aachen
Germany

See on map

Activity type
Higher or Secondary Education Establishments
EU contribution
€ 150 000

Beneficiaries (1)

RHEINISCH-WESTFAELISCHE TECHNISCHE HOCHSCHULE AACHEN
Germany
EU contribution
€ 150 000
Address
Templergraben 55
52062 Aachen

See on map

Activity type
Higher or Secondary Education Establishments