CORDIS · 694277 · H2020

TUNE Testing the Untestable: Model Testing of Complex Software-Intensive Systems

Coordinator: UNIVERSITE DU LUXEMBOURG (LU)

Software-intensive systems pervade modern society and industry. These systems often play critical roles from an economic, safety or security standpoint, thus making their dependability indispensible. Software Verification and Validation (V&V) is core to ensuring software dependability. The most prevalent V&V technique is testing, that is the automated, systematic, and controlled execution of a system to detect faults or to show compliance with requirements. Increasingly, we are faced with systems that are untestable, meaning that traditional testing methods are highly expensive, time-consumin…

EU contribution
€2.3M
Total cost
€2.3M
Period
2016-09-01 → 2022-02-28
Framework
Horizon 2020 (2014–2020)
Funding scheme
ERC-ADG
Call
ERC-2015-AdG
Status
CLOSED

About Horizon 2020 (2014–2020)

Horizon 2020 was the EU's flagship research and innovation programme for 2014–2020, with a budget of around €77 billion. It bundled FP7's strands with the EIT and the Competitiveness and Innovation Programme, introduced a stronger societal-challenge orientation, and pushed the funding logic toward closer-to-market innovation. New calls closed in 2020 but funded projects continued through 2024.

EU contribution: €2.3M awarded to the consortium. The project runs over approximately 5.5 years from 2016-09-01 to 2022-02-28.

Full record on CORDIS — partners, deliverables, publications, news.

Open on cordis.europa.eu → Grant DOI ↗

Frequently asked questions

Who funds this research project?
This project is funded by the European Union through the Horizon 2020 (2014–2020) programme, under the ERC-ADG funding scheme.
What is the EU contribution?
The European Commission contributes €2.3M toward a total project budget of €2.3M.
Which EU programme funds it?
The project is funded under Horizon 2020 (2014–2020), call ERC-2015-AdG.
Who coordinates the project?
The project is coordinated by UNIVERSITE DU LUXEMBOURG (LU).
What is the project timeline?
The project runs from 2016-09-01 to 2022-02-28 — approximately 5.5 years.
Where can I find the full project record?
The complete record — partners, deliverables, publications and news — is published on CORDIS under project ID 694277.